Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- constrName :: (HasConstructor (Rep a), Generic a) => a -> String
- class HasConstructor (f :: Type -> Type) where
- genericConstrName :: f x -> String
Documentation
constrName :: (HasConstructor (Rep a), Generic a) => a -> String Source #
Return the constructor name of some data with a Generic instance, as a string. Useful when constructing error or trace messages, or debugging.
class HasConstructor (f :: Type -> Type) where Source #
genericConstrName :: f x -> String Source #