Trivial

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.

Phantom type meaning set of effects remaining after handling this effect.

Set of effects that this interpreter depends on.

Input of this interpreter.

State of this interpreter. Named Stan, to avoid confusion with State effect.

Alias for Control, specialized for this interperter.

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.

Output of this interpreter.

Phantom type meaning the unknown part of the continuation's answer type.

Full answer type is To[Unknown] !! Ambient. The To[+_] part is known to this interpreter. The Unknown and Ambient parts however, are not. They specific to place(s) where the handler (obtained from this interpreter) would be applied.

Creates a Handler from this interpreter.