object state extends StateCreation with StateInterpretation

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. state
  2. StateInterpretation
  3. StateCreation
  4. AnyRef
  5. 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[[X]IndexedStateT[[X]X, S, S, X], 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
  9. def evalStateTagged[R <: Effects, U <: Effects, T, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, 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
  10. def evalStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]IndexedStateT[[X]X, S, S, X], R, U]): Eff[U, A]

    run a state effect, with a Monoidal state

    run a state effect, with a Monoidal state

    Definition Classes
    StateInterpretation
  11. def evalStateZeroTagged[R <: Effects, U <: Effects, T, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, A]

    run a state effect, with a Monoidal state

    run a state effect, with a Monoidal state

    Definition Classes
    StateInterpretation
  12. def execState[R <: Effects, U <: Effects, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]IndexedStateT[[X]X, S, S, X], 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
  13. def execStateTagged[R <: Effects, U <: Effects, T, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, 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
  14. def execStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]IndexedStateT[[X]X, S, S, X], 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
  15. def execStateZeroTagged[R <: Effects, U <: Effects, T, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, 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
  16. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def get[R, S](implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, S]

    get the current state value

    get the current state value

    Definition Classes
    StateCreation
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  19. def getTagged[R, T, S](implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, S]

    get the current state value

    get the current state value

    Definition Classes
    StateCreation
  20. def gets[R, S, T](f: (S) ⇒ T)(implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], 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
  21. def getsTagged[R, U, S, T](f: (S) ⇒ T)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, 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
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[X]IndexedStateT[[X]X, T, T, X], TS, U], ss: Aux[[X]IndexedStateT[[X]X, S, S, X], 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
  25. def modify[R, S](f: (S) ⇒ S)(implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, Unit]

    modify the current state value

    modify the current state value

    Definition Classes
    StateCreation
  26. def modifyTagged[R, T, S](f: (S) ⇒ S)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]

    modify the current state value

    modify the current state value

    Definition Classes
    StateCreation
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  30. def put[R, S](s: S)(implicit member: Member[[X]IndexedStateT[[X]X, S, S, X], R]): Eff[R, Unit]

    store a new state value

    store a new state value

    Definition Classes
    StateCreation
  31. def putTagged[R, T, S](s: S)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]

    store a new state value

    store a new state value

    Definition Classes
    StateCreation
  32. def runState[R <: Effects, U <: Effects, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[X]IndexedStateT[[X]X, S1, S1, X], 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
  33. def runStateTagged[R <: Effects, U <: Effects, T, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, S1)]

    run a tagged state effect, with an initial value

    run a tagged state effect, with an initial value

    Definition Classes
    StateInterpretation
  34. def runStateZero[R <: Effects, U <: Effects, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]IndexedStateT[[X]X, S, S, X], 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
  35. def runStateZeroTagged[R <: Effects, U <: Effects, T, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, 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
  36. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from StateInterpretation

Inherited from StateCreation

Inherited from AnyRef

Inherited from Any

Ungrouped