Numeric.MixedTypes.Ord

Comparisons in numeric order

type HasOrder t1 t2

class HasOrderAsymmetric a b

(>)

(<)

(<=)

(>=)

type HasOrderCertainlyAsymmetric t1 t2

type HasOrderCertainly t1 t2

type HasOrderCertainlyCE es t1 t2

type HasOrderCertainlyCN t1 t2

(?<=?)

(?<?)

(?>=?)

(?>?)

(!<=!)

(!<!)

(!>=!)

(!>!)

Tests

specHasOrder

specHasOrderNotMixed

Specific comparisons

class CanTestPosNeg t