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
Abstract Value Members
- abstract def checkCompare(l: A, r: A): PartialOrdering
Returns the result of comparing two values of type
A
, if the order is defined betweenl
andr
.Returns the result of comparing two values of type
A
, if the order is defined betweenl
andr
.- Attributes
- protected
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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 checkEqual(l: A, r: A): Boolean
Returns whether two values of type
A
are equal.Returns whether two values of type
A
are equal.- Attributes
- protected
- Definition Classes
- PartialOrd → Equal
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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 eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- 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 equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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 hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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 ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- 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
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toScala[A1 <: A]: Equiv[A1]
- Definition Classes
- Equal
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()