semigroups:Haskell 98半群

半群 Haskellers通常对Monoid很熟悉。 一个monoid具有附加操作<>或mappend以及一个标识元素mempty 。 mempty有一个append <> ，但不需要mempty元素。 可以通过instance Semigroup MyMonoid将Monoid instance Semigroup MyMonoid 更正式地讲，半群是由一个集合和一个关联的二进制运算组成的代数结构。 一个半群概括了一个monoid，因为可能不存在一个identity元素。 它还（最初）将组（具有所有逆的一个monoid）推广为一种类型，其中每个元素都不必具有逆，因此称为半群。 Data.Semigroup Data.List.NonEmpty ，将Data.Semigroup和Data.List.NonEmpty添加到base 。 现在，该软件包提供了向后兼容的API和一些用于使用