ErrorGK
Attributes
- Graph
-
- Supertypes
Members list
Type members
Inherited classlikes
Predefined handlers for this effect.
Predefined handlers for this effect.
Attributes
- Inherited from:
- ErrorEffect
- Supertypes
-
class Objecttrait Matchableclass Any
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
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
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Definition Classes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
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
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Definition Classes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Definition Classes
- Inherited from:
- ErrorEffect
Attributes
- Definition Classes
- Inherited from:
- ErrorEffect
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