turbolift.internals.interpreter.Interpreter$.Flow
Super class for interpreters using delimited continuation.
Attributes
- Graph
- Supertypes
class Object
trait Matchable
class Any
- Known subtypes
- Self type
Members list
Concise view
Type members
Alias for Control, specialized for this interpreter.
Alias for Control, specialized for this interpreter.
Attributes
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
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:
- Signature
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:
- FlowFeatures
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:
- Signature
Alias for Handler, specialized for this interperter.