algebra-3.1: Constructive abstract algebra

Safe Haskell | None

Numeric.Rig.Ordered

# Documentation

class (AdditiveOrder r, Rig r) => OrderedRig r Source

Instances

OrderedRig Bool |
OrderedRig Integer |
OrderedRig () |
OrderedRig Natural |
(OrderedRig a, OrderedRig b) => OrderedRig (a, b) |
(OrderedRig a, OrderedRig b, OrderedRig c) => OrderedRig (a, b, c) |
(OrderedRig a, OrderedRig b, OrderedRig c, OrderedRig d) => OrderedRig (a, b, c, d) |
(OrderedRig a, OrderedRig b, OrderedRig c, OrderedRig d, OrderedRig e) => OrderedRig (a, b, c, d, e) |