Generics.MultiRec.ConNames

Description

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

Documentation

class ConNames f where Source #

Minimal complete definition

Methods

Instances

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

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