turbolift.interpreter.Interpreter
See theInterpreter companion object
Super trait for any user-defined Interpreter .
Interpreters are not meant to be created directly . Instead, one of abstract interpreters, provided by Effect , should be inherited:
Interpreters are not meant to be used directly . Instead, a Handler should be created from the interpreter, by calling toHandler method on it.
Attributes
Companion
object
Graph
Reset zoom Hide graph Show graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Members list
Set of effects eliminated from computation by this interpreter.
Set of effects eliminated from computation by this interpreter.
Attributes
Input of this interpreter.
Input of this interpreter.
Attributes
Set of effects introduced into computation by this interpreter (a.k.a. dependencies).
Set of effects introduced into computation by this interpreter (a.k.a. dependencies).
Attributes
Local state of this interpreter.
Local state of this interpreter.
Attributes
Self-reference to the effect being described by this Signature .
Self-reference to the effect being described by this Signature .
Becomes an alias of this.type, once the signature is inherited from Effect.
Attributes
Alias for Handler , specialized for this interperter.
Alias for Handler , specialized for this interperter.
Attributes
Output of this interpreter.
Output of this interpreter.
Attributes
Phantom type meaning the unknown part of the continuation's answer type.
Phantom type meaning the unknown part of the continuation's answer type.
Full answer type is To[Unknown] !! Intro. The To[+_] part is known to this interpreter. The Unknown part however, is not. It's specific to place(s) where the handler (obtained from this interpreter) would be applied.
Attributes
Creates a Handler from this interpreter.
Creates a Handler from this interpreter.
Attributes
An instance of Control dedicated for this interpreter.
An instance of Control dedicated for this interpreter.
Attributes
An instance of Local dedicated for this interpreter.
An instance of Local dedicated for this interpreter.
Attributes