Module

Control.Monad.Trans.Unlift

Package
purescript-monad-unlift
Repository
athanclark/purescript-monad-unlift

#MonadTransUnlift Source

class (MonadTransControl m t stT, SingletonFunctor stT, Functor m, Functor (t m)) <= MonadTransUnlift m t stT | t -> stT

Instances

#mkUnlift Source

mkUnlift :: forall t m a stT. SingletonFunctor stT => Functor m => (forall b. t m b -> m (stT b)) -> t m a -> m a

#Unlift Source

newtype Unlift t m

Constructors

  • Unlift (forall a. t m a -> m a)

#unlift Source

unlift :: forall t m. Unlift t m -> (forall a. t m a -> m a)

#askUnlift Source

askUnlift :: forall t m stT. MonadTransUnlift m t stT => Functor m => t m (Unlift t m)

#askRun Source

askRun :: forall t m a stT. MonadTransUnlift m t stT => Functor m => t m (t m a -> m a)

#MonadBaseUnlift Source

class (MonadBaseControl base m stM, SingletonFunctor stM, Functor base, Functor m) <= MonadBaseUnlift base m stM | m -> stM base

Instances

#mkUnliftBase Source

mkUnliftBase :: forall base m stM a. SingletonFunctor stM => Functor base => (forall b. m b -> base (stM b)) -> m a -> base a

#UnliftBase Source

newtype UnliftBase base m

Constructors

#unliftBase Source

unliftBase :: forall base m. UnliftBase base m -> (forall a. m a -> base a)

#askUnliftBase Source

askUnliftBase :: forall base m stM. MonadBaseUnlift base m stM => Applicative base => m (UnliftBase base m)

#askRunBase Source

askRunBase :: forall base m stM a. MonadBaseUnlift base m stM => Applicative base => m (m a -> base a)