Continuation

turbolift.interpreter.Continuation
abstract class Continuation[A, B, S, U] extends A => Computation[B, U]

Delimited continuation obtained from Control.capture.

Type parameters

A

input

B

output

S

local state

U

effect set

Attributes

Graph
Supertypes
trait A => Computation[B, U]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

final def abort(b: B): Computation[B, U]

Resumes the continuation 0 times.

Resumes the continuation 0 times.

Attributes

final override def apply(a: A): Computation[B, U]

Resumes the continuation.

Resumes the continuation.

Attributes

Definition Classes
Function1
final def apply(using ev: Unit =:= A)(): Computation[B, U]

Resumes the continuation.

Resumes the continuation.

Attributes

final def apply(a: A, s: S): Computation[B, U]

Resumes the continuation, also updating the local state.

Resumes the continuation, also updating the local state.

Attributes

final def tupled(a_s: (A, S)): Computation[B, U]

Tupled version of binary apply.

Tupled version of binary apply.

Attributes

Inherited methods

def andThen[A](g: Computation[B, U] => A): A => A

Attributes

Inherited from:
Function1
def compose[A](g: A => A): A => Computation[B, U]

Attributes

Inherited from:
Function1
override def toString(): String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Function1 -> Any
Inherited from:
Function1