Super class for any user-defined stateful Flow Interpreter, that has internal state.
Result for this interpreter.
State for this interpreter.
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.
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
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.