Generics.MultiRec.ConNames

Description

Generic function that returns the constructor names available in a family of datatypes.

Documentation

class ConNames (f :: (* -> *) -> * -> *) where Source #

Methods

Instances

ConNames U Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: U r ix -> [String] Source #
ConNames (K x) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: K x r ix -> [String] Source #
ConNames (I a) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: I a r ix -> [String] Source #
Constructor c => ConNames (C c f) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: C c f r ix -> [String] Source #
ConNames (f :.: g) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: (f :.: g) r ix -> [String] Source #
ConNames f => ConNames (f :>: ix) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: (f :>: ix) r ix0 -> [String] Source #
ConNames (f :*: g) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: (f :*: g) r ix -> [String] Source #
(ConNames f, ConNames g) => ConNames (f :+: g) Source #
Instance details Defined in Generics.MultiRec.ConNames Methods hconNames :: (f :+: g) r ix -> [String] Source #

conNames :: forall phi ix. ConNames (PF phi) => phi ix -> [String] Source #