algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Rig.Ordered

Documentation

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

Instances
OrderedRig Bool # 
Instance details

Defined in Numeric.Rig.Ordered

OrderedRig Integer # 
Instance details

Defined in Numeric.Rig.Ordered

OrderedRig Natural # 
Instance details

Defined in Numeric.Rig.Ordered

OrderedRig () # 
Instance details

Defined in Numeric.Rig.Ordered

(OrderedRig a, OrderedRig b) => OrderedRig (a, b) # 
Instance details

Defined in Numeric.Rig.Ordered

(OrderedRig a, OrderedRig b, OrderedRig c) => OrderedRig (a, b, c) # 
Instance details

Defined in Numeric.Rig.Ordered

(OrderedRig a, OrderedRig b, OrderedRig c, OrderedRig d) => OrderedRig (a, b, c, d) # 
Instance details

Defined in Numeric.Rig.Ordered

(OrderedRig a, OrderedRig b, OrderedRig c, OrderedRig d, OrderedRig e) => OrderedRig (a, b, c, d, e) # 
Instance details

Defined in Numeric.Rig.Ordered