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[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws(classOf[java.lang.CloneNotSupportedException]) @native()

6.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

7.  def equals(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef → Any

8.  def evalState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$1$]IndexedStateT[Eval, S, S, β$1$], 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 evalStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$0$]IndexedStateT[Eval, S, S, β$0$], R, U]): Eff[U, A]

   run a state effect, with a Monoidal state

   run a state effect, with a Monoidal state

   Definition Classes

   StateInterpretation

10.  def execState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$3$]IndexedStateT[Eval, S, S, β$3$], 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

11.  def execStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$2$]IndexedStateT[Eval, S, S, β$2$], 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

12.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.Throwable])

13.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

14.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  def intoState[TS, SS, U1, U2, T, S, A](state: Eff[TS, A], getter: (S) => T, setter: (S, T) => S)(implicit ts: Aux[[β$10$]IndexedStateT[Eval, T, T, β$10$], TS, U1], ss: Aux[[β$11$]IndexedStateT[Eval, S, S, β$11$], 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

16.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

17.  def lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) => T, setter: (S, T) => S)(implicit ts: Aux[[β$8$]IndexedStateT[Eval, T, T, β$8$], TS, U], ss: Aux[[β$9$]IndexedStateT[Eval, S, S, β$9$], 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

18.  def localState[R, S, A](e: Eff[R, A])(modify: (S) => S)(implicit s: /=[[β$16$]IndexedStateT[Eval, S, S, β$16$], 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

19.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

20.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

21.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

22.  def runState[R, U, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[β$5$]IndexedStateT[Eval, S1, S1, β$5$], 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

23.  def runStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$4$]IndexedStateT[Eval, S, S, β$4$], 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

24.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

25.  def toString(): String

    Definition Classes

    AnyRef → Any

26.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

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

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

28.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()