Scala Library
|
|
scala/PartialOrdering.scala
]
trait
PartialOrdering[T]
extends
Equiv[T] with
AnyRefT
that is also an equivalence
relation on values of type T
. This relation is exposed as
the lteq
method of the PartialOrdering
trait.
This relation must be:
lteq(x, x) == true
, for any x
of
type T
.lteq(x, y) == true
and lteq(y, x) == true
then equiv(x, y)
, for any x
and y
of
type T
.lteq(x, y) == true
and lteq(y, z) == true
then lteq(x, z) == true
, for any x
, y
,
and z
of type T
.Method Summary | |
def
|
equiv
(x : T, y : T) : Boolean
Returns
true iff x is equivalent to
y in the ordering. |
def
|
gt
(x : T, y : T) : Boolean
Returns
true iff y comes before
x in the ordering and is not the same as x . |
def
|
gteq
(x : T, y : T) : Boolean
Returns
true iff y comes before
x in the ordering. |
def
|
lt
(x : T, y : T) : Boolean
Returns
true iff x comes before
y in the ordering and is not the same as y . |
abstract def
|
lteq
(x : T, y : T) : Boolean
Returns
true iff x comes before
y in the ordering. |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Method Details |
true
iff x
comes before
y
in the ordering.true
iff y
comes before
x
in the ordering.true
iff x
comes before
y
in the ordering and is not the same as y
.true
iff y
comes before
x
in the ordering and is not the same as x
.true
iff x
is equivalent to
y
in the ordering.
Scala Library
|
|