Stateless
Base class for any user-defined stateless interpreter for this effect.
Like Stateless interpreter, but specialized for this effect.
Attributes
- Graph
-
- Supertypes
-
trait ThisInterpretertrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Members list
Type members
Inherited types
Set of effects eliminated from computation by this interpreter.
Set of effects eliminated from computation by this interpreter.
Attributes
- Inherited from:
- ThisInterpreter
Input of this interpreter.
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
- Inherited from:
- Stateless
Local state of this interpreter.
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
- Inherited from:
- Interpreter
Alias for Handler, specialized for this interperter.
Output of this interpreter.
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
- Inherited from:
- Interpreter
Value members
Inherited methods
Attributes
- Inherited from:
- Interpreter
Attributes
- Definition Classes
- Inherited from:
- Stateless
Attributes
- Inherited from:
- Interpreter
Attributes
- Inherited from:
- Interpreter
Attributes
- Definition Classes
- Inherited from:
- Stateless
Attributes
- Inherited from:
- Interpreter
Attributes
- Inherited from:
- Interpreter
Creates a Handler from this interpreter.
Inherited fields
An instance of Control dedicated for this interpreter.