Generics.Deriving.ConNames

Functionality for retrieving the names of the possible contructors

class ConNames f where

Methods

gconNames :: f a -> [String]

gconNameOf :: f a -> String

Instances

Constructor c => ConNames (C1 c f :: k -> Type)

Defined in Generics.Deriving.ConNames

Methods

gconNames :: forall (a :: k0). C1 c f a -> [String]

gconNameOf :: forall (a :: k0). C1 c f a -> String

ConNames f => ConNames (D1 c f :: k -> Type)

Defined in Generics.Deriving.ConNames

Methods

gconNames :: forall (a :: k0). D1 c f a -> [String]

gconNameOf :: forall (a :: k0). D1 c f a -> String

(ConNames f, ConNames g) => ConNames (f :+: g :: k -> Type)

Defined in Generics.Deriving.ConNames

Methods

gconNames :: forall (a :: k0). (f :+: g) a -> [String]

gconNameOf :: forall (a :: k0). (f :+: g) 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