Parallel

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

Becomes an alias of this.type, once the signature is inherited from Effect.

Phantom type, representing universally quantified type of the corresponding handler.

A Handler acts as a higher-rank function of type:

[A, U] => (From[A] !! (Elim & U)) => To[A] !! (Intro & U)

The Ambient type of this interpreter corresponds to the U type parameter above. See also Unknown.

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.

Output of this interpreter.

Phantom type, representing universally quantified type of the corresponding handler.

A Handler acts as a higher-rank function of type:

[A, U] => (From[A] !! (Elim & U)) => To[A] !! (Intro & U)

The Unknown type of this interpreter corresponds to the A type parameter above. See also Ambient.

Microoptimization hint, stating intent to use continuations.

Many effect handlers never capture the continuation, and this is the default expectation.

The capture will work regardless of value of this hint. However, if not overriden to true, the first capture will be more costly.

Creates a Handler from this interpreter.

Returns a string representation of the object.

The default representation is platform dependent.

An instance of Control dedicated for this interpreter.

An instance of Local dedicated for this interpreter.