Interpreter

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

Attributes

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

Members list

Type members

Classlikes

sealed abstract class Flow extends FlowFeatures

Super class for interpreters using delimited continuation.

Super class for interpreters using delimited continuation.

Attributes

Supertypes
class FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
class Stateful[S, F]
class Stateful[S, F]
class Stateless[F]
class Stateless[F]
Self type
abstract class FlowFeatures extends Interpreter

Attributes

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
abstract class 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.

Type parameters

Fx

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

Attributes

Supertypes
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Proxy[Fx]
abstract class ProxyIO extends Interpreter

Like Proxy[IO], but with less overhead.

Like Proxy[IO], but with less overhead.

Attributes

Supertypes
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class ProxyIO
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.

Type parameters

F

Result for this interpreter.

S

State for this interpreter.

Attributes

Supertypes
class Flow
class FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
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.

Type parameters

F

Result for this interpreter.

Attributes

Supertypes
class Flow
class FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
class Stateless[F]