Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class MonadTransUnlift t => MonadTransAskUnlift t where
- class MonadUnliftIO m => MonadAskUnliftIO m where
- askUnliftIO :: m (WRaised 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
Documentation
class MonadTransUnlift t => MonadTransAskUnlift t where Source #
A transformer that has no effects (such as state change or output).
Nothing
Instances
MonadOuter outer => MonadTransAskUnlift (ComposeOuter outer) Source # | |
Defined in Control.Monad.Ology.General.Trans.AskUnlift askUnlift :: forall (m :: Type -> Type). Monad m => ComposeOuter outer m (WUnlift Monad (ComposeOuter outer)) Source # | |
MonadTransAskUnlift (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
MonadTransAskUnlift (ReaderT r) Source # | |
(MonadTransAskUnlift outerT, MonadTransAskUnlift innerT) => MonadTransAskUnlift (ComposeT outerT innerT) Source # | |
class MonadUnliftIO m => MonadAskUnliftIO m where Source #
A monad that has no effects over IO (such as state change or output).
Nothing
askUnliftIO :: m (WRaised m IO) Source #
Instances
MonadAskUnliftIO IO Source # | |
Defined in Control.Monad.Ology.General.Trans.AskUnlift | |
MonadTransAskUnlift t => TransConstraint MonadAskUnliftIO t Source # | |
Defined in Control.Monad.Ology.General.Trans.AskUnlift hasTransConstraint :: forall (m :: Type -> Type). MonadAskUnliftIO m => Dict (MonadAskUnliftIO (t m)) Source # | |
(MonadTransAskUnlift t, MonadAskUnliftIO m, MonadFail (t m), MonadIO (t m), MonadFix (t m)) => MonadAskUnliftIO (t m) Source # | |
Defined in Control.Monad.Ology.General.Trans.AskUnlift askUnliftIO :: t m (WRaised (t m) IO) Source # |
contractT :: forall (t :: TransKind) m. (MonadTransAskUnlift t, Monad m) => t (t m) --> t m Source #
contractTBack :: forall (t :: TransKind) m. (MonadTransAskUnlift t, Monad m) => t (t m) -/-> t m Source #