Moduleresourcet-1.3.0

Control.Monad.Trans.Resource

7 types
3 classes
17 values

Packageresourcet-1.3.0
Exports27
LicenceBSD-3-Clause
SourceCatch.hs

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

valueallocate_ :: MonadResource m => IO a -> IO () -> m ReleaseKey

valuecloseInternalState :: MonadIO m => InternalState -> m ()

valuecreateInternalState :: MonadIO m => m InternalState

valuegetInternalState :: Monad m => ResourceT m InternalState

valuejoinResourceT :: ResourceT (ResourceT m) a -> ResourceT m a

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

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

valueresourceForkIO :: MonadUnliftIO m => ResourceT m () -> ResourceT m ThreadId

valueresourceForkWith

:: MonadUnliftIO m
=> IO () -> IO a
-> ResourceT m ()
-> ResourceT m a

valueresourceMask

:: MonadResource m
=> (forall a. ResourceT IO a -> ResourceT IO a) -> ResourceT IO b
-> m b

valuerunInternalState :: ResourceT m a -> InternalState -> m a

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

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

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

valuewithInternalState :: (InternalState -> m a) -> ResourceT m a

valuetransResourceT :: (m a -> n b) -> ResourceT m a -> ResourceT n b

classclass Monad m => MonadThrow (m :: Type -> Type) where

A class for monads in which exceptions may be thrown.

Instances should obey the following law:

throwM e >> x = throwM e

In other words, throwing an exception short-circuits the rest of the monadic computation.

Methods

throwM :: (HasCallStack, Exception e) => e -> m a
Throw an exception. Note that this throws when this action is run in the monad m, not when it is applied. It is a generalization of Control.Exception's throwIO.
Should satisfy the law:
```
throwM e >> f = throwM e
```

Instances21MonadThrow, …

MonadThrow MaybeDefined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow STMDefined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow QDefined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow IODefined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow []Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow (ST s)Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow m => MonadThrow (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadThrow m => MonadThrow (MaybeT m)Defined in exceptions-0.10.12 · Control.Monad.Catch
Throws exceptions into the base monad.
Monad m => MonadThrow (CatchT m)Defined in exceptions-0.10.12 · Control.Monad.Catch.Pure
e ~ SomeException => MonadThrow (Either e)Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow m => MonadThrow (ExceptT e m)Defined in exceptions-0.10.12 · Control.Monad.Catch
Throws exceptions into the base monad.
MonadThrow m => MonadThrow (IdentityT m)Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow m => MonadThrow (ReaderT r m)Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow m => MonadThrow (StateT s m)Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow m => MonadThrow (StateT s m)Defined in exceptions-0.10.12 · Control.Monad.Catch
(MonadThrow m, Monoid w) => MonadThrow (WriterT w m)Defined in exceptions-0.10.12 · Control.Monad.Catch
(MonadThrow m, Monoid w) => MonadThrow (WriterT w m)Defined in exceptions-0.10.12 · Control.Monad.Catch
(Monoid w, MonadThrow m) => MonadThrow (AccumT w m)Defined in exceptions-0.10.12 · Control.Monad.Catch
MonadThrow m => MonadThrow (ContT r m)Defined in exceptions-0.10.12 · Control.Monad.Catch
(MonadThrow m, Monoid w) => MonadThrow (RWST r w s m)Defined in exceptions-0.10.12 · Control.Monad.Catch
(MonadThrow m, Monoid w) => MonadThrow (RWST r w s m)Defined in exceptions-0.10.12 · Control.Monad.Catch

typetype InternalState = IORef ReleaseMap

typetype MonadResourceBase = MonadUnliftIO

Deprecated. Use MonadUnliftIO directly instead

datadata InvalidAccess

Constructors

InvalidAccess
- functionName :: String

Instances2Show, Exception

Show InvalidAccessDefined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
Exception InvalidAccessDefined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal

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

Methods

liftResourceT :: ResourceT IO a -> m a

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

typetype ResIO = ResourceT IO

datadata ResourceCleanupException

Constructors

ResourceCleanupException
- rceOriginalException :: !Maybe SomeException
- rceFirstCleanupException :: !SomeException
- rceOtherCleanupExceptions :: ![SomeException]

Instances2Show, Exception

Show ResourceCleanupExceptionDefined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
Exception ResourceCleanupExceptionDefined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal

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

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

Instances4MonadUnliftIO

MonadUnliftIO IODefined in unliftio-core-0.2.1.0 · Control.Monad.IO.Unlift
MonadUnliftIO m => MonadUnliftIO (ResourceT m)Defined in resourcet-1.3.0 · Control.Monad.Trans.Resource.Internal
MonadUnliftIO m => MonadUnliftIO (IdentityT m)Defined in unliftio-core-0.2.1.0 · Control.Monad.IO.Unlift
MonadUnliftIO m => MonadUnliftIO (ReaderT r m)Defined in unliftio-core-0.2.1.0 · Control.Monad.IO.Unlift