trait Ord[-A] extends PartialOrd[A]
Ord[A]
provides implicit evidence that values of type A
have a total
ordering.
- Self Type
- Ord[A]
- Annotations
- @implicitNotFound()
- Alphabetic
- By Inheritance
- Ord
- PartialOrd
- Equal
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract def checkCompare(l: A, r: A): Ordering
Returns the result of comparing two values of type
A
.Returns the result of comparing two values of type
A
.- Attributes
- protected
- Definition Classes
- Ord → PartialOrd
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: => Ord[B]): Ord[(A, B)]
Constructs an
Ord[(A, B)]
given anOrd[A]
andOrd[B]
by first comparing theA
values, and then if theA
values are equal comparing theB
values - 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
valuesConstructs an
PartialOrd[(A, B)]
given anPartialOrd[A]
andPartialOrd[B]
by first comparing theA
values, and then if theA
values are equal comparing theB
values- Definition Classes
- PartialOrd
- 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: => Ord[B])(f: (C) => (A, B)): Ord[C]
Constructs an
Ord[C]
given anOrd[A]
, anOrd[B]
and a functionf
to transform aC
value into an(A, B)
.Constructs an
Ord[C]
given anOrd[A]
, anOrd[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: => 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.- Definition Classes
- PartialOrd
- 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
- Ord → PartialOrd → Equal
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def compare(l: A, r: A): Ordering
Returns the result of comparing two values of type
A
.Returns the result of comparing two values of type
A
.- Definition Classes
- Ord → PartialOrd
- def contramap[B](f: (B) => A): Ord[B]
Constructs an
Ord[B]
given anOrd[A]
and a functionf
to transform aB
value into anA
value.Constructs an
Ord[B]
given anOrd[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
- Ord → PartialOrd → Equal
- final def either[B](that: => Ord[B]): Ord[Either[A, B]]
Constructs an
Ord[Either[A, B]]
given anOrd[A]
and anOrd[B]
.Constructs an
Ord[Either[A, B]]
given anOrd[A]
and anOrd[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: => 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.- Definition Classes
- PartialOrd
- 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: => Ord[B])(f: (C) => Either[A, B]): Ord[C]
Constructs an
Ord[C]
given anOrd[A]
, anOrd[B]
, and a functionf
to transform aC
value into anEither[A, B]
.Constructs an
Ord[C]
given anOrd[A]
, anOrd[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: => 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.- Definition Classes
- PartialOrd
- 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.
Returns whether the left value is greater than the right value.
- Definition Classes
- PartialOrd
- def greaterOrEqual(l: A, r: A): Boolean
Returns whether the left value is greater than or equal to the right value.
Returns whether the left value is greater than or equal to the right value.
- Definition Classes
- PartialOrd
- 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.
Returns whether the left value is less than the right value.
- Definition Classes
- PartialOrd
- def lessOrEqual(l: A, r: A): Boolean
Returns whether the left value is less than or equal to the right value.
Returns whether the left value is less than or equal to the right value.
- Definition Classes
- PartialOrd
- final def mapOrdering(f: (Ordering) => Ordering): Ord[A]
Constructs a new
Ord[A]
by mapping the result of this ordering using the specified function. - final def mapPartialOrdering(f: (PartialOrdering) => PartialOrdering): PartialOrd[A]
Constructs a new
PartialOrd[A]
by mapping the result of this ordering using the specified function.Constructs a new
PartialOrd[A]
by mapping the result of this ordering using the specified function.- Definition Classes
- PartialOrd
- final def max[A1 <: A](l: A1, r: A1): A1
Returns the maximum of the left value and the right value.
- final def min[A1 <: A](l: A1, r: A1): A1
Returns the minimum of the left value and the right value.
- 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 reverse: Ord[A]
Returns a new ordering that is the reverse of this one.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toScala[A1 <: A]: scala.math.Ordering[A1]
- 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()