one | Numeric.Monoid.Multiplicative, Numeric.Monoid, Numeric.Multiplication, Numeric.Group |
Opposite | |
1 (Type/Class) | Numeric.Ring.Opposite, Numeric.Ring |
2 (Data Constructor) | Numeric.Ring.Opposite, Numeric.Ring |
Order | Numeric.Order.Class, Numeric.Order |
order | Numeric.Order.Class, Numeric.Order |
OrderedRig | Numeric.Rig.Ordered, Numeric.Order, Numeric.Rig |
orderOrd | Numeric.Order.Class, Numeric.Order |