extensible-data-0.1.0.4: Sums/products/lists/trees which can be extended in other modules

Safe HaskellSafe-Infered

Data.Extensible.Product

Documentation

data ExtProd p Source

Instances

class Typeable x => ExtProdC p x | x -> p whereSource

Associated Types

type ExtProdF x :: *Source

Methods

defaultExtProd :: x -> p -> ExtProdF xSource

data ProdConstructor p whereSource

Constructors

:*= :: ExtProdC p x => x -> ExtProdF x -> ProdConstructor p 

emptyExtProd :: p -> ExtProd pSource

getExtProd :: ExtProdC p x => ExtProd p -> x -> ExtProdF xSource

putExtProd :: ExtProdC p x => ExtProd p -> x -> ExtProdF x -> ExtProd pSource

lensExtProd :: ExtProdC p x => x -> Lens (ExtProd p) (ExtProdF x)Source

constructExtProd :: p -> [ProdConstructor p] -> ExtProd pSource