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
- All
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( ... ) @native() @HotSpotIntrinsicCandidate()
-
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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
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() @HotSpotIntrinsicCandidate()
-
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() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
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(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )