StreamEffect

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.

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.

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.