Interpreter

turbolift.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

abstract class Proxy[Fx] extends Interpreter, Trivial

Base class for any user-defined proxy Interpreter.

Base class 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

dependencies of this interpreter.

Attributes

Supertypes
trait Trivial
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all
Known subtypes
class Proxy[Fx]
abstract class Stateful[F[_], G[_], Fx] extends Interpreter

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

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

User-defined Stateful interpreter must also inherit one of Sequential or Parallel mixins.

Type parameters

F

Input of this interpreter.

Fx

dependencies of this interpreter.

G

Output of this interpreter.

Attributes

Supertypes
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Stateful[F, G, Fx]
class FromConst[C, G, Fx]
class Free[C, G]
class ToConst[C, D, Fx]
class Free[C, D]
class FromId[G, Fx]
class Free[G]
class ToConst[D, Fx]
class Free[D]
class ToId[Fx]
class Free
Show all
abstract class Stateless[F[_], G[_], Fx] extends Interpreter

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

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

User-defined Stateless interpreter must also inherit one of Sequential or Parallel mixins.

Type parameters

F

Input of this interpreter.

Fx

dependencies of this interpreter.

G

Output of this interpreter.

Attributes

Supertypes
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Stateless[F, G, Fx]
class FromConst[C, G, Fx]
class Free[C, G]
class ToConst[C, D, Fx]
class Free[C, D]
class FromId[G, Fx]
class Free[G]
class ToConst[D, Fx]
class Free[D]
class ToId[Fx]
class Free
Show all