Returns the result of comparing two values of type A
.
Returns the result of comparing two values of type A
.
Constructs an Ord[(A, B)]
given an Ord[A]
and Ord[B]
by first
comparing the A
values, and then if the A
values are equal comparing
the B
values
Constructs an PartialOrd[(A, B)]
given an PartialOrd[A]
and PartialOrd[B]
by first
comparing the A
values, and then if the A
values are equal comparing
the B
values
Constructs an PartialOrd[(A, B)]
given an PartialOrd[A]
and PartialOrd[B]
by first
comparing the A
values, and then if the A
values are equal comparing
the B
values
Constructs an Equal[(A, B)]
given an Equal[A]
and Equal[B]
by first
comparing the A
values for equality and then comparing the B
values
for equality, if necessary.
Constructs an Equal[(A, B)]
given an Equal[A]
and Equal[B]
by first
comparing the A
values for equality and then comparing the B
values
for equality, if necessary.
Constructs an Ord[C]
given an Ord[A]
, an Ord[B]
and a function f
to transform a C
value into an (A, B)
.
Constructs an Ord[C]
given an Ord[A]
, an Ord[B]
and a function f
to transform a C
value into an (A, B)
. The instance will convert each
C
value into an (A, B)
, compare the A
values, and then if the A
values are equal compare the B
values.
Constructs an PartialOrd[C]
given an PartialOrd[A]
, an PartialOrd[B]
and a function f
to transform a C
value into an (A, B)
.
Constructs an PartialOrd[C]
given an PartialOrd[A]
, an PartialOrd[B]
and a function f
to transform a C
value into an (A, B)
. The instance will convert each
C
value into an (A, B)
, compare the A
values, and then if the A
values are equal compare the B
values.
Constructs an Equal[C]
given an Equal[A]
, an Equal[B]
and a
function f
to transform a C
value into an (A, B)
.
Constructs an Equal[C]
given an Equal[A]
, an Equal[B]
and a
function f
to transform a C
value into an (A, B)
. The instance
will convert each C
value into an (A, B)
, compare the A
values for
equality, and then compare the B
values for equality if necessary.
Returns whether two values of type A
are equal.
Returns whether two values of type A
are equal.
Returns the result of comparing two values of type A
.
Returns the result of comparing two values of type A
.
Constructs an Ord[B]
given an Ord[A]
and a function f
to transform a
B
value into an A
value.
Constructs an Ord[B]
given an Ord[A]
and a function f
to transform a
B
value into an A
value. The instance will convert each B
value into
an A
and compare the A
values.
Constructs an Ord[Either[A, B]]
given an Ord[A]
and an Ord[B]
.
Constructs an Ord[Either[A, B]]
given an Ord[A]
and an Ord[B]
. If
one value is Left
and one value is Right
it will treat the Left
value as less than the Right
value. Otherwise, it will compare the two
values.
Constructs an PartialOrd[Either[A, B]]
given an PartialOrd[A]
and an PartialOrd[B]
.
Constructs an PartialOrd[Either[A, B]]
given an PartialOrd[A]
and an PartialOrd[B]
. If
one value is Left
and one value is Right
it will treat the Left
value as less than the Right
value. Otherwise, it will compare the two
values.
Constructs an Equal[Either[A, B]]
given an Equal[A]
and an
Equal[B]
.
Constructs an Equal[Either[A, B]]
given an Equal[A]
and an
Equal[B]
. The instance will compare the Either[A, B]
values and if
both are Right
or Left
compare them for equality.
Constructs an Ord[C]
given an Ord[A]
, an Ord[B]
, and a function f
to transform a C
value into an Either[A, B]
.
Constructs an Ord[C]
given an Ord[A]
, an Ord[B]
, and a function f
to transform a C
value into an Either[A, B]
. The instance will convert
each C
value into an Either[A, B]
. If one value is Left
and one
value is Right
it will treat the Left
value as less than the Right
value. Otherwise, it will compare the two values.
Constructs an PartialOrd[C]
given an PartialOrd[A]
, an PartialOrd[B]
, and a function f
to transform a C
value into an Either[A, B]
.
Constructs an PartialOrd[C]
given an PartialOrd[A]
, an PartialOrd[B]
, and a function f
to transform a C
value into an Either[A, B]
. The instance will convert
each C
value into an Either[A, B]
. If one value is Left
and one
value is Right
it will treat the Left
value as less than the Right
value. Otherwise, it will compare the two values.
Constructs an Equal[C]
given an Equal[A]
, an Equal[B]
, and a
function f
to transform a C
value into an Either[A, B]
.
Constructs an Equal[C]
given an Equal[A]
, an Equal[B]
, and a
function f
to transform a C
value into an Either[A, B]
. The
instance will convert each C
value into an Either[A, B]
and then
if both are Right
or Left
compare them for equality.
Returns whether two values of type A
are equal.
Returns whether two values of type A
are equal.
Returns whether the left value is greater than the right value.
Returns whether the left value is greater than the right value.
Returns whether the left value is greater than or equal to the right value.
Returns whether the left value is greater than or equal to the right value.
Returns whether the left value is less than the right value.
Returns whether the left value is less than the right value.
Returns whether the left value is less than or equal to the right value.
Returns whether the left value is less than or equal to the right value.
Constructs a new Ord[A]
by mapping the result of this ordering using the
specified function.
Constructs a new PartialOrd[A]
by mapping the result of this ordering using the
specified function.
Constructs a new PartialOrd[A]
by mapping the result of this ordering using the
specified function.
Returns the maximum of the left value and the right value.
Returns the minimum of the left value and the right value.
Returns whether two values of type A
are not equal.
Returns whether two values of type A
are not equal.
Returns a new ordering that is the reverse of this one.
Ord[A]
provides implicit evidence that values of typeA
have a total ordering.