trait StateEffect extends StateCreation with StateInterpretation with StateImplicits

Effect for passing state along computations

Several state effects can be used in the same stack if they are tagged

Internally backed up by scalaz.State

Linear Supertypes
StateImplicits, StateImplicits1, StateInterpretation, StateCreation, AnyRef, Any
Known Subclasses
StateEffect, all
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StateEffect
  2. StateImplicits
  3. StateImplicits1
  4. StateInterpretation
  5. StateCreation
  6. AnyRef
  7. 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. implicit def TaggedStateMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]
    Definition Classes
    StateImplicits
  5. implicit def TaggedStateMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[O, R], Effects.|:[O, U]]
    Definition Classes
    StateImplicits1
  6. implicit def TaggedStateMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]
    Definition Classes
    StateImplicits
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  20. 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
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  22. 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
  23. 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
  24. 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
  25. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. 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
  28. 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
  29. 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
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from StateImplicits

Inherited from StateImplicits1

Inherited from StateInterpretation

Inherited from StateCreation

Inherited from AnyRef

Inherited from Any

Ungrouped