Moduleresourcet-1.3.0

Data.Acquire.Internal

3 types
3 values

Packageresourcet-1.3.0
Exports7
LicenceBSD-3-Clause

valuemkAcquire :: IO a -> (a -> IO ()) -> Acquire a

valuemkAcquireType :: IO a -> (a -> ReleaseType -> IO ()) -> Acquire a

valuewith :: MonadUnliftIO m => Acquire a -> (a -> m b) -> m b

newtypenewtype Acquire a

Constructors

Acquire ((forall b. IO b -> IO b) -> IO (Allocated a))

Instances4Monad, Functor, Applicative, MonadIO

Monad AcquireDefined in resourcet-1.3.0 · Data.Acquire.Internal
Functor AcquireDefined in resourcet-1.3.0 · Data.Acquire.Internal
Applicative AcquireDefined in resourcet-1.3.0 · Data.Acquire.Internal
MonadIO AcquireDefined in resourcet-1.3.0 · Data.Acquire.Internal

datadata Allocated a

Constructors

Allocated !a !(ReleaseType -> IO ())

datadata ReleaseType

Constructors

ReleaseEarly
ReleaseNormal
ReleaseExceptionWith SomeException

Instances1Show

Show ReleaseTypeDefined in resourcet-1.3.0 · Data.Acquire.Internal

patternpattern ReleaseException :: ReleaseType

Deprecated. Use ReleaseExceptionWith, which has the exception in the constructor. This pattern synonym hides the exception and can obscure problems.