Module

Data.Semigroup.Commutative

#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

Modules