EffectImpl

Base class for any user-defined proxy interpreter for this effect.

Like Proxy Interpreter, but specialized for this effect.

Attributes

Supertypes: trait ThisInterpreter

class Proxy[Fx]

trait Trivial

trait Interpreter

trait Signature

class Object

trait Matchable

class Any
Show all

Base class for any user-defined stateful interpreter for this effect.

Like Stateful interpreter, but specialized for this effect.

Companion: object
Supertypes: trait ThisInterpreter

class Stateful[[X] =>> X, F, Fx]

trait Interpreter

trait Signature

class Object

trait Matchable

class Any
Show all

Namespace for convenient versions of Stateful class, specialized by partially applying some or all of its type parameters.

For example: Stateful.FromId.ToId.Free is equivalent of Stateful[[X] =>> X, [X] =>> X, ThisEffect, Any]

This works like type-level "fluent interface", where:

Base class for any user-defined stateless interpreter for this effect.

Like Stateless interpreter, but specialized for this effect.

Companion: object
Supertypes: trait ThisInterpreter

class Stateless[F, G, Fx]

trait Interpreter

trait Signature

class Object

trait Matchable

class Any
Show all

Namespace for convenient versions of Stateless class, specialized by partially applying some or all of its type parameters.

For example: Stateless.FromId.ToId.Free is equivalent of Stateless[[X] =>> X, [X] =>> X, ThisEffect, Any]

This works like type-level "fluent interface", where:

Namespace for convenient versions of ThisHandler type alias, specialized by partially applying some or all of its type parameters.

For example: ThisHandler.FromId.ToId.Free is equivalent of ThisHandler[[X] =>> X, [X] =>> X, Any]

This works like type-level "fluent interface", where:

Supertypes: trait Interpreter

trait Signature

class Object

trait Matchable

class Any
Known subtypes: class Proxy[Fx]

class Stateful[F, Fx]

class FromConst[C, G, Fx]

class Free[C, G]

class ToConst[C, D, Fx]

class Free[C, D]

class FromId[G, Fx]

class Free[G]

class ToConst[D, Fx]

class Free[D]

class ToId[Fx]

class Free

class Stateless[F, G, Fx]

class FromConst[C, G, Fx]

class Free[C, G]

class ToConst[C, D, Fx]

class Free[C, D]

class FromId[G, Fx]

class Free[G]

class ToConst[D, Fx]

class Free[D]

class ToId[Fx]

class Free
Show all