Returns true iff x comes before y in the ordering.
Result of comparing x with operand y.
Result of comparing x with operand y.
Returns None if operands are not comparable.
If operands are comparable, returns Some(r) where
r < 0 iff x < yr == 0 iff x == yr > 0 iff x > y
Returns true iff x is equivalent to y in the ordering.
Returns true iff x is equivalent to y in the ordering.
Returns string formatted according to given format string.
Returns string formatted according to given format string.
Format strings are as for String.format
(@see java.lang.String.format).
Returns true iff y comes before x in the ordering
and is not the same as x.
Returns true iff y comes before x in the ordering.
Returns true iff x comes before y in the ordering
and is not the same as y.
A trait for representing partial orderings. It is important to distinguish between a type that has a partial order and a representation of partial ordering on some type. This trait is for representing the latter.
A partial ordering is a binary relation on a type
Tthat is also an equivalence relation on values of typeT. This relation is exposed as thelteqmethod of thePartialOrderingtrait. This relation must be:lteq(x, x) == true, for anyxof typeT.lteq(x, y) == trueandlteq(y, x) == truethenequiv(x, y), for anyxandyof typeT.lteq(x, y) == trueandlteq(y, z) == truethenlteq(x, z) == true, for anyx,y, andzof typeT.1.0, 2008-04-0-3
2.7