turbolift-core/turbolift.internals.effect/CanInterpret/Stateful

Stateful

abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter

Base class for user-defined Stateful Interpreter for this effect.

trait Unsealed
class Stateful[S, F]
trait Flow
trait Signature
class Object
trait Matchable
class Any
ThisSignature

Type members

Inherited types

final override type !@![A, U] = ThisControl[U] => Any { def apply(kk: ThisControl[U]): Trans[LowerMonad, UpperFunctor[A]]; }
Inherited from:
Flow
final override type Initial = S
Inherited from:
Stateful
final override type IntroEffect = Any
Inherited from:
Flow
final override type Result[+A] = F[A]
Inherited from:
Stateful
final override type ThisControl[U] = Apply[[M[_], X] =>> S => M[F[X]], U]
Inherited from:
Stateful
final override type ThisEffect = ThisEffect
Inherited from:
ThisInterpreter
final type ThisHandler = Handler[Result, ThisEffect, IntroEffect]

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Inherited from:
Interpreter
final override type Trans[M[_], X] = S => M[F[X]]
Inherited from:
Stateful

Value members

Inherited methods

def onFlatMap[A, B, M[_] : MonadZip](tma: M => A)(f: A => M => B): M => B
Inherited from:
Flow
def onPure[A](a: A): [X] =>> X => A
Inherited from:
Flow
def onZip[A, B, M[_] : MonadZip](tma: M => A, tmb: M => B): M => (A, B)
Inherited from:
Flow
final def toHandler(initial: S): ThisHandler

Creates a Handler from this interpreter.

Creates a Handler from this interpreter.

Inherited from:
Stateful