core/org.atnos.eff/StateCreation

StateCreation

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

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

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

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

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

Source:
StateEffect.scala