trait
StateInterpretation extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
evalState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$18$]IndexedStateT[[X]X, S, S, β$18$], R, U]): Eff[U, A]
-
def
evalStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$17$]IndexedStateT[[X]X, S, S, β$17$], R, U]): Eff[U, A]
-
def
execState[R, U, S, A](initial: S)(w: Eff[R, A])(implicit m: Aux[[β$20$]IndexedStateT[[X]X, S, S, β$20$], R, U]): Eff[U, S]
-
def
execStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$19$]IndexedStateT[[X]X, S, S, β$19$], R, U]): Eff[U, S]
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
lensState[TS, SS, U, T, S, A](state: Eff[TS, A], getter: (S) ⇒ T, setter: (S, T) ⇒ S)(implicit ts: Aux[[β$26$]IndexedStateT[[X]X, T, T, β$26$], TS, U], ss: Aux[[β$27$]IndexedStateT[[X]X, S, S, β$27$], SS, U]): Eff[SS, A]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
runState[R, U, S1, A](initial: S1)(w: Eff[R, A])(implicit m: Aux[[β$22$]IndexedStateT[[X]X, S1, S1, β$22$], R, U]): Eff[U, (A, S1)]
-
def
runStateZero[R, U, S, A](w: Eff[R, A])(implicit arg0: Monoid[S], m: Aux[[β$21$]IndexedStateT[[X]X, S, S, β$21$], R, U]): Eff[U, (A, S)]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit