monadology-0.4: The best ideas in monad-related classes and types.
Safe HaskellNone
LanguageGHC2021

Control.Monad.Ology.General.Trans.AskUnlift

Synopsis

Documentation

class MonadTransUnlift t => MonadTransAskUnlift (t :: TransKind) where Source #

A transformer that has no effects (such as state change or output).

Minimal complete definition

Nothing

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => t m (WUnlift Monad t) Source #

default askUnlift :: forall (m :: Type -> Type). Monad m => t m (WUnlift Monad t) Source #

Instances

Instances details
MonadOuter outer => MonadTransAskUnlift (ComposeOuter outer) Source # 
Instance details

Defined in Control.Monad.Ology.General.Trans.AskUnlift

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => ComposeOuter outer m (WUnlift Monad (ComposeOuter outer)) Source #

MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => IdentityT m (WUnlift Monad (IdentityT :: (Type -> Type) -> Type -> Type)) Source #

MonadTransAskUnlift (ReaderT r) Source # 
Instance details

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => ReaderT r m (WUnlift Monad (ReaderT r)) Source #

(MonadTransAskUnlift outerT, MonadTransAskUnlift innerT) => MonadTransAskUnlift (ComposeT outerT innerT) Source # 
Instance details

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

askUnlift :: forall (m :: Type -> Type). Monad m => ComposeT outerT innerT m (WUnlift Monad (ComposeT outerT innerT)) Source #

class MonadUnliftIO m => MonadAskUnliftIO (m :: Type -> Type) where Source #

A monad that has no effects over IO (such as state change or output).

Minimal complete definition

Nothing

Methods

askUnliftIO :: m (WRaised m IO) Source #

Instances

Instances details
MonadAskUnliftIO IO Source # 
Instance details

Defined in Control.Monad.Ology.General.Trans.AskUnlift

Methods

askUnliftIO :: IO (WRaised IO IO) Source #

(MonadTransAskUnlift t, MonadAskUnliftIO m, MonadFail (t m), MonadIO (t m), MonadFix (t m)) => MonadAskUnliftIO (t m) Source # 
Instance details

Defined in Control.Monad.Ology.General.Trans.AskUnlift

Methods

askUnliftIO :: t m (WRaised (t m) IO) Source #

contractT :: forall (t :: TransKind) (m :: Type -> Type). (MonadTransAskUnlift t, Monad m) => t (t m) --> t m Source #

contractTBack :: forall (t :: TransKind) (m :: Type -> Type). (MonadTransAskUnlift t, Monad m) => t (t m) -/-> t m Source #