Data.Semigroup.Generic

Documentation

genericMappend :: (Generic a, MappendProduct (Rep a)) => a -> a -> a

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.

newtype GenericSemigroup a

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

Constructors

GenericSemigroup a

Instances

(Generic a, MappendProduct (Rep a)) => Semigroup (GenericSemigroup a)

Defined in Data.Semigroup.Generic

Methods

(<>) :: GenericSemigroup a -> GenericSemigroup a -> GenericSemigroup a

sconcat :: NonEmpty (GenericSemigroup a) -> GenericSemigroup a

stimes :: Integral b => b -> GenericSemigroup a -> GenericSemigroup a