turbolift.internals.effect.CanInterpret.Stateless
Base class for any user-defined stateless interpreter for this effect.
Like Stateless Interpreter, but specialized for this effect.
Attributes
- Graph
- Supertypes
class Object
trait Matchable
class Any
- Self type
Members list
Concise view
Type members
Abstract type that must be used in definitions of effect's operations.
Abstract type that must be used in definitions of effect's operations.
Becomes an alias of Computation (i.e. same as !!), once the signature is inherited from Effect.
Attributes
- Inherited from:
- Stateless
Attributes
- Inherited from:
- Flow
State of this interpreter. Named Stan, to avoid confusion with State effect.
State of this interpreter. Named Stan, to avoid confusion with State effect.
Attributes
- Inherited from:
- Stateless
Alias for Control, specialized for this interpreter.
Alias for Control, specialized for this interpreter.
Attributes
- Inherited from:
- Flow
Abstract type that must be used in definitions of effect's operations.
Abstract type that must be used in definitions of effect's operations.
Becomes an alias of this.type, once the signature is inherited from Effect.
Attributes
- Inherited from:
- ThisInterpreter
Alias for Handler, specialized for this interperter.
Free variable, meaning the unknown part of the continuation's answer type.
Free variable, meaning the unknown part of the continuation's answer type.
The full answer type is Result[Unknown].
Attributes
- Inherited from:
- Flow
Value members
Attributes
- Definition Classes
- Inherited from:
- Stateless
Creates a Handler from this interpreter.