Derives an PartialOrd[Chunk[A]]
given an PartialOrd[A]
.
Derives an PartialOrd[F[A]]
given a Derive[F, PartialOrd]
and an PartialOrd[A]
.
Derives an PartialOrd[Either[A, B]]
given an PartialOrd[A]
and an PartialOrd[B]
.
Derives an PartialOrd[List[A]]
given an PartialOrd[A]
.
Derives an PartialOrd[NonEmptyChunk[A]]
given an PartialOrd[A]
.
Derives an PartialOrd[Option[A]]
given an PartialOrd[A]
.
Derives an PartialOrd[Option[A]]
given an PartialOrd[A]
. None
will be treated as
less than all other values.
The Contravariant
instance for PartialOrd
.
The IdentityBoth
(and thus AssociativeBoth
) instance for PartialOrd
.
The IdentityEither
(and thus AssociativeEither
) instance for PartialOrd
.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd
for a product type given an PartialOrd
for each element of
the product type.
Derives an PartialOrd[Vector[A]]
given an PartialOrd[A]
.
Summons an implicit PartialOrd[A]
.
Constructs an PartialOrd[A]
from a function.
Constructs an PartialOrd[A]
from a function. The instance will be optimized to
first compare the values for reference equality and then compare the
values using the specified function.
Constructs an instance from an ord
function and a equal0
function.
Constructs an instance from an ord
function and a equal0
function.
Since this takes a separate equal0
, short-circuiting the equality check (failing fast) is possible.