Moduleresourcet-1.3.0

UnliftIO.Resource

Synopsis

value allocate
value register
value release
value unprotect
value allocateU
value liftResourceT
value runResourceT
class MonadResource
data ReleaseKey
newtype ResourceT

Packageresourcet-1.3.0
Exports10
LicenceBSD-3-Clause

valueallocate :: MonadResource m => IO a -> (a -> IO ()) -> m (ReleaseKey, a)

valueregister :: MonadResource m => IO () -> m ReleaseKey

valuerelease :: MonadIO m => ReleaseKey -> m ()

valueunprotect :: MonadIO m => ReleaseKey -> m (Maybe (IO ()))

valueallocateU

:: (MonadUnliftIO m, MonadResource m)
=> m a
-> a -> m ()
-> m (ReleaseKey, a)

valueliftResourceT :: MonadIO m => ResourceT IO a -> ResourceT m a

valuerunResourceT :: MonadUnliftIO m => ResourceT m a -> m a

classclass MonadIO m => MonadResource (m :: Type -> Type) where

Instances12MonadResource, …

MonadIO m => MonadResource (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (MaybeT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (ExceptT e m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (IdentityT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (ReaderT r m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (StateT s m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (StateT s m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
(Monoid w, MonadResource m) => MonadResource (WriterT w m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
(Monoid w, MonadResource m) => MonadResource (WriterT w m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadResource m => MonadResource (ContT r m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
(Monoid w, MonadResource m) => MonadResource (RWST r w s m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
(Monoid w, MonadResource m) => MonadResource (RWST r w s m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal

datadata ReleaseKey

newtypenewtype ResourceT (m :: Type -> Type) a

Instances22MonadTrans, MonadRWS, MonadError, MonadReader, MonadState, MonadWriter, …

MonadTrans ResourceTDefined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadRWS r w s m => MonadRWS r w s (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadError e m => MonadError e (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadReader r m => MonadReader r (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadState s m => MonadState s (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadWriter w m => MonadWriter w (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
Monad m => Monad (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
Functor m => Functor (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadFix m => MonadFix (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadFail m => MonadFail (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
Applicative m => Applicative (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
Alternative m => Alternative (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadPlus m => MonadPlus (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadIO m => MonadIO (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadCont m => MonadCont (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadCatch m => MonadCatch (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadMask m => MonadMask (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadThrow m => MonadThrow (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
PrimMonad m => PrimMonad (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadUnliftIO m => MonadUnliftIO (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadIO m => MonadResource (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
type PrimState (ResourceT m) = PrimState mDefined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal