Module
Data.Semigroup.Commutative
- Package
- purescript-group
- Repository
- morganthomas/purescript-group
#Commutative Source
class (Semigroup g) <= Commutative g A Commutative is a Semigroup with a commutative operation. Instances
must satisfy the following law in addition to the group laws:
- Commutativity:
forall x, y. x <> y = y <> x
Instances
Commutative VoidCommutative Unit(Commutative g) => Commutative (Dual g)(Ring r) => Commutative (Additive r)