flix

0.54.0

CommutativeGroup

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

A trait for types that form a commutative group (abelian group) i.e. groups where the combine function is commutative.

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

Instances

instance CommutativeGroup[Unit]Source
instance CommutativeGroup[Int8]Source
instance CommutativeGroup[Int16]Source
instance CommutativeGroup[Int32]Source
instance CommutativeGroup[Int64]Source
instance CommutativeGroup[BigInt]Source
instance CommutativeGroup[Float32]Source
instance CommutativeGroup[Float64]Source
instance CommutativeGroup[BigDecimal]Source