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: zero + x ≡ x
* Left absorption: x + zero ≡ x

Methods

zero :: a

Instances

Monoid Boolean

Defined in Pandora.Paradigm.Primary.Object.Boolean

Methods

zero :: Boolean

Monoid Numerator

Defined in Pandora.Paradigm.Primary.Object.Numerator

Methods

zero :: Numerator

Monoid (Endo a)

Defined in Pandora.Paradigm.Primary.Functor.Endo

Methods

zero :: Endo a

Monoid a => Monoid (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

zero :: Identity a

Semigroup a => Monoid (Maybe a)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

zero :: Maybe a

Monoid (Stack a)

Defined in Pandora.Paradigm.Structure.Stack

Methods

zero :: Stack a

(Monoid s, Monoid a) => Monoid (s :*: a)

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

zero :: s :*: a

(Monoid a, forall b. Semigroup b => Monoid (t b), Covariant t) => Monoid (Construction t a)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

zero :: Construction t a

Monoid a => Monoid (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

zero :: Tagged tag a

Monoid a => Monoid (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

zero :: Constant a b