Modulegeneric-deriving-1.14.7Haskell2010

Generics.Deriving.ConNames

Functionality for retrieving the names of the possible contructors

3 declarations

classclass ConNames (f :: k -> Type) where

Instances3ConNames

ConNames f => ConNames (D1 c f)Defined in generic-deriving-1.14.7 · Generics.Deriving.ConNames
Constructor c => ConNames (C1 c f)Defined in generic-deriving-1.14.7 · Generics.Deriving.ConNames
(ConNames f, ConNames g) => ConNames (f :+: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.ConNames

valueconNames :: (Generic a, ConNames (Rep a)) => a -> [String]

Return the name of all the constructors of the type of the given term.

valueconNameOf :: (ConNames (Rep a), Generic a) => a -> String

Return the name of the constructor of the given term