Control.Object.Monoid

Documentation

class Semigroup a => Monoid a where

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