FlowFeatures

turbolift.internals.interpreter.Interpreter$.FlowFeatures
abstract class FlowFeatures extends Interpreter

Attributes

Graph
Supertypes
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ForkJoin
class Flow
class Stateful[S, F]
class Stateful[S, F]
class Stateless[F]
class Stateless[F]
Show all

Members list

Type members

Types

type Stan

State of this interpreter. Named Stan, to avoid confusion with State effect.

State of this interpreter. Named Stan, to avoid confusion with State effect.

Attributes

Inherited types

type !@![A, U]

Abstract type that must be used in definitions of effect's operations.

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of Computation (i.e. same as !!), once the signature is inherited from Effect.

Attributes

Inherited from:
Signature
type Dependency

Attributes

Inherited from:
Interpreter
type Result[+A]

Attributes

Inherited from:
Interpreter
type ThisEffect

Abstract type that must be used in definitions of effect's operations.

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of this.type, once the signature is inherited from Effect.

Attributes

Inherited from:
Signature

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Attributes

Inherited from:
Interpreter

Value members

Abstract methods

def onFork(s: Stan): (Stan, Stan)
def onJoin(s1: Stan, s2: Stan): Stan
def onPure[A](a: A, s: Stan): Result[A]
def onUnpure[A](aa: Result[A]): Computation[A, ThisEffect]
def onZip[A, B, C](aa: Result[A], bb: Result[B], k: (A, B) => C): Result[C]