Generics.MultiRec.ConNames

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

Documentation

class ConNames f where

Minimal complete definition

hconNames

Methods

hconNames :: f r ix -> [String]

Instances

ConNames U

Methods

hconNames :: U r ix -> [String]

ConNames (K x)

Methods

hconNames :: K x r ix -> [String]

ConNames (I a)

Methods

hconNames :: I a r ix -> [String]

Constructor c => ConNames (C c f)

Methods

hconNames :: C c f r ix -> [String]

ConNames ((:.:) f g)

Methods

hconNames :: (f :.: g) r ix -> [String]

ConNames f => ConNames ((:>:) f ix)

Methods

hconNames :: (f :>: ix) r ix -> [String]

ConNames ((:*:) f g)

Methods

hconNames :: (f :*: g) r ix -> [String]

(ConNames f, ConNames g) => ConNames ((:+:) f g)

Methods

hconNames :: (f :+: g) r ix -> [String]

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