turbolift-core/turbolift.internals.interpreter/Interpreter/Stateless

Stateless

turbolift.internals.interpreter.Interpreter$.Stateless

abstract class Stateless[F[_]] extends Flow

Super class for any user-defined Flow Interpreter, that has no internal state.

Attributes

F: Result for this interpreter.
Graph
Supertypes: class Flow
trait FlowFeatures
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Known subtypes: class Stateless[F]

Members list

Concise view

Type members

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

State of this interpreter. Named Stan, to avoid confusion with State effect.

Attributes

Inherited types

Free variable, meaning set of effects beyond the scope of the currently interpreted effect

Attributes

Inherited from:: Flow

Attributes

Inherited from:: Flow

Alias for Control, specialized for this interpreter.

Attributes

Inherited from:: Flow

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 from:: Signature

Alias for Handler, specialized for this interperter.

Attributes

Inherited from:: Interpreter

Free variable, meaning the unknown part of the continuation's answer type.

The full answer type is Result[Unknown].

Attributes

Inherited from:: Flow

Value members

Abstract methods

Concrete methods

Attributes

Definition Classes: FlowFeatures

Creates a Handler from this interpreter.

Attributes

Inherited methods

Attributes

Inherited from:: FlowFeatures

Attributes

Inherited from:: FlowFeatures

Attributes

Inherited from:: FlowFeatures

Attributes

Inherited from:: FlowFeatures

Generated with