core/org.atnos.eff.syntax/state/StateEffectOps

StateEffectOps

class StateEffectOps[R, A](e: Eff[R, A])
class Object
trait Matchable
class Any

Value members

Concrete methods

def evalState[S](s: S)(implicit member: Member[[_] =>> State[S, _$4], R]): Eff[Out, A]
def evalStateU[S, U](s: S)(implicit member: Aux[[_] =>> State[S, _$5], R, U]): Eff[U, A]
def evalStateZero[S](implicit evidence$2: Monoid[S], member: Member[[_] =>> State[S, _$6], R]): Eff[Out, A]
def evalStateZeroU[S, U](implicit evidence$3: Monoid[S], member: Aux[[_] =>> State[S, _$7], R, U]): Eff[U, A]
def execState[S](s: S)(implicit member: Member[[_] =>> State[S, _$8], R]): Eff[Out, S]
def execStateU[S, U](s: S)(implicit member: Aux[[_] =>> State[S, _$9], R, U]): Eff[U, S]
def execStateZero[S](implicit evidence$4: Monoid[S], member: Member[[_] =>> State[S, _$10], R]): Eff[Out, S]
def execStateZeroU[S, U](implicit evidence$5: Monoid[S], member: Aux[[_] =>> State[S, _$11], R, U]): Eff[U, S]
def intoState[BR, U1, T, S, U2](getter: S => T, setter: (S, T) => S)(implicit m1: Aux[[_] =>> State[T, _$14], R, U1], m2: Aux[[_] =>> State[S, _$15], BR, U2], into: IntoPoly[U1, U2]): Eff[BR, A]
def lensState[BR, U, T, S](getter: S => T, setter: (S, T) => S)(implicit m1: Aux[[_] =>> State[T, _$12], R, U], m2: Aux[[_] =>> State[S, _$13], BR, U]): Eff[BR, A]
def localState[S](modify: S => S)(implicit s: MemberInOut[[_] =>> State[S, _$16], R]): Eff[R, A]
def runState[S](s: S)(implicit member: Member[[_] =>> State[S, _$1], R]): Eff[Out, (A, S)]
def runStateU[S, U](s: S)(implicit member: Aux[[_] =>> State[S, _$2], R, U]): Eff[U, (A, S)]
def runStateZero[S](implicit evidence$1: Monoid[S], member: Member[[_] =>> State[S, _$3], R]): Eff[Out, (A, S)]