Each

Predefined handlers for this effect.

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.

The names of the product elements

The name of the type

The mirrored *-type

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.

Combines with another Effect instance, for the purpose of sharing an Interpreter.

Create a new instance of type T with elements taken from product p.

Lifts an invocation of this Signature's method into the Computation monad.

Object containing type definitions, to be used for implementing Interpreters for this effect.