Safe Haskell | Safe-Infered |
---|
Data.Extensible.Product
Documentation
class Typeable x => ExtProdC p x | x -> p whereSource
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
constructExtProd :: p -> [ProdConstructor p] -> ExtProd pSource