Flow
Type members
Types
final override type !@![A, U] = ThisControl[U] => Any { def apply(kk: ThisControl[U]): Trans[LowerMonad, UpperFunctor[A]]; }
Inherited types
type ThisEffect
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, ThisEffect is just an alias of this.type. The final-override happens in Effect.
From the perspective of handler, ThisEffect 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