IdrisDoc: Control.Algebra.NumericImplementations

Control.Algebra.NumericImplementations

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

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