parameterized-0.4.0.0: Parameterized/indexed monoids and monads using only a single parameter type variable.

Safe HaskellSafe
LanguageHaskell2010

Parameterized.Data.Monoid

Synopsis

Documentation

class PMEmpty n id | n -> id where Source #

Parameterized version of mempty in Monoid.

Minimal complete definition

pmempty

Methods

pmempty :: PNullary n id Source #

class (PSemigroup n t u v, PMEmpty n id) => PMonoid n id t u v Source #

Parameterized version of Monoid.

Instances

(PSemigroup k n t u v, PMEmpty k n id) => PMonoid k n id t u v Source #