Stateless

Set of effects eliminated from computation by this interpreter.

Input of this interpreter.

Set of effects introduced into computation by this interpreter (a.k.a. dependencies).

Local state of this interpreter.

Self-reference to the effect being described by this Signature.

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] !! Intro. The To[+_] part is known to this interpreter. The Unknown part however, is not. It's specific to place(s) where the handler (obtained from this interpreter) would be applied.

Creates a Handler from this interpreter.

An instance of Control dedicated for this interpreter.

An instance of Local dedicated for this interpreter.