Flow

turbolift.internals.interpreter.Interpreter$.Flow

sealed abstract class Flow extends FlowFeatures

Super class for interpreters using delimited continuation.

Attributes

Graph
Supertypes: class FlowFeatures

trait Interpreter

trait Signature

class Object

trait Matchable

class Any
Show all
Known subtypes: class Stateful[S, F]

class Stateful[S, F]

class Stateless[F]

class Stateless[F]
Self type: Flow

Alias for Control, specialized for this interpreter.

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

The full answer type is Result[Unknown].

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.

State of this interpreter. Named Stan, to avoid confusion with State 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.

Alias for Handler, specialized for this interperter.

In this article

Generated with