CanInterpret

turbolift.internals.effect.CanInterpret

Attributes

Graph
Supertypes: trait Signature
class Object
trait Matchable
class Any
Known subtypes: trait Effect[Z]
trait ChoiceEffect
trait Choice
object Each.type
object Fail.type
trait ConsoleEffect
object Console.type
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorK[F, E]
trait RandomEffect
object Random.type
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]
Self type: CanInterpret

Concise view

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

Like Proxy Interpreter, but specialized for this effect.

Graph
Supertypes: trait ThisInterpreter
class Proxy[Fx]
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Self type: ThisSignature

Graph
Supertypes: trait ThisInterpreter
class ProxyIO
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Self type: ThisSignature

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

Like Stateful Interpreter, but specialized for this effect.

Graph
Supertypes: trait ThisInterpreter
class Stateful[S, F]
class Flow
class FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Self type: ThisSignature

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

Like Stateless Interpreter, but specialized for this effect.

Graph
Supertypes: trait ThisInterpreter
class Stateless[F]
class Flow
class FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Self type: ThisSignature

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

Graph
Supertypes: trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes: class Proxy[Fx]
class ProxyIO
class Stateful[S, F]
class Stateless[F]

Alias for Handler, specialized to eliminate this effect.

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of Computation (i.e. same as !!), once the signature is inherited from Effect.

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of this.type, once the signature is inherited from Effect.

Exported from Features

Exported from Features$

Generated with