core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/StateCreation

StateCreation

org.atnos.eff.StateCreation
See theStateCreation companion object
trait StateCreation

Attributes

Companion:
object
Source:
StateEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object StateCreation.type
object StateEffect.type
object all.type
object create.type
object state.type

Members list

Concise view

Value members

Concrete methods

def get[R, S](implicit member: MemberIn[[_] =>> State[S, _$3], R]): Eff[R, S]

get the current state value

get the current state value

Attributes

Source:
StateEffect.scala
def gets[R, S, T](f: S => T)(implicit member: MemberIn[[_] =>> State[S, _$5], R]): Eff[R, T]

get the current state value and map it with a function f

get the current state value and map it with a function f

Attributes

Source:
StateEffect.scala
def modify[R, S](f: S => S)(implicit member: MemberIn[[_] =>> State[S, _$7], R]): Eff[R, Unit]

modify the current state value

modify the current state value

Attributes

Source:
StateEffect.scala
def put[R, S](s: S)(implicit member: MemberIn[[_] =>> State[S, _$1], R]): Eff[R, Unit]

store a new state value

store a new state value

Attributes

Source:
StateEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL