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