Generically generate a Semigroup (<> ) operation for any type implementing Generic . This operation will append two values by point-wise appending their component fields. It is only defined for product types.

gmappend  a (gmappend  b c) = gmappend  (gmappend  a b) c

Generically generate a Monoid mempty for any product-like type implementing Generic .

It is only defined for product types.

gmappend  gmempty  a = a = gmappend  a gmempty 

An adapter newtype, suitable for DerivingVia. Its Semigroup and Monoid instances leverage the Generic -based defaults defined by gmappend and gmempty . Here is an example of how to use it:

{-# LANGUAGE DerivingVia #-}
import Data.Semigroup.Generic
data Pair a = MkPair a a
 deriving (Semigroup , Monoid ) via (GenericSemigroupMonoid  (Pair a))

Constructors

Instances

Minimal complete definition

gmappend'

Instances

Minimal complete definition

gmempty'

Instances