base-deriving-via-0.1.0.1: A general hook newtype for use with deriving via
Safe Haskell Safe-Inferred
Language Haskell2010

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 ( V1 :: Type -> Type ) Source #
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmempty :: V1 x Source #

GMonoid ( U1 :: Type -> Type ) Source #
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmempty :: U1 x Source #

Monoid c => GMonoid ( K1 i c :: Type -> Type ) Source #
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmempty :: K1 i c 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 #

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

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

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

GMonoid f => GMonoid ( M1 i c f) Source #
Instance details

Defined in Data.DerivingVia.GHC.Generics.Monoid

Methods

gmempty :: M1 i c f x Source #