Data.Semigroup.Commutative

class (Semigroup g) <= Commutative g 

A Commutative is a Semigroup with a commutative operation. Instances must satisfy the following law in addition to the semigroup laws:

• Commutativity: forall x, y. x <> y = y <> x

Instances

• Commutative Void
• Commutative Unit
• (Commutative g) => Commutative (Dual g)
• (Semiring r) => Commutative (Additive r)

  Addition commutes for any Semiring

• (CommutativeRing r) => Commutative (Multiplicative r)

  Multiplication commutes only for a CommutativeRing.