Generics.MultiRec.ConNames

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

Documentation

class ConNames f where

Methods

hconNames :: f r ix -> [String]

Instances

ConNames U

ConNames (K x)

ConNames (I a)

Constructor c => ConNames (C c f)

ConNames (:.: f g)

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

ConNames (:*: f g)

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

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