ThisInterpreter
Type members
Types
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.
From the perspective of effect's user, !@! is just an alias of !!. The final-override happens in Effect.
From the perspective of handler, !@! definition is enriched in a way depending on the chosen Interpreter.
- Inherited from:
- Signature
Alias for Handler, specialized for this interperter.
Alias for Handler, specialized for this interperter.
- Inherited from:
- Interpreter