Generics.Regular.Functions.ConNames

Summary: Return the name of all the constructors of a type.

Functionality for retrieving the names of all the possible contructors

class ConNames f where

Methods

hconNames :: f a -> [String]

Instances

ConNames U

ConNames I

ConNames (K a)

ConNames (S s f)

(ConNames f, Constructor c) => ConNames (C c f)

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

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

conNames :: (Regular a, ConNames (PF a)) => a -> [String]

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