Generics.Deriving.ConNames

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

Functionality for retrieving the names of the possible contructors

class ConNames f where

Minimal complete definition

gconNames, gconNameOf

Methods

gconNames :: f a -> [String]

gconNameOf :: f a -> String

Instances

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

Methods

gconNames :: f a -> [String]

gconNameOf :: f a -> String

ConNames * f => ConNames * (D1 c f)

Methods

gconNames :: f a -> [String]

gconNameOf :: f a -> String

Constructor Meta c => ConNames * (C1 c f)

Methods

gconNames :: f a -> [String]

gconNameOf :: f a -> String

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

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

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

Return the name of the constructor of the given term