| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Numeric.Order.Additive
- class (Additive r, Order r) => AdditiveOrder r
Documentation
class (Additive r, Order r) => AdditiveOrder r Source #
z + x <= z + y = x <= y = x + z <= y + z
Instances
| AdditiveOrder Bool Source # | |
| AdditiveOrder Integer Source # | |
| AdditiveOrder () Source # | |
| AdditiveOrder Natural Source # | |
| (AdditiveOrder a, AdditiveOrder b) => AdditiveOrder (a, b) Source # | |
| (AdditiveOrder a, AdditiveOrder b, AdditiveOrder c) => AdditiveOrder (a, b, c) Source # | |
| (AdditiveOrder a, AdditiveOrder b, AdditiveOrder c, AdditiveOrder d) => AdditiveOrder (a, b, c, d) Source # | |
| (AdditiveOrder a, AdditiveOrder b, AdditiveOrder c, AdditiveOrder d, AdditiveOrder e) => AdditiveOrder (a, b, c, d, e) Source # | |