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)(member: Member[[_] =>> State[S, _$4], R]): Eff[Out, A]
def evalStateU[S, U](s: S)(member: Aux[[_] =>> State[S, _$5], R, U]): Eff[U, A]
def evalStateZero[S](`evidence$2`: Monoid[S], member: Member[[_] =>> State[S, _$6], R]): Eff[Out, A]
def evalStateZeroU[S, U](`evidence$3`: Monoid[S], member: Aux[[_] =>> State[S, _$7], R, U]): Eff[U, A]
def execState[S](s: S)(member: Member[[_] =>> State[S, _$8], R]): Eff[Out, S]
def execStateU[S, U](s: S)(member: Aux[[_] =>> State[S, _$9], R, U]): Eff[U, S]
def execStateZero[S](`evidence$4`: Monoid[S], member: Member[[_] =>> State[S, _$10], R]): Eff[Out, S]
def execStateZeroU[S, U](`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)(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)(m1: Aux[[_] =>> State[T, _$12], R, U], m2: Aux[[_] =>> State[S, _$13], BR, U]): Eff[BR, A]
def localState[S](modify: S => S)(s: MemberInOut[[_] =>> State[S, _$16], R]): Eff[R, A]
def runState[S](s: S)(member: Member[[_] =>> State[S, _$1], R]): Eff[Out, (A, S)]
def runStateU[S, U](s: S)(member: Aux[[_] =>> State[S, _$2], R, U]): Eff[U, (A, S)]
def runStateZero[S](`evidence$1`: Monoid[S], member: Member[[_] =>> State[S, _$3], R]): Eff[Out, (A, S)]