turbolift.interpreter

Members list

Type members

Classlikes

abstract class Control[-A, B, S, F[_], U, V] extends A => Computation[F[B], V]

Access to delimited continuation.

Access to delimited continuation.

Used from custom implementations of effect Interpreter.

Type parameters

A

input of this continuation

B

part of the result of this continuation

F

part of the result of this continuation

S

state of the current effect

U

effect set for higher order operations

V

part of the result of this continuation

Attributes

Companion
object
Supertypes
trait A => Computation[F[B], V]
class Object
trait Matchable
class Any
object Control

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Control.type
sealed trait Interpreter extends Signature

Super trait for any user-defined Interpreter.

Super trait for any user-defined Interpreter.

  1. Interpreters are not meant to be created directly. Instead, one of abstract interpreters, provided by Effect, should be inherited:
  1. Interpreters are not meant to be used directly. Instead, a Handler should be created from the interpreter, by calling toHandler method on it.

Attributes

Companion
object
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
class Proxy[Fx]
class Proxy[Fx]
class Stateful[F, G, Fx]
class Stateful[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
class Stateless[F, G, Fx]
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
object Interpreter

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
object Mixins

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 Object
trait Matchable
class Any
Self type
Mixins.type
sealed abstract class Void

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.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Void.type
case object Void extends Void

Singleton instance of Void.

Singleton instance of Void.

Attributes

Companion
class
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Void
class Object
trait Matchable
class Any
Show all
Self type
Void.type