| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Generic
Documentation
constrName :: (HasConstructor (Rep a), Generic a) => a -> String Source #
class HasConstructor (f :: Type -> Type) where Source #
Methods
genericConstrName :: f x -> String Source #
Instances
| (HasConstructor x, HasConstructor y) => HasConstructor (x :+: y) Source # | |
| Constructor c => HasConstructor (C1 c f) Source # | |
| HasConstructor f => HasConstructor (D1 c f) Source # | |