Control.Monad.Ology.General.Trans.AskUnlift

Documentation

class MonadTransUnlift t => MonadTransAskUnlift t where

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

Minimal complete definition

Nothing

Methods

askUnlift :: forall m. Monad m => t m (WUnlift Monad t)

default askUnlift :: forall m. (MonadIdentity (Tunnel t), Monad m) => t m (WUnlift Monad t)

Instances

MonadOuter outer => MonadTransAskUnlift (ComposeOuter outer)

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

Methods

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

MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

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

MonadTransAskUnlift (ReaderT r)

Defined in Control.Monad.Ology.Specific.ReaderT

Methods

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

(MonadTransAskUnlift outerT, MonadTransAskUnlift innerT) => MonadTransAskUnlift (ComposeT outerT innerT)

Defined in Control.Monad.Ology.Specific.ComposeT

Methods

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

class MonadUnliftIO m => MonadAskUnliftIO m where

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

Minimal complete definition

Nothing

Methods

askUnliftIO :: m (WRaised m IO)

Instances

MonadAskUnliftIO IO

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

Methods

askUnliftIO :: IO (WRaised IO IO)

MonadTransAskUnlift t => TransConstraint MonadAskUnliftIO t

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

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadAskUnliftIO m => Dict (MonadAskUnliftIO (t m))

(MonadTransAskUnlift t, MonadAskUnliftIO m, MonadFail (t m), MonadIO (t m), MonadFix (t m)) => MonadAskUnliftIO (t m)

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

Methods

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

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

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