turbolift-core/turbolift.internals.interpreter

turbolift.internals.interpreter

package turbolift.internals.interpreter

Type members

Classlikes

trait Control[T[_[_], _]]
Companion:
object
object Control
Companion:
class
sealed trait Interpreter extends Signature
Companion:
object
object Interpreter
Companion:
class
object InterpreterCases
object InverseControl

Types

type Control_!![T[_[_], _], U] = Control[T] { type UpperMonad = Computation; }