Moduleresourcet-1.3.0

Control.Monad.Trans.Resource.Internal

Synopsis

value register'
value registerType
value stateAlloc
value stateCleanup
value stateCleanupChecked
value transResourceT
data InvalidAccess
class MonadResource
data ReleaseKey
data ReleaseMap
type ResIO
data ResourceCleanupException
newtype ResourceT

Packageresourcet-1.3.0
Exports13
LicenceBSD-3-Clause

valueregister' :: IORef ReleaseMap -> IO () -> IO ReleaseKey

valueregisterType :: IORef ReleaseMap -> (ReleaseType -> IO ()) -> IO ReleaseKey

valuestateAlloc :: IORef ReleaseMap -> IO ()

valuestateCleanup :: ReleaseType -> IORef ReleaseMap -> IO ()

valuestateCleanupChecked :: Maybe SomeException -> IORef ReleaseMap -> IO ()

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

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

Constructors

ReleaseKey !(IORef ReleaseMap) !Int

datadata ReleaseMap

Constructors

ReleaseMap !NextKey !RefCount !(IntMap (ReleaseType -> IO ()))
ReleaseMapClosed

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

Constructors

ResourceT
- unResourceT :: IORef ReleaseMap -> m 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