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 betweenlandr.Returns the result of comparing two values of type
A, if the order is defined betweenlandr.- 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 theAvalues, and then if theAvalues are equal comparing theBvalues - final def both[B](that: => Equal[B]): Equal[(A, B)]
Constructs an
Equal[(A, B)]given anEqual[A]andEqual[B]by first comparing theAvalues for equality and then comparing theBvalues for equality, if necessary.Constructs an
Equal[(A, B)]given anEqual[A]andEqual[B]by first comparing theAvalues for equality and then comparing theBvalues 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 functionfto transform aCvalue into an(A, B).Constructs an
PartialOrd[C]given anPartialOrd[A], anPartialOrd[B]and a functionfto transform aCvalue into an(A, B). The instance will convert eachCvalue into an(A, B), compare theAvalues, and then if theAvalues are equal compare theBvalues. - 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 functionfto transform aCvalue into an(A, B).Constructs an
Equal[C]given anEqual[A], anEqual[B]and a functionfto transform aCvalue into an(A, B). The instance will convert eachCvalue into an(A, B), compare theAvalues for equality, and then compare theBvalues for equality if necessary.- Definition Classes
- Equal
- def checkEqual(l: A, r: A): Boolean
Returns whether two values of type
Aare equal.Returns whether two values of type
Aare 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 functionfto transform aBvalue into anAvalue.Constructs an
PartialOrd[B]given anPartialOrd[A]and a functionfto transform aBvalue into anAvalue. The instance will convert eachBvalue into anAand compare theAvalues.- 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 isLeftand one value isRightit will treat theLeftvalue as less than theRightvalue. 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 areRightorLeftcompare 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 functionfto transform aCvalue into anEither[A, B].Constructs an
PartialOrd[C]given anPartialOrd[A], anPartialOrd[B], and a functionfto transform aCvalue into anEither[A, B]. The instance will convert eachCvalue into anEither[A, B]. If one value isLeftand one value isRightit will treat theLeftvalue as less than theRightvalue. 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 functionfto transform aCvalue into anEither[A, B].Constructs an
Equal[C]given anEqual[A], anEqual[B], and a functionfto transform aCvalue into anEither[A, B]. The instance will convert eachCvalue into anEither[A, B]and then if both areRightorLeftcompare 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
Aare equal.Returns whether two values of type
Aare 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
Aare not equal.Returns whether two values of type
Aare 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()