Returns a negative integer iff x
comes before
y
in the ordering, returns 0 iff x
is the same in the ordering as y
, and returns a
positive number iff x
comes after
y
in the ordering.
Returns a negative integer iff x
comes before
y
in the ordering, returns 0 iff x
is the same in the ordering as y
, and returns a
positive number iff x
comes after
y
in the ordering.
true iff x
is equivalent to y
in the ordering.
true iff y
comes before x
in the ordering, and is not equal to x
.
true iff x
comes after y
in the ordering, or is equal to y
.
true iff x
comes before y
in the ordering, and is not equal to y
.
true iff x
comes before y
in the ordering, or is equal to y
.
Returns the argument which comes later in the ordering.
Returns the argument which comes later in the ordering.
Returns the argument which comes earlier in the ordering.
Returns the argument which comes earlier in the ordering.
Given a function U => T, creates Ordering[U].
Given a function U => T, creates Ordering[U].
An Ordering is defined at all x and y.
An Ordering is defined at all x and y.