Interpreter

turbolift.internals.interpreter.Interpreter$
See theInterpreter companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

sealed abstract class Flow extends FlowFeatures

Super class for interpreters using delimited continuation.

Super class for interpreters using delimited continuation.

Attributes

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Stateful[S, F]
class Stateful[S, F]
class Stateless[F]
class Stateless[F]
Self type

Attributes

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Flow
class Stateful[S, F]
class Stateful[S, F]
class Stateless[F]
class Stateless[F]
trait Proxy[Fx] extends Interpreter

Super trait for any user-defined proxy Interpreter.

Super trait for any user-defined proxy Interpreter.

Proxy translates operations of this effect, into operations of some other effects (dependencies). This is also known as "reinterpretation" in some effect systems.

Attributes

Fx

Type-level set of effects, specifying dependencies of this proxy interpreter.

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Proxy[Fx]
abstract class Stateful[S, F[_]] extends Flow

Super class for any user-defined stateful Flow Interpreter, that has internal state.

Super class for any user-defined stateful Flow Interpreter, that has internal state.

Attributes

F

Result for this interpreter.

S

State for this interpreter.

Graph
Supertypes
class Flow
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Stateful[S, F]
abstract class Stateless[F[_]] extends Flow

Super class for any user-defined Flow Interpreter, that has no internal state.

Super class for any user-defined Flow Interpreter, that has no internal state.

Attributes

F

Result for this interpreter.

Graph
Supertypes
class Flow
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Stateless[F]