Result of comparing this
with operand that
.
Result of comparing this
with operand that
.
Returns None
if operands are not comparable.
If operands are comparable, returns Some(x)
where
x < 0
iff this < that
x == 0
iff this == that
x > 0
iff this > that
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).
A class for partially ordered data.
1.0, 23/04/2004