| Copyright | (c) 2012 University of Oxford |
|---|---|
| License | BSD3 |
| Maintainer | generics@haskell.org |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Generics.Deriving.ConNames
Description
Functionality for retrieving the names of the possible contructors
class ConNames (f :: k -> Type) where #
Methods
gconNames :: forall (a :: k). f a -> [String] #
gconNameOf :: forall (a :: k). f a -> String #
Instances
| (ConNames f, ConNames g) => ConNames (f :+: g :: k -> Type) # | |
Defined in Generics.Deriving.ConNames | |
| Constructor c => ConNames (C1 c f :: k -> Type) # | |
Defined in Generics.Deriving.ConNames | |
| ConNames f => ConNames (D1 c f :: k -> Type) # | |
Defined in Generics.Deriving.ConNames | |