Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Parameterized.Data.Monoid
- 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 PMEmpty n id | n -> id where Source #
Parameterized version of mempty in Monoid.
Minimal complete definition
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 # | |