Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- module Parameterized.Data.Semigroup
- class PMEmpty n id | n -> id where
- class (PSemigroup n t u v, PMEmpty n id) => PMonoid n id t u v
Documentation
module Parameterized.Data.Semigroup
class (PSemigroup n t u v, PMEmpty n id) => PMonoid n id t u v Source #
Parameterized version of Monoid.
(PSemigroup k n t u v, PMEmpty k n id) => PMonoid k n id t u v Source # | |