trait PartialOrd[-A] extends Equal[A]
PartialOrd[A]
provides implicit evidence that values of type A
have a partial
ordering.
- Self Type
- PartialOrd[A]
- Annotations
- @implicitNotFound()
- Alphabetic
- By Inheritance
- PartialOrd
- Equal
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Concrete Value Members
- final def both[B](that: => PartialOrd[B]): PartialOrd[(A, B)]
Constructs an
PartialOrd[(A, B)]
given anPartialOrd[A]
andPartialOrd[B]
by first comparing theA
values, and then if theA
values are equal comparing theB
values - final def both[B](that: => Equal[B]): Equal[(A, B)]
Constructs an
Equal[(A, B)]
given anEqual[A]
andEqual[B]
by first comparing theA
values for equality and then comparing theB
values for equality, if necessary.Constructs an
Equal[(A, B)]
given anEqual[A]
andEqual[B]
by first comparing theA
values for equality and then comparing theB
values for equality, if necessary.- Definition Classes
- Equal
- final def bothWith[B, C](that: => PartialOrd[B])(f: (C) => (A, B)): PartialOrd[C]
Constructs an
PartialOrd[C]
given anPartialOrd[A]
, anPartialOrd[B]
and a functionf
to transform aC
value into an(A, B)
.Constructs an
PartialOrd[C]
given anPartialOrd[A]
, anPartialOrd[B]
and a functionf
to transform aC
value into an(A, B)
. The instance will convert eachC
value into an(A, B)
, compare theA
values, and then if theA
values are equal compare theB
values. - final def bothWith[B, C](that: => Equal[B])(f: (C) => (A, B)): Equal[C]
Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
and a functionf
to transform aC
value into an(A, B)
.Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
and a functionf
to transform aC
value into an(A, B)
. The instance will convert eachC
value into an(A, B)
, compare theA
values for equality, and then compare theB
values for equality if necessary.- Definition Classes
- Equal
- def compare(l: A, r: A): PartialOrdering
Returns the result of comparing two values of type
A
. - def contramap[B](f: (B) => A): PartialOrd[B]
Constructs an
PartialOrd[B]
given anPartialOrd[A]
and a functionf
to transform aB
value into anA
value.Constructs an
PartialOrd[B]
given anPartialOrd[A]
and a functionf
to transform aB
value into anA
value. The instance will convert eachB
value into anA
and compare theA
values.- Definition Classes
- PartialOrd → Equal
- final def either[B](that: => PartialOrd[B]): PartialOrd[Either[A, B]]
Constructs an
PartialOrd[Either[A, B]]
given anPartialOrd[A]
and anPartialOrd[B]
.Constructs an
PartialOrd[Either[A, B]]
given anPartialOrd[A]
and anPartialOrd[B]
. If one value isLeft
and one value isRight
it will treat theLeft
value as less than theRight
value. Otherwise, it will compare the two values. - final def either[B](that: => Equal[B]): Equal[Either[A, B]]
Constructs an
Equal[Either[A, B]]
given anEqual[A]
and anEqual[B]
.Constructs an
Equal[Either[A, B]]
given anEqual[A]
and anEqual[B]
. The instance will compare theEither[A, B]
values and if both areRight
orLeft
compare them for equality.- Definition Classes
- Equal
- final def eitherWith[B, C](that: => PartialOrd[B])(f: (C) => Either[A, B]): PartialOrd[C]
Constructs an
PartialOrd[C]
given anPartialOrd[A]
, anPartialOrd[B]
, and a functionf
to transform aC
value into anEither[A, B]
.Constructs an
PartialOrd[C]
given anPartialOrd[A]
, anPartialOrd[B]
, and a functionf
to transform aC
value into anEither[A, B]
. The instance will convert eachC
value into anEither[A, B]
. If one value isLeft
and one value isRight
it will treat theLeft
value as less than theRight
value. Otherwise, it will compare the two values. - final def eitherWith[B, C](that: => Equal[B])(f: (C) => Either[A, B]): Equal[C]
Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
, and a functionf
to transform aC
value into anEither[A, B]
.Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
, and a functionf
to transform aC
value into anEither[A, B]
. The instance will convert eachC
value into anEither[A, B]
and then if both areRight
orLeft
compare them for equality.- Definition Classes
- Equal
- final def equal(l: A, r: A): Boolean
Returns whether two values of type
A
are equal.Returns whether two values of type
A
are equal.- Definition Classes
- Equal
- def greater(l: A, r: A): Boolean
Returns whether the left value is greater than the right value.
- def greaterOrEqual(l: A, r: A): Boolean
Returns whether the left value is greater than or equal to the right value.
- def less(l: A, r: A): Boolean
Returns whether the left value is less than the right value.
- def lessOrEqual(l: A, r: A): Boolean
Returns whether the left value is less than or equal to the right value.
- final def mapPartialOrdering(f: (PartialOrdering) => PartialOrdering): PartialOrd[A]
Constructs a new
PartialOrd[A]
by mapping the result of this ordering using the specified function. - final def notEqual(l: A, r: A): Boolean
Returns whether two values of type
A
are not equal.Returns whether two values of type
A
are not equal.- Definition Classes
- Equal
- def toScala[A1 <: A]: Equiv[A1]
- Definition Classes
- Equal