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

Proxy

turbolift.internals.effect.EffectImpl.Proxy
abstract class Proxy[Fx] extends Proxy[Fx], ThisInterpreter

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

Like Proxy Interpreter, but specialized for this effect.

Attributes

Graph
Supertypes
class Proxy[Fx]
trait Trivial
trait Interpreter
trait Signature
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

final override type Elim = Fx

Set of effects eliminated from computation by this interpreter.

Set of effects eliminated from computation by this interpreter.

Attributes

Inherited from:
ThisInterpreter
final override type From[+A] = A

Input of this interpreter.

Input of this interpreter.

Attributes

Inherited from:
Proxy
final override type Intro = Fx

Set of effects introduced into computation by this interpreter (a.k.a. dependencies).

Set of effects introduced into computation by this interpreter (a.k.a. dependencies).

Attributes

Inherited from:
Proxy
final override type Local = Void

Local state of this interpreter.

Local state of this interpreter.

Attributes

Inherited from:
Proxy
final override type ThisEffect = Elim & Intro

Self-reference to the effect being described by this Signature.

Self-reference to the effect being described by this Signature.

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

Attributes

Inherited from:
Interpreter
final type ThisHandler = Handler[From, To, Elim, Intro]

Alias for Handler, specialized for this interperter.

Alias for Handler, specialized for this interperter.

Attributes

Inherited from:
Interpreter
final override type To[+A] = A

Output of this interpreter.

Output of this interpreter.

Attributes

Inherited from:
Proxy
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] !! Intro. The To[+_] part is known to this interpreter. The Unknown part however, is not. It's specific to place(s) where the handler (obtained from this interpreter) would be applied.

Attributes

Inherited from:
Interpreter

Value members

Inherited methods

final override def onFork(s: Local): (Local, Local)

Attributes

Definition Classes
HasNotForkJoin -> Interpreter
Inherited from:
HasNotForkJoin (hidden)
final override def onInitial: Computation[Local, Intro]

Attributes

Definition Classes
Inherited from:
Proxy
final override def onJoin(s1: Local, s2: Local): Local

Attributes

Definition Classes
HasNotForkJoin -> Interpreter
Inherited from:
HasNotForkJoin (hidden)
final override def onRestart(aa: To[Unknown]): Computation[Unknown, ThisEffect]

Attributes

Definition Classes
HasNotRestart -> Interpreter
Inherited from:
HasNotRestart (hidden)
final override def onReturn(a: Unknown, s: Void): Computation[Unknown, Any]

Attributes

Definition Classes
Inherited from:
Proxy
final override def onZip[A, B, C](aa: To[A], bb: To[B], k: (A, B) => C): To[C]

Attributes

Definition Classes
HasNotZip -> Interpreter
Inherited from:
HasNotZip (hidden)
def resurceUnsafeHint: 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

Inherited fields

val Control: Control[Local, Unknown, To, Elim & Intro]

An instance of Control dedicated for this interpreter.

An instance of Control dedicated for this interpreter.

Attributes

Inherited from:
Interpreter
val Local: Local[Local, Elim]

An instance of Local dedicated for this interpreter.

An instance of Local dedicated for this interpreter.

Attributes

Inherited from:
Interpreter
Generated with