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

StateInterpretation

org.atnos.eff.StateInterpretation
See theStateInterpretation companion object
trait StateInterpretation

Attributes

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

Members list

Concise view

Value members

Concrete methods

def evalState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[_] =>> State[S, _$20], R, U]): Eff[U, A]

run a state effect, with an initial value, return only the value

run a state effect, with an initial value, return only the value

Attributes

Source:
StateEffect.scala
def evalStateZero[R, U, S : Monoid, A](w: Eff[R, A])(implicit evidence$1: Monoid[S], m: Aux[[_] =>> State[S, _$19], R, U]): Eff[U, A]

run a state effect, with a Monoidal state

run a state effect, with a Monoidal state

Attributes

Source:
StateEffect.scala
def execState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[_] =>> State[S, _$23], R, U]): Eff[U, S]

run a state effect, with an initial value, return only the state

run a state effect, with an initial value, return only the state

Attributes

Source:
StateEffect.scala
def execStateZero[R, U, S : Monoid, A](w: Eff[R, A])(implicit evidence$2: Monoid[S], m: Aux[[_] =>> State[S, _$22], R, U]): Eff[U, S]

run a state effect, with a monoidal state, return only the state

run a state effect, with a monoidal state, return only the state

Attributes

Source:
StateEffect.scala
def intoState[TS, SS, U1, U2, T, S, A](state: Eff[TS, A], getter: S => T, setter: (S, T) => S)(implicit ts: Aux[[_] =>> State[T, _$32], TS, U1], ss: Aux[[_] =>> State[S, _$33], SS, U2], into: IntoPoly[U1, U2]): Eff[SS, A]

General lifting of a state effect into another from one stack to another. This will require a type annotation

General lifting of a state effect into another from one stack to another. This will require a type annotation

Attributes

Source:
StateEffect.scala
def lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: S => T, setter: (S, T) => S)(implicit ts: Aux[[_] =>> State[T, _$30], TS, U], ss: Aux[[_] =>> State[S, _$31], SS, U]): Eff[SS, A]

Lift a computation over a "small" state (for a subsystem) into a computation over a "bigger" state (for the full application state)

Lift a computation over a "small" state (for a subsystem) into a computation over a "bigger" state (for the full application state)

Attributes

Source:
StateEffect.scala
def localState[R, S, A](e: Eff[R, A])(modify: S => S)(implicit s: MemberInOut[[_] =>> State[S, _$38], R]): Eff[R, A]

Update the state value, the stack of the Eff computation stays the same

Update the state value, the stack of the Eff computation stays the same

Attributes

Source:
StateEffect.scala
def runState[R, U, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[_] =>> State[S1, _$26], R, U]): Eff[U, (A, S1)]

run a state effect, with an initial value

run a state effect, with an initial value

Attributes

Source:
StateEffect.scala
def runStateZero[R, U, S : Monoid, A](w: Eff[R, A])(implicit evidence$3: Monoid[S], m: Aux[[_] =>> State[S, _$25], R, U]): Eff[U, (A, S)]

run a state effect, with an initial value

run a state effect, with an initial value

Attributes

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