turbolift-core/turbolift.internals.interpreter/Control

Control

trait Control[T[_[_], _]]
Companion:
object
class Object
trait Matchable
class Any

Type members

Types

type LowerMonad[_]
type UpperFunctor[+_]
type UpperMonad[_]

Value members

Abstract methods

def inner[A](a: A): UpperFunctor[A]
def locally[A](body: UpperMonad[A]): T[LowerMonad, UpperFunctor[A]]

Concrete methods

final def inner(): UpperFunctor[Unit]
final def outer[A](a: A): LowerMonad[A]