Attributes
- Companion
- object
- Graph
-
- Supertypes
Members list
Type members
Inherited types
Abstract type that must be used in definitions of effect's operations.
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
.
Attributes
- Inherited from:
- CanPerform
Abstract type that must be used in definitions of effect's operations.
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
.
Attributes
- Inherited from:
- Effect
Value members
Concrete methods
Attributes
- Definition Classes
Default handler for this effect.
Default handler for this effect.
Attributes
Attributes
- Definition Classes
Attributes
- Definition Classes
Inherited methods
Combines with another Effect instance, for the purpose of sharing an Interpreter.
Combines with another Effect instance, for the purpose of sharing an Interpreter.
Attributes
- Inherited from:
- Effect
Lifts an invocation of this Signature's method into the Computation monad.
Lifts an invocation of this Signature's method into the Computation monad.
Attributes
- Inherited from:
- CanPerform
Concrete fields
Inherited fields
Object containing type definitions, to be used for implementing Interpreters for this effect.
Object containing type definitions, to be used for implementing Interpreters for this effect.
Attributes
- Inherited from:
- Effect
Exports
Inherited defined exports
Attributes
- Inherited from:
- Effect
Attributes
- Inherited from:
- Effect