StateEffect

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] )
def get[R, S](implicit member: |=[[β$2$]IndexedStateT[Eval, S, S, β$2$], R]): Eff[R, S]

get the current state value
get the current state value

Definition Classes
StateCreation
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def gets[R, S, T](f: (S) ⇒ T)(implicit member: |=[[β$4$]IndexedStateT[Eval, S, S, β$4$], 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

Definition Classes
StateCreation
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
def modify[R, S](f: (S) ⇒ S)(implicit member: |=[[β$6$]IndexedStateT[Eval, S, S, β$6$], R]): Eff[R, Unit]

modify the current state value
modify the current state value

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def put[R, S](s: S)(implicit member: |=[[β$0$]IndexedStateT[Eval, S, S, β$0$], R]): Eff[R, Unit]

store a new state value
store a new state value

Definition Classes
StateCreation
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: object StateEffect | package eff

trait StateEffect extends StateCreation with 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

def get[R, S](implicit member: |=[[β$2$]IndexedStateT[Eval, S, S, β$2$], R]): Eff[R, S]

final def getClass(): Class[_]

def gets[R, S, T](f: (S) ⇒ T)(implicit member: |=[[β$4$]IndexedStateT[Eval, S, S, β$4$], R]): Eff[R, T]

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]

def modify[R, S](f: (S) ⇒ S)(implicit member: |=[[β$6$]IndexedStateT[Eval, S, S, β$6$], R]): Eff[R, Unit]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def put[R, S](s: S)(implicit member: |=[[β$0$]IndexedStateT[Eval, S, S, β$0$], R]): Eff[R, 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 StateCreation

Inherited from AnyRef

Inherited from Any

Ungrouped