Combine2

final class Combine2[Fx1 <: HasSignature, Fx2 <: HasSignature](val fx1: Fx1, val fx2: Fx2) extends Combine

Provides environment for implementing Handlers, that handle 2 Effects at once.

class Combine

trait HasSignature

class Object

trait Matchable

class Any

Type members

Base class for user-defined Proxy Interpreter for this effect.

Base class for user-defined Stateful Interpreter for this effect.

Base class for user-defined Stateless Interpreter for this effect.

Defines type aliases for Handler, specialized to eliminate this effect.

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.

Alias for Handler, specialized to eliminate this effect.

Combines with another Effect instance, so that a single Handler for 3 effects can be created.