Safe Haskell	Safe
Language	Haskell2010

UnliftIO.Resource

Description

Unlifted Control.Monad.Trans.Resource.

Since: 0.1.0.0

Synopsis

Documentation

data ResourceT m a :: (* -> *) -> * -> * #

Instances

MonadTrans ResourceT
Methods lift :: Monad m => m a -> ResourceT m a #
MonadTransControl ResourceT
Associated Types type StT (ResourceT :: (* -> ) -> -> ) a :: Methods liftWith :: Monad m => (Run ResourceT -> m a) -> ResourceT m a restoreT :: Monad m => m (StT ResourceT a) -> ResourceT m a
MMonad ResourceT
Methods embed :: Monad n => (forall a. m a -> ResourceT n a) -> ResourceT m b -> ResourceT n b
MFunctor ResourceT
Methods hoist :: Monad m => (forall a. m a -> n a) -> ResourceT m b -> ResourceT n b
MonadRWS r w s m => MonadRWS r w s (ResourceT m)

MonadState s m => MonadState s (ResourceT m)
Methods get :: ResourceT m s put :: s -> ResourceT m () state :: (s -> (a, s)) -> ResourceT m a
MonadWriter w m => MonadWriter w (ResourceT m)
Methods writer :: (a, w) -> ResourceT m a tell :: w -> ResourceT m () listen :: ResourceT m a -> ResourceT m (a, w) pass :: ResourceT m (a, w -> w) -> ResourceT m a
MonadReader r m => MonadReader r (ResourceT m)
Methods ask :: ResourceT m r local :: (r -> r) -> ResourceT m a -> ResourceT m a reader :: (r -> a) -> ResourceT m a
MonadError e m => MonadError e (ResourceT m)
Methods throwError :: e -> ResourceT m a catchError :: ResourceT m a -> (e -> ResourceT m a) -> ResourceT m a
MonadBase b m => MonadBase b (ResourceT m)
Methods liftBase :: b α -> ResourceT m α
MonadBaseControl b m => MonadBaseControl b (ResourceT m)
Associated Types type StM (ResourceT m :: * -> ) a :: Methods liftBaseWith :: (RunInBase (ResourceT m) b -> b a) -> ResourceT m a restoreM :: StM (ResourceT m) a -> ResourceT m a
Monad m => Monad (ResourceT m)
Methods (>>=) :: ResourceT m a -> (a -> ResourceT m b) -> ResourceT m b # (>>) :: ResourceT m a -> ResourceT m b -> ResourceT m b # return :: a -> ResourceT m a # fail :: String -> ResourceT m a #
Functor m => Functor (ResourceT m)
Methods fmap :: (a -> b) -> ResourceT m a -> ResourceT m b # (<$) :: a -> ResourceT m b -> ResourceT m a #
MonadFix m => MonadFix (ResourceT m)
Methods mfix :: (a -> ResourceT m a) -> ResourceT m a #
Applicative m => Applicative (ResourceT m)
Methods pure :: a -> ResourceT m a # (<>) :: ResourceT m (a -> b) -> ResourceT m a -> ResourceT m b # (>) :: ResourceT m a -> ResourceT m b -> ResourceT m b # (<*) :: ResourceT m a -> ResourceT m b -> ResourceT m a #
MonadIO m => MonadIO (ResourceT m)
Methods liftIO :: IO a -> ResourceT m a #
Alternative m => Alternative (ResourceT m)
Methods empty :: ResourceT m a # (<\|>) :: ResourceT m a -> ResourceT m a -> ResourceT m a # some :: ResourceT m a -> ResourceT m [a] # many :: ResourceT m a -> ResourceT m [a] #
MonadPlus m => MonadPlus (ResourceT m)
Methods mzero :: ResourceT m a # mplus :: ResourceT m a -> ResourceT m a -> ResourceT m a #
(MonadThrow m, MonadBase IO m, MonadIO m, Applicative m) => MonadResource (ResourceT m)
Methods liftResourceT :: ResourceT IO a -> ResourceT m a
MonadMask m => MonadMask (ResourceT m)
Methods mask :: ((forall a. ResourceT m a -> ResourceT m a) -> ResourceT m b) -> ResourceT m b uninterruptibleMask :: ((forall a. ResourceT m a -> ResourceT m a) -> ResourceT m b) -> ResourceT m b
MonadCont m => MonadCont (ResourceT m)
Methods callCC :: ((a -> ResourceT m b) -> ResourceT m a) -> ResourceT m a
MonadThrow m => MonadThrow (ResourceT m)
Methods throwM :: Exception e => e -> ResourceT m a
MonadCatch m => MonadCatch (ResourceT m)
Methods catch :: Exception e => ResourceT m a -> (e -> ResourceT m a) -> ResourceT m a
MonadLoggerIO m => MonadLoggerIO (ResourceT m)
Methods askLoggerIO :: ResourceT m (Loc -> LogSource -> LogLevel -> LogStr -> IO ())
MonadLogger m => MonadLogger (ResourceT m)
Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> ResourceT m ()
type StT ResourceT a
type StT ResourceT a = a
type StM (ResourceT m) a
type StM (ResourceT m) a = StM m a

runResourceT :: MonadUnliftIO m => ResourceT m a -> m a Source #

Unlifted version of runResourceT.

Since: 0.1.0.0

liftResourceT :: MonadIO m => ResourceT IO a -> ResourceT m a Source #

Lifted version of liftResourceT.

Since: 0.1.0.0