turbolift.internals.interpreter

Type members

Classlikes

trait Control[T[_[_], _]]

Interface to manipulate Turbolift's internal monad transformer stack.

Interface to manipulate Turbolift's internal monad transformer stack.

Used by implementations of Flow Interpreters.

Companion:
object
object Control
Companion:
class
sealed trait Interpreter extends Signature

Super trait for any user-defined Interpreter.

Super trait for any user-defined Interpreter.

There are 2 kinds of interpreters:

  • Proxy interpreters - The easy way: handle this effect in terms of other, preexisting effects (a.k.a. reinterpretation).
  • Flow interpreters - The hard way: implement a monad transformer for this effect. Take full Control.

Interpreters aren't directly usable. A Handler must be created from the interpreter, by calling toHandler method.

Companion:
object
Companion:
class