Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
UnliftIO.Resource
Description
Unlifted Control.Monad.Trans.Resource.
Since: 0.1.0.0
- data ResourceT m a :: (* -> *) -> * -> *
- runResourceT :: MonadUnliftIO m => ResourceT m a -> m a
- liftResourceT :: MonadIO m => ResourceT IO a -> ResourceT m a
Documentation
data ResourceT m a :: (* -> *) -> * -> * #
Instances
MonadTrans ResourceT | |
MonadTransControl ResourceT | |
MMonad ResourceT | |
MFunctor ResourceT | |
MonadRWS r w s m => MonadRWS r w s (ResourceT m) | |
MonadState s m => MonadState s (ResourceT m) | |
MonadWriter w m => MonadWriter w (ResourceT m) | |
MonadReader r m => MonadReader r (ResourceT m) | |
MonadError e m => MonadError e (ResourceT m) | |
MonadBase b m => MonadBase b (ResourceT m) | |
MonadBaseControl b m => MonadBaseControl b (ResourceT m) | |
Monad m => Monad (ResourceT m) | |
Functor m => Functor (ResourceT m) | |
MonadFix m => MonadFix (ResourceT m) | |
Applicative m => Applicative (ResourceT m) | |
MonadIO m => MonadIO (ResourceT m) | |
Alternative m => Alternative (ResourceT m) | |
MonadPlus m => MonadPlus (ResourceT m) | |
(MonadThrow m, MonadBase IO m, MonadIO m, Applicative m) => MonadResource (ResourceT m) | |
MonadMask m => MonadMask (ResourceT m) | |
MonadCont m => MonadCont (ResourceT m) | |
MonadThrow m => MonadThrow (ResourceT m) | |
MonadCatch m => MonadCatch (ResourceT m) | |
MonadLoggerIO m => MonadLoggerIO (ResourceT m) | |
MonadLogger m => MonadLogger (ResourceT m) | |
type StT ResourceT a | |
type StM (ResourceT m) a | |
runResourceT :: MonadUnliftIO m => ResourceT m a -> m a Source #
Unlifted version of runResourceT
.
Since: 0.1.0.0