base-deriving-via-0.1.0.2: A general hook newtype for use with deriving via
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.DerivingVia.GHC.Generics.Monoid

Description

GHC.Generics definition of mempty

Documentation

class GMonoid rep where Source #

Methods

gmempty ∷ rep x Source #

Instances

Instances details
GMonoid (U1TypeType) Source # 
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmemptyU1 x Source #

GMonoid (V1TypeType) Source # 
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmemptyV1 x Source #

(GMonoid l, GMonoid r) ⇒ GMonoid (l :*: r) Source # 
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmempty ∷ (l :*: r) x Source #

(TypeError ((('Text "No Generics definition of " :<>: 'ShowType Monoid) :<>: 'Text " for types with multiple constructors ") :<>: 'ShowType (l :+: r)) ∷ Constraint) ⇒ GMonoid (l :+: r) Source # 
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmempty ∷ (l :+: r) x Source #

Monoid c ⇒ GMonoid (K1 i c ∷ TypeType) Source # 
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmemptyK1 i c x Source #

GMonoid f ⇒ GMonoid (M1 i c f) Source # 
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmemptyM1 i c f x Source #