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 (Endo a)

Defined in Pandora.Paradigm.Basis.Endo

Methods

unit :: Endo a

Semigroup a => Monoid (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Methods

unit :: Maybe a

Monoid a => Monoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

unit :: Identity a

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

Defined in Pandora.Paradigm.Basis.Product

Methods

unit :: Product a b

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

Defined in Pandora.Paradigm.Basis.Cofree

Methods

unit :: Cofree t a

Monoid a => Monoid (Constant a b)

Defined in Pandora.Paradigm.Basis.Constant

Methods

unit :: Constant a b

(forall (u1 :: k2 -> Type). Monoid ((u1 :.: t u1) a)) => Monoid (Y t u a)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

unit :: Y t u a

Monoid ((u :.: t) a) => Monoid (T t u a)

Defined in Pandora.Paradigm.Junction.Transformer

Methods

unit :: T t u a