Data.Monoid

v11.3.15 • Abstract Monoids

Definition of the Monoid algebraic structure.

Types

Monoid :: * -> *

The Monoid structure containing an identity element and an associative binary operation.

Implementation
data Monoid A = Monoid (mempty : A) (mappend : A -> A -> A)