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

Flow

sealed trait Flow extends Interpreter
trait Signature
class Object
trait Matchable
class Any
class Stateful[S, F]
class Stateful[S, F]
class Stateless[F]
class Stateless[F]

Type members

Types

final override type !@![A, U] = ThisControl[U] => Any { def apply(kk: ThisControl[U]): Trans[LowerMonad, UpperFunctor[A]]; }
type Initial
final override type IntroEffect = Any
type Trans[_[_], _]

Inherited types

type Result[+A]
Inherited from:
Interpreter
type ThisEffect
Inherited from:
Signature

Value members

Abstract methods

def onFlatMap[A, B, M[_] : MonadZip](tma: Trans[M, A])(f: A => Trans[M, B]): Trans[M, B]
def onPure[A](a: A): Trans[[X] =>> X, A]
def onZip[A, B, M[_] : MonadZip](tma: Trans[M, A], tmb: Trans[M, B]): Trans[M, (A, B)]