Safe Haskell | Safe-Inferred |
---|
- newtype FinalizerT m a = FinalizerT {
- unFinalizerT :: forall r. (a -> m r) -> (IO () -> r -> m r) -> m r
- finalizer :: Monad m => IO () -> FinalizerT m ()
- runFinalizerT :: MonadIO m => FinalizerT m a -> m a
Documentation
newtype FinalizerT m a Source
An action with explicit releasing action.
FinalizerT | |
|
Monad (FinalizerT m) | |
Functor (FinalizerT m) | |
Applicative (FinalizerT m) | |
MonadIO m => MonadIO (FinalizerT m) |
finalizer :: Monad m => IO () -> FinalizerT m ()Source
Add a finalizer.
runFinalizerT :: MonadIO m => FinalizerT m a -> m aSource
Run the action and run all associated finalizers.