Generics.Deriving.ConNames

Contents

Description

Synopsis

class ConNames (f :: k -> Type) where
- gconNames :: forall (a :: k). f a -> [String]
- gconNameOf :: forall (a :: k). f a -> String
conNames :: (Generic a, ConNames (Rep a)) => a -> [String]
conNameOf :: (ConNames (Rep a), Generic a) => a -> String

Functionality for retrieving the names of the possible contructors

class ConNames (f :: k -> Type) where Source #

Methods

gconNames :: forall (a :: k). f a -> [String] Source #

gconNameOf :: forall (a :: k). f a -> String Source #

Instances details

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

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

Return the name of the constructor of the given term