| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Parameterized.Data.Monoid
- module Parameterized.TypeLevel
- module Parameterized.Data.Semigroup
- class PMempty n id where
- type PMonoid n id t u v = (PMempty n id, PSemigroup n t u v)
Documentation
module Parameterized.TypeLevel
module Parameterized.Data.Semigroup
class PMempty n id where Source #
Parameterized version of mempty in Monoid.
Minimal complete definition
type PMonoid n id t u v = (PMempty n id, PSemigroup n t u v) Source #
Parameterized version of Monoid.