Flow
turbolift.internals.interpreter.Interpreter$.Flow
Super class for interpreters using delimited continuation.
Attributes
- Graph
- Supertypes
- Known subtypes
- Self type
Super class for interpreters using delimited continuation.
Free variable, meaning set of effects beyond the scope of the currently interpreted effect
Free variable, meaning set of effects beyond the scope of the currently interpreted effect
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]
.
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
.
State of this interpreter. Named Stan
, to avoid confusion with State
effect.
State of this interpreter. Named Stan
, to avoid confusion with State
effect.
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
.
Alias for Handler, specialized for this interperter.