Data.Monoid.Generic

A generic <> function which works for product types where each contained type is itself a Semigroup. It simply calls <> for each field.

If you don't want to use the deriving via mechanism, use this function to implement the Semigroup type class.

A generic mempty function which works for product types where each contained type is itself a Monoid. It simply calls mempty for each field.

If you don't want to use the deriving via mechanism, use this function to implement the Monoid type class.

A newtype which allows you to using the DerivingVia extension to reduce boilerplate.

data X = X [Int] String
  deriving (Generic, Show)
  deriving Semigroup via GenericSemigroup X

A newtype which allows you to using the DerivingVia extension to reduce boilerplate.

data X = X [Int] String
  deriving (Generic, Show)
  deriving Semigroup via GenericSemigroup X
  deriving Monoid    via GenericMonoid X

Note: Do NOT attempt to derive Semigroup via GenericMonoid. That will lead to infinite recursion.