Index - O
| 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 |