IdrisDoc: Control.Algebra.NumericImplementations

Control.Algebra.NumericImplementations

Implementations of algebraic interfaces (group, ring, etc) for numeric data types,
and Complex number types.

MultNatMonoid : Monoid Nat
MultNatSemi : Semigroup Nat
MultZZMonoid : Monoid ZZ
MultZZSemi : Semigroup ZZ
PlusNatMonoid : Monoid Nat
PlusNatSemi : Semigroup Nat
PlusZZMonoid : Monoid ZZ
PlusZZSemi : Semigroup ZZ