monoid-subclasses-1.1: Subclasses of Monoid
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Monoid.Cancellative

Description

This module defines the Monoid => CommutativeMonoid => ReductiveMonoid => CancellativeMonoid constraint synonym hierarchy.

Since most practical monoids in Haskell are not commutative, the last two of these synonyms have two symmetric superclasses each:

This module and its constraint synonyms are provided for compatibility with the older versions of the monoid-sublasses library. Starting with version 1.0, the classes from the Data.Semigroup.Cancellative module are recommended instead.

Synopsis

Documentation

Symmetric, commutative monoid classes

Asymmetric monoid classes