Generics.Deriving.ConNames

Contents

Description

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

Synopsis

Functionality for retrieving the names of the possible contructors

class ConNames f where #

Methods

Instances

Constructor c => ConNames (C1 c f :: k -> Type) #
Instance details Defined in Generics.Deriving.ConNames Methods gconNames :: C1 c f a -> [String] # gconNameOf :: C1 c f a -> String #
ConNames f => ConNames (D1 c f :: k -> Type) #
Instance details Defined in Generics.Deriving.ConNames Methods gconNames :: D1 c f a -> [String] # gconNameOf :: D1 c f a -> String #
(ConNames f, ConNames g) => ConNames (f :+: g :: k -> Type) #
Instance details Defined in Generics.Deriving.ConNames Methods gconNames :: (f :+: g) a -> [String] # gconNameOf :: (f :+: g) a -> String #

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

Return the name of the constructor of the given term