StateInterpretation

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def evalState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$19$]IndexedStateT[Eval, S, S, β$19$], 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

Definition Classes
StateInterpretation
def evalStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$18$]IndexedStateT[Eval, S, S, β$18$], R, U]): Eff[U, A]

run a state effect, with a Monoidal state
run a state effect, with a Monoidal state

Definition Classes
StateInterpretation
def execState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$21$]IndexedStateT[Eval, S, S, β$21$], 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

Definition Classes
StateInterpretation
def execStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$20$]IndexedStateT[Eval, S, S, β$20$], 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

Definition Classes
StateInterpretation
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def intoState[TS, SS, U1, U2, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[β$28$]IndexedStateT[Eval, T, T, β$28$], TS, U1], ss: Aux[[β$29$]IndexedStateT[Eval, S, S, β$29$], SS, U2], into: IntoPoly[U1, U2]): Eff[SS, A]

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

Definition Classes
StateInterpretation
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[β$26$]IndexedStateT[Eval, T, T, β$26$], TS, U], ss: Aux[[β$27$]IndexedStateT[Eval, S, S, β$27$], 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)

Definition Classes
StateInterpretation
def localState[R, S, A](e: Eff[R, A])(modify: (S) ⇒ S)(implicit s: /=[[β$34$]IndexedStateT[Eval, S, S, β$34$], 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

Definition Classes
StateInterpretation
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def runState[R, U, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[β$23$]IndexedStateT[Eval, S1, S1, β$23$], R, U]): Eff[U, (A, S1)]

run a state effect, with an initial value
run a state effect, with an initial value

Definition Classes
StateInterpretation
def runStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$22$]IndexedStateT[Eval, S, S, β$22$], R, U]): Eff[U, (A, S)]

run a state effect, with an initial value
run a state effect, with an initial value

Definition Classes
StateInterpretation
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait StateInterpretation | package eff

object StateInterpretation extends StateInterpretation

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def evalState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$19$]IndexedStateT[Eval, S, S, β$19$], R, U]): Eff[U, A]

def evalStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$18$]IndexedStateT[Eval, S, S, β$18$], R, U]): Eff[U, A]

def execState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$21$]IndexedStateT[Eval, S, S, β$21$], R, U]): Eff[U, S]

def execStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$20$]IndexedStateT[Eval, S, S, β$20$], R, U]): Eff[U, S]

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def intoState[TS, SS, U1, U2, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[β$28$]IndexedStateT[Eval, T, T, β$28$], TS, U1], ss: Aux[[β$29$]IndexedStateT[Eval, S, S, β$29$], SS, U2], into: IntoPoly[U1, U2]): Eff[SS, A]

final def isInstanceOf[T0]: Boolean

def lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[β$26$]IndexedStateT[Eval, T, T, β$26$], TS, U], ss: Aux[[β$27$]IndexedStateT[Eval, S, S, β$27$], SS, U]): Eff[SS, A]

def localState[R, S, A](e: Eff[R, A])(modify: (S) ⇒ S)(implicit s: /=[[β$34$]IndexedStateT[Eval, S, S, β$34$], R]): Eff[R, A]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def runState[R, U, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[β$23$]IndexedStateT[Eval, S1, S1, β$23$], R, U]): Eff[U, (A, S1)]

def runStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$22$]IndexedStateT[Eval, S, S, β$22$], R, U]): Eff[U, (A, S)]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from StateInterpretation

Inherited from AnyRef

Inherited from Any

Ungrouped