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 #