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 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( ... ) @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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- 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( ... )
-
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()