core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff.syntax/state/StateEffectOps

StateEffectOps

org.atnos.eff.syntax.state.StateEffectOps
implicit class StateEffectOps[R, A](e: Eff[R, A])

Attributes

Source:
state.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def evalState[S](s: S)(implicit member: Member[[_] =>> State[S, _$4], R]): Eff[Out, A]

Attributes

Source:
state.scala
def evalStateU[S, U](s: S)(implicit member: Aux[[_] =>> State[S, _$5], R, U]): Eff[U, A]

Attributes

Source:
state.scala
def evalStateZero[S : Monoid](implicit evidence$2: Monoid[S], member: Member[[_] =>> State[S, _$6], R]): Eff[Out, A]

Attributes

Source:
state.scala
def evalStateZeroU[S : Monoid, U](implicit evidence$3: Monoid[S], member: Aux[[_] =>> State[S, _$7], R, U]): Eff[U, A]

Attributes

Source:
state.scala
def execState[S](s: S)(implicit member: Member[[_] =>> State[S, _$8], R]): Eff[Out, S]

Attributes

Source:
state.scala
def execStateU[S, U](s: S)(implicit member: Aux[[_] =>> State[S, _$9], R, U]): Eff[U, S]

Attributes

Source:
state.scala
def execStateZero[S : Monoid](implicit evidence$4: Monoid[S], member: Member[[_] =>> State[S, _$10], R]): Eff[Out, S]

Attributes

Source:
state.scala
def execStateZeroU[S : Monoid, U](implicit evidence$5: Monoid[S], member: Aux[[_] =>> State[S, _$11], R, U]): Eff[U, S]

Attributes

Source:
state.scala
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]

Attributes

Source:
state.scala
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]

Attributes

Source:
state.scala
def localState[S](modify: S => S)(implicit s: MemberInOut[[_] =>> State[S, _$16], R]): Eff[R, A]

Attributes

Source:
state.scala
def runState[S](s: S)(implicit member: Member[[_] =>> State[S, _$1], R]): Eff[Out, (A, S)]

Attributes

Source:
state.scala
def runStateU[S, U](s: S)(implicit member: Aux[[_] =>> State[S, _$2], R, U]): Eff[U, (A, S)]

Attributes

Source:
state.scala
def runStateZero[S : Monoid](implicit evidence$1: Monoid[S], member: Member[[_] =>> State[S, _$3], R]): Eff[Out, (A, S)]

Attributes

Source:
state.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL