morphisms-objects-0.1.3: Algebraic structures

Control.Object.Monoid

class Semigroup a => Monoid a where Source #

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

Minimal complete definition

unit

Methods

unit :: a Source #