Documentation
class (AdditiveOrder r, Rig r) => OrderedRig r Source
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) |