algebra-3.0.1: Constructive abstract algebra

Safe HaskellNone

Numeric.Rig.Ordered

Documentation

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

Instances

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)