pandora-0.1.0: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Pattern.Object.Monoid

Synopsis

Documentation

class Semigroup a => Monoid a where Source #

When providing a new instance, you should ensure it satisfies the two laws:
* Right absorption: unit <> x ≡ x
* Left absorption: x <> unit ≡ x

Methods

unit :: a Source #

Instances
Monoid a => Monoid (Identity a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Identity

Methods

unit :: Identity a Source #

Semigroup a => Monoid (Maybe a) Source # 
Instance details

Defined in Pandora.Paradigm.Basis.Maybe

Methods

unit :: Maybe a Source #