org.specs2.control.eff

StateEffect

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
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. 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

  7. 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

  8. 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

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  22. 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

  23. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  24. 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

  25. 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

  26. 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

  27. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  28. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  29. 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

  30. 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

  31. 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

  32. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  33. final def notify(): Unit

    Definition Classes
    AnyRef

  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  35. 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

  36. 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

  37. 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

  38. 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

  39. 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

  40. 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

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

    Definition Classes
    AnyRef

  42. def toString(): String

    Definition Classes
    AnyRef → Any

  43. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  45. 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