data-construction-1.0: Data construction abstractions including Constructor, Destructor, Maker, Destroyer, Producer and Consumer.

Safe HaskellNone
LanguageHaskell2010

Data.Construction

Documentation

type family Destructed a Source

class Constructor m a where Source

Methods

construct :: Destructed a -> m a Source

class Destructor m a where Source

Methods

destruct :: a -> m (Destructed a) Source

class Producer m a where Source

Methods

produce :: m a Source

class Consumer m a where Source

Methods

consume :: a -> m () Source

class Maker m a where Source

Methods

make :: m a Source

class Destroyer m a where Source

Methods

destroy :: a -> m () Source