turbolift-core/turbolift/Effect/Combine2

Combine2

turbolift.Effect$.Combine2

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

Composition of 2 effects, for the purpose of sharing an Interpreter.

Attributes

Graph
Supertypes: trait CanInterpret
trait Signature
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited classlikes

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

Like Proxy Interpreter, but specialized for this effect.

Attributes

Inherited from:: CanInterpret
Graph
Supertypes: trait ThisInterpreter
trait Proxy[Fx]
trait Interpreter
trait Signature
class Object
trait Matchable
class Any

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

Like Stateful Interpreter, but specialized for this effect.

Attributes

Inherited from:: CanInterpret
Graph
Supertypes: trait ThisInterpreter
class Stateful[S, F]
class Flow
trait FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any

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

Like Stateless Interpreter, but specialized for this effect.

Attributes

Inherited from:: CanInterpret
Graph
Supertypes: trait ThisInterpreter
class Stateless[F]
class Flow
trait FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any

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

Attributes

Inherited from:: CanInterpret
Graph
Supertypes: class Object
trait Matchable
class Any

Attributes

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

Types

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.

Attributes

Inherited types

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.

Attributes

Inherited from:: Signature

Alias for Handler, specialized to eliminate this effect.

Attributes

Inherited from:: CanInterpret

Value members

Concrete methods

Combines with another Effect instance, for the purpose of sharing an Interpreter.

Attributes

Concrete fields

Exports

Inherited defined exports

Exported from Features$

Attributes

Inherited from:: CanInterpret

Exported from Features

Attributes

Inherited from:: CanInterpret

Exported from Features$

Attributes

Inherited from:: CanInterpret

Generated with