CanInterpret

trait CanInterpret extends HasSignature

trait HasSignature

class Object

trait Matchable

class Any

trait Effect[Z]

trait MonoGraph[K, V]

trait PolyGraph[K, V]

object Each.type

object Fail.type

trait ErrorEffect[E, E1]

trait Error[E]

trait ErrorG[M, K, V]

trait ErrorGK[M, K, F, V]

trait ErrorK[F, E]

trait Reader[R]

trait State[S]

trait WriterEffect[W, W1]

trait Writer[W]

trait WriterG[M, K, V]

trait WriterGK[M, K, F, V]

trait WriterK[F, W]

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.

Alias 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.

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.