StateCreation

org.atnos.eff.StateCreation
See theStateCreation companion object

Attributes

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

Members list

Value members

Concrete methods

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

get the current state value

get the current state value

Attributes

Source
StateCreation.scala
def gets[R, S, T](f: S => T)(using 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
StateCreation.scala
def modify[R, S](f: S => S)(using MemberIn[[_] =>> State[S, _$7], R]): Eff[R, Unit]

modify the current state value

modify the current state value

Attributes

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

store a new state value

store a new state value

Attributes

Source
StateCreation.scala