# StateInterpretation

### Related Docs: object StateInterpretation | package eff

#### trait StateInterpretation extends AnyRef

Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. StateInterpretation
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. #### final def !=(arg0: Any): Boolean

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

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

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

Definition Classes
Any
5. #### def clone(): AnyRef

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

Definition Classes
AnyRef
7. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
8. #### def evalState[R <: Effects, U <: Effects, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β]StateT[Eval, S, β], R, U]): Eff[U, A]

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

9. #### def evalStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β]StateT[Eval, S, β], R, U]): Eff[U, A]

run a state effect, with a Monoidal state

10. #### def execState[R <: Effects, U <: Effects, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β]StateT[Eval, S, β], R, U]): Eff[U, S]

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

11. #### def execStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β]StateT[Eval, S, β], R, U]): Eff[U, S]

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

12. #### def finalize(): Unit

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

Definition Classes
AnyRef → Any
14. #### def hashCode(): Int

Definition Classes
AnyRef → Any
15. #### final def isInstanceOf[T0]: Boolean

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

17. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
18. #### final def notify(): Unit

Definition Classes
AnyRef
19. #### final def notifyAll(): Unit

Definition Classes
AnyRef
20. #### def runState[R <: Effects, U <: Effects, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[β]StateT[Eval, S1, β], R, U]): Eff[U, (A, S1)]

run a state effect, with an initial value

21. #### def runStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β]StateT[Eval, S, β], R, U]): Eff[U, (A, S)]

run a state effect, with an initial value

22. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
23. #### def toString(): String

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )