Base class for any user-defined stateless interpreter for this effect.
Like Stateless Interpreter, but specialized for this 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 Computation (i.e. same as !!), once the signature is inherited from 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
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.