Generic

Documentation

constrName :: (HasConstructor (Rep a), Generic a) => a -> String

class HasConstructor (f :: Type -> Type) where

Methods

genericConstrName :: f x -> String

Instances

(HasConstructor x, HasConstructor y) => HasConstructor (x :+: y)

Defined in Generic

Methods

genericConstrName :: (x :+: y) x0 -> String

Constructor c => HasConstructor (C1 c f)

Defined in Generic

Methods

genericConstrName :: C1 c f x -> String

HasConstructor f => HasConstructor (D1 c f)

Defined in Generic

Methods

genericConstrName :: D1 c f x -> String