turbolift-core
API
Generated with
turbolift-core/turbolift/turbolift.internals/turbolift.internals.effect/EffectImpl/ThisInterpreter

ThisInterpreter

turbolift.internals.effect.EffectImpl.ThisInterpreter
sealed trait ThisInterpreter

Attributes

Graph
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

Members list

Type members

Types

final override type ThisEffect = Fx

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

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

type !@![A, U]

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

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
type Ambient

Phantom type meaning set of effects remaining after handling this effect.

Phantom type meaning set of effects remaining after handling this effect.

Attributes

Inherited from:
Interpreter
final type BinarySem[A, U] = (ThisControl[A, U], Stan) => Computation[To[Unknown], Ambient]

Attributes

Inherited from:
Interpreter
type Dependency

Set of effects that this interpreter depends on.

Set of effects that this interpreter depends on.

Attributes

Inherited from:
Interpreter
type From[+A]

Input of this interpreter.

Input of this interpreter.

Attributes

Inherited from:
Interpreter
final type NullarySem[A, U] = Computation[A, U & Dependency]

Attributes

Inherited from:
Interpreter
type Stan

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

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

Attributes

Inherited from:
Interpreter
final type ThisControl[-A, U] = Control[A, Unknown, Stan, To, U & Dependency, Ambient]

Alias for Control, specialized for this interperter.

Alias for Control, specialized for this interperter.

Attributes

Inherited from:
Interpreter
final type ThisHandler = Handler[From, To, ThisEffect, Dependency]

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Attributes

Inherited from:
Interpreter
type To[+A]

Output of this interpreter.

Output of this interpreter.

Attributes

Inherited from:
Interpreter
final type UnarySem[A, U] = ThisControl[A, U] => Computation[To[Unknown], Ambient]

Attributes

Inherited from:
Interpreter
type Unknown

Phantom type meaning the unknown part of the continuation's answer type.

Phantom type meaning the unknown part of the continuation's answer type.

Full answer type is To[Unknown] !! Ambient. The To[+_] part is known to this interpreter. The Unknown and Ambient parts however, are not. They specific to place(s) where the handler (obtained from this interpreter) would be applied.

Attributes

Inherited from:
Interpreter

Value members

Inherited methods

def multishotHint: Boolean

Attributes

Inherited from:
Interpreter
def onFork(s: Stan): (Stan, Stan)

Attributes

Inherited from:
Interpreter
def onInitial: Computation[Stan, Dependency]

Attributes

Inherited from:
Interpreter
def onJoin(s1: Stan, s2: Stan): Stan

Attributes

Inherited from:
Interpreter
def onReintro(aa: To[Unknown]): Computation[Unknown, ThisEffect]

Attributes

Inherited from:
Interpreter
def onReturn(aa: From[Unknown], s: Stan): Computation[To[Unknown], Ambient]

Attributes

Inherited from:
Interpreter
def onZip[A, B, C](aa: To[A], bb: To[B], k: (A, B) => C): To[C]

Attributes

Inherited from:
Interpreter
def resurceUnsafeHint: Boolean

Attributes

Inherited from:
Interpreter
def tailResumptiveHint: Boolean

Attributes

Inherited from:
Interpreter
final def toHandler: ThisHandler

Creates a Handler from this interpreter.

Creates a Handler from this interpreter.

Attributes

Inherited from:
Interpreter
def topmostOnlyHint: Boolean

Attributes

Inherited from:
Interpreter

Inherited fields

final val features: Features

Attributes

Inherited from:
Interpreter
Generated with