object
StateEffect
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
eval[R <: Effects, S, A](initial: S)(w: Eff[|:[[β]IndexedStateT[[+X]X, S, S, β], R], A]): Eff[R, A]
-
def
evalZero[R <: Effects, S, A](w: Eff[|:[[β]IndexedStateT[[+X]X, S, S, β], R], A])(implicit arg0: Monoid[S]): Eff[R, A]
-
def
exec[R <: Effects, S, A](initial: S)(w: Eff[|:[[β]IndexedStateT[[+X]X, S, S, β], R], A]): Eff[R, S]
-
def
execZero[R <: Effects, S, A](w: Eff[|:[[β]IndexedStateT[[+X]X, S, S, β], R], A])(implicit arg0: Monoid[S]): Eff[R, S]
-
def
finalize(): Unit
-
def
get[R, S](implicit member: Member[[β]IndexedStateT[[+X]X, S, S, β], R]): Eff[R, S]
-
final
def
getClass(): Class[_]
-
def
gets[R, S, T](f: (S) ⇒ T)(implicit member: Member[[β]IndexedStateT[[+X]X, S, S, β], R]): Eff[R, T]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
modify[R, S](f: (S) ⇒ S)(implicit member: Member[[β]IndexedStateT[[+X]X, S, S, β], R]): Eff[R, Unit]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
put[R, S](s: S)(implicit member: Member[[β]IndexedStateT[[+X]X, S, S, β], R]): Eff[R, Unit]
-
def
runState[R <: Effects, S1, A](initial: S1)(w: Eff[|:[[β]IndexedStateT[[+X]X, S1, S1, β], R], A]): Eff[R, (A, S1)]
-
def
runStateZero[R <: Effects, S, A](w: Eff[|:[[β]IndexedStateT[[+X]X, S, S, β], R], A])(implicit arg0: Monoid[S]): Eff[R, (A, S)]
-
def
runTaggedState[R <: Effects, T, S1, A](initial: S1)(w: Eff[|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], A]): Eff[R, (A, S1)]
-
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
Inherited from AnyRef
Inherited from Any
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