turbolift-core/turbolift.internals.interpreter/InterpreterCases/Stateful

Stateful

abstract class Stateful[S, F[_]] extends Flow
trait Flow
trait Signature
class Object
trait Matchable
class Any
class Stateful[S, F]

Type members

Types

final override type Initial = S
final override type Result[+A] = F[A]
final override type ThisControl[U] = [M[_], X] =>> S => M[F[X]] Control_!! U
final override type Trans[M[_], X] = S => M[F[X]]

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 IntroEffect = Any
Inherited from:
Flow
final type ThisControlBound[U] = Trans Control_!! U
Inherited from:
Flow
type ThisEffect
Inherited from:
Signature

Value members

Concrete methods

final def toHandler(initial: S): ThisHandler

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