Safe Haskell	None
Language	GHC2021

Stock.Semigroup

Description

Semigroup / Monoid synthesizers: pointwise over a single-constructor product.

Synopsis

semigroupDeriver :: Deriver
monoidDeriver :: Deriver

Documentation

semigroupDeriver :: Deriver Source #

monoidDeriver :: Deriver Source #

Pointwise Monoid for a single-constructor product: mempty = C mempty... Its Semigroup superclass is the semigroupDeriver dictionary; mappend/mconcat come from the class defaults.

gmempty = productTypeTo (cpure_NP (Proxy @Monoid) (I mempty))