turbolift-core/turbolift.internals.interpreter/Control

Control

object Control
Companion:
class
class Object
trait Matchable
class Any
Control.type

Type members

Types

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

Givens

Givens

given given_Functor_UpperFunctor[T[_[_], _]](using C: Control[T]): Functor[UpperFunctor]
given given_MonadZip_LowerMonad[T[_[_], _]](using C: Control[T]): MonadZip[LowerMonad]