Disposable

Documentation

data Disposable where

Allows disposal of a resource by running an action in the monad m.

Constructors

EmptyDisposable :: Disposable

Instances

Eq Disposable

newDisposable :: IO () -> IO Disposable

Creates a disposable which runs the given action upon disposal.

dispose :: Disposable -> IO ()

Disposes a disposable.

data DisposableSet

A synchronized set of disposables.

newDisposableSet :: IO DisposableSet

Creates a set of disposables.

addDisposable :: DisposableSet -> Disposable -> IO ()

Adds a disposable to a set.

removeDisposable :: DisposableSet -> Disposable -> IO ()

Removes a disposable from a set.

toDisposable :: DisposableSet -> IO Disposable

Converts a set of disposables into a disposable. The constructed disposable will dispose of all disposables in the set.