turbolift.interpreter
Members list
Type members
Classlikes
Delimited continuation obtained from Control.capture.
Delimited continuation obtained from Control.capture.
Type parameters
- A
-
input
- B
-
output
- S
-
local state
- U
-
effect set
Attributes
- Supertypes
Access to delimited continuation.
Access to delimited continuation.
This is a Primitive Effect, provided for implementing custom effects:
-
It's accessible only from within custom implementations of Interpreters. Custom effects can invoke Control's operations to implement their own operations.
-
It does not require a handler. Invoking Control's operations does not manifest as a dependency.
See also another primitive effect: Local.
Type parameters
- F
-
input, same as
From[+_]of the corresponding interpreter. - G
-
output, same as
To[+_]of the corresponding interpreter. - L
-
effect set, same as
Elimof the corresponding interpreter. - M
-
effect set, same as
Ambientof the corresponding interpreter. - N
-
effect set, same as
Introof the corresponding interpreter. - Q
-
effect set, same as
Unknownof the corresponding interpreter. - S
-
local state, same as
Localof the corresponding interpreter.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Super trait for any user-defined Interpreter.
Super trait for any user-defined Interpreter.
- Interpreters are not meant to be created directly. Instead, one of abstract interpreters, provided by Effect, should be inherited:
- Interpreters are not meant to be used directly. Instead, a Handler should be created from the interpreter, by calling
toHandlermethod on it.
Attributes
- Companion
- object
- Supertypes
- Known subtypes
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Interpreter.type
Local state of effect.
Local state of effect.
This is a Primitive Effect, provided for implementing custom effects:
-
It's accessible only from within custom implementations of Interpreters. Custom effects can invoke Local's operations to implement their own operations.
-
It does not require a handler. Invoking Local's operations does not manifest as a dependency.
See also another primitive effect: Control.
Type parameters
- S
-
local state
- V
-
effect set
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Mixin traits for Interpreter.
Mixin traits for Interpreter.
User-defined interpreters choose to inherit from one of those mixins, depending on their intended approach to parallellism.
No need to import these definitions, because turbolift.Effect trait exports them for convenience.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Mixins.type
Degenerate state of stateless Interpreter.
Degenerate state of stateless Interpreter.
Like Unit, but takes 0 bytes of storage in fiber's state. Do not use explicitly.