Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Generics definition of mempty
Documentation
class GMonoid rep where Source #
Instances
GMonoid (U1 ∷ Type → Type) Source # | |
Defined in Data.DerivingVia.GHC.Generics.Monoid | |
GMonoid (V1 ∷ Type → Type) Source # | |
Defined in Data.DerivingVia.GHC.Generics.Monoid | |
(GMonoid l, GMonoid r) ⇒ GMonoid (l :*: r) Source # | |
Defined in Data.DerivingVia.GHC.Generics.Monoid | |
(TypeError ((('Text "No Generics definition of " :<>: 'ShowType Monoid) :<>: 'Text " for types with multiple constructors ") :<>: 'ShowType (l :+: r)) ∷ Constraint) ⇒ GMonoid (l :+: r) Source # | |
Defined in Data.DerivingVia.GHC.Generics.Monoid | |
Monoid c ⇒ GMonoid (K1 i c ∷ Type → Type) Source # | |
Defined in Data.DerivingVia.GHC.Generics.Monoid | |
GMonoid f ⇒ GMonoid (M1 i c f) Source # | |
Defined in Data.DerivingVia.GHC.Generics.Monoid |