state
API
Generated with
state/org.atnos.eff/org.atnos.eff.syntax/state/stateExtension

stateExtension

org.atnos.eff.syntax.state.stateExtension
object stateExtension

Attributes

Source
state.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Extensions

Extensions

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
state.scala
def execStateZeroU[S : Monoid, U](implicit evidence$1: 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)(using Aux[[_] =>> State[T, _$14], R, U1], Aux[[_] =>> State[S, _$15], BR, U2], IntoPoly[U1, U2]): Eff[BR, A]

Attributes

Source
state.scala
def lensState[BR, U, T, S](getter: S => T, setter: (S, T) => S)(using Aux[[_] =>> State[T, _$12], R, U], Aux[[_] =>> State[S, _$13], BR, U]): Eff[BR, A]

Attributes

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

Attributes

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

Attributes

Source
state.scala
def runStateU[S, U](s: S)(using 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[member.Out, (A, S)]

Attributes

Source
state.scala
Generated with