Error
Attributes
- Graph
-
- Supertypes
Members list
Type members
Inherited classlikes
Base class for any user-defined proxy interpreter for this effect.
Base class for any user-defined proxy interpreter for this effect.
Like Proxy Interpreter, but specialized for this effect.
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass Proxy[Fx]trait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass ProxyIOtrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Base class for any user-defined stateful interpreter for this effect.
Base class for any user-defined stateful interpreter for this effect.
Like Stateful Interpreter, but specialized for this effect.
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass Flowclass FlowFeaturestrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Base class for any user-defined stateless interpreter for this effect.
Base class for any user-defined stateless interpreter for this effect.
Like Stateless Interpreter, but specialized for this effect.
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
trait ThisInterpreterclass Stateless[F]class Flowclass FlowFeaturestrait Interpretertrait Signatureclass Objecttrait Matchableclass AnyShow all
Defines type aliases for Handler, specialized to eliminate this effect.
Defines type aliases for Handler, specialized to eliminate this effect.
Attributes
- Inherited from:
- CanInterpret
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Inherited from:
- CanInterpret
- Supertypes
- Known subtypes
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
Alias for Handler, specialized to eliminate this 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
- Definition Classes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Default handler for this 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
Like !!.pure(a)
, but with effect-set up-casted to ThisEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Definition Classes
- Inherited from:
- ErrorEffect
Attributes
- Inherited from:
- ErrorEffect
Attributes
- Definition Classes
- Inherited from:
- ErrorEffect
Exports
Inherited defined exports
Attributes
- Inherited from:
- CanInterpret
Attributes
- Inherited from:
- CanInterpret
Attributes
- Inherited from:
- CanInterpret