flix

0.79.0

CommutativeGroup

trait CommutativeGroup[a: Type] with Group[a], CommutativeMonoid[a]Source

Trait for types that form a commutative group.

A commutative group (abelian group) is a group where the combine function is commutative.

The default instances for number define the additive inverse in the real numbers.

Instances

Primitives
Unit, Float32, Float64, BigDecimal, Int8, Int16, Int32, Int64, BigInt and tuples of 2 to 10 elements