turbolift-core/turbolift.std_effects/State

State

trait State[S] extends Effect[StateSig[S]] with StateSig[S]
trait StateSig[S]
trait Effect[StateSig[S]]
trait CanInterpret
trait HasSignature
trait CanPerform[StateSig[S]]
trait Signature
class Object
trait Matchable
class Any

Type members

Inherited classlikes

abstract class Proxy[Fx] extends ProxyWithParam[Fx] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter
Inherited from:
CanInterpret
object ThisHandler
Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
final override type ThisEffect = Effect
Inherited from:
Effect
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]
Inherited from:
CanInterpret
final override type ThisSignature = Z
Inherited from:
Effect

Value members

Concrete methods

final override def getModify(f: S => S): Computation[S, State[S]]
Definition Classes
final override def getModifyGet(f: S => S): Computation[(S, S), State[S]]
Definition Classes
final override def getUpdate[A](f: S => (A, S)): Computation[(A, S), State[S]]
Definition Classes
final override def getUpdateGet[A](f: S => (A, S)): Computation[(A, S, S), State[S]]
Definition Classes
final override def gets[A](f: S => A): Computation[A, State[S]]
Definition Classes
def handler(initial: S): Free[Tuple2]
final override def modify(f: S => S): Computation[Unit, State[S]]
Definition Classes
final override def modifyGet(f: S => S): Computation[S, State[S]]
Definition Classes
final override def put(s: S): Computation[Unit, State[S]]
Definition Classes
final override def swap(s: S): Computation[S, State[S]]
Definition Classes
final override def update[A](f: S => (A, S)): Computation[A, State[S]]
Definition Classes
final override def updateGet[A](f: S => (A, S)): Computation[(A, S), State[S]]
Definition Classes

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[State[S], Fx2]
Inherited from:
Effect
final def perform[A, U <: ThisEffect](f: StateSig[S] & Apply[U] => A !@! U { def apply(z: StateSig[S] & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform
final override def signatures: Array[Signature]
Definition Classes
Effect -> CanInterpret
Inherited from:
Effect

Concrete fields

final override val get: Computation[S, State[S]]