Pandora.Pattern.Object.Monoid

Documentation

class Semigroup a => Monoid a where

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

Instances

Monoid a => Monoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

unit :: Identity a

Semigroup a => Monoid (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

unit :: Maybe a

(Monoid a, Monoid b) => Monoid (Product a b)

Defined in Pandora.Paradigm.Basis.Product

Methods

unit :: Product a b