Semigroup

A Monoid without an identity element. In Haskell:

class Semigroup s where
  (<>) :: s -> s -> s

2020-11-12

Backlinks

Monoid
- Monoids are data types that can be instantiated empty and be smashed together without losing any information. A common example is and [a] (for any a), where mempty=[] and mappend=(++). Monoids are always Semigroups as well.