core/org.atnos.eff/state

state

object state extends StateCreation with StateInterpretation with StateImplicits
class Object
trait Matchable
class Any

Value members

Inherited 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

Inherited from
StateInterpretation
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

Inherited from
StateInterpretation
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

Inherited from
StateInterpretation
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

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

get the current state value

get the current state value

Inherited from
StateCreation
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

Inherited from
StateCreation
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

Inherited from
StateInterpretation
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)

Inherited from
StateInterpretation
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

Inherited from
StateInterpretation
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

Inherited from
StateCreation
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

Inherited from
StateCreation
def readerToStateNat[S1]: FunctionK[[_] =>> Reader[S1, _$13], [_] =>> State[S1, _$14]]
Inherited from
StateImplicits
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

Inherited from
StateInterpretation
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

Inherited from
StateInterpretation
def via[S, T](get: S => T, set: T => S => S): FunctionK[[_] =>> State[T, _$15], [_] =>> State[S, _$16]]
Inherited from
StateImplicits

Implicits

Inherited implicits

implicit
def stateMemberInLens[E, S, T](implicit m: MemberIn[[_] =>> State[S, _$11], E], get: S => T, set: T => S => S): MemberIn[[_] =>> State[T, _$12], E]
Inherited from
StateImplicits
implicit
def stateMemberInToReaderMemberIn[E, S](implicit m: MemberIn[[_] =>> State[S, _$9], E]): MemberIn[[_] =>> Reader[S, _$10], E]
Inherited from
StateImplicits