Control.Disposable

Documentation

class Disposable a where

A Disposable is something with some resources to release

Minimal complete definition

dispose

Methods

dispose :: a -> IO ()

Instances

Disposable SomeDisposable

Methods

dispose :: SomeDisposable -> IO ()

data SomeDisposable where

Allows storing Disposables in a heterogenous container

Constructors

DisposeNone :: SomeDisposable

Dispose :: forall a. Disposable a => a -> SomeDisposable

DisposeList :: forall a. Disposable a => [a] -> SomeDisposable

Instances

Disposable SomeDisposable

Methods

dispose :: SomeDisposable -> IO ()

class Disposing a where

Allow generic deriving instances of things that can be made into SomeDisposable If a data type derives from Generic, and only contain instances of Disposable, then it can be made an instance of Disposing. data Callbacks { ... } deriving Generic instance Disposing Callbacks

Methods

disposing :: a -> SomeDisposable

disposing :: (Generic a, GDisposing (Rep a)) => a -> SomeDisposable

class GDisposing f where

Generics instance basically traverses the data tree and expects the values to be all instances of Disposable

Minimal complete definition

gDisposing

Methods

gDisposing :: f p -> DList SomeDisposable

Instances

GDisposing U1

Methods

gDisposing :: U1 p -> DList SomeDisposable

Disposing c => GDisposing (K1 i c)

Methods

gDisposing :: K1 i c p -> DList SomeDisposable

(GDisposing f, GDisposing g) => GDisposing ((:+:) f g)

Methods

gDisposing :: (f :+: g) p -> DList SomeDisposable

(GDisposing f, GDisposing g) => GDisposing ((:*:) f g)

Methods

gDisposing :: (f :*: g) p -> DList SomeDisposable

GDisposing f => GDisposing (M1 i t f)

Methods

gDisposing :: M1 i t f p -> DList SomeDisposable