Returns the result of comparing two values of type A
, if the order is defined between l
and r
.
Returns the result of comparing two values of type A
, if the order is defined between l
and r
.
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 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
.
Constructs an PartialOrd[B]
given an PartialOrd[A]
and a function f
to transform a
B
value into an A
value.
Constructs an PartialOrd[B]
given an PartialOrd[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 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 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 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 or equal to the right value.
Constructs a new PartialOrd[A]
by mapping the result of this ordering using the
specified function.
Returns whether two values of type A
are not equal.
Returns whether two values of type A
are not equal.
PartialOrd[A]
provides implicit evidence that values of typeA
have a partial ordering.