Трейт PartialOrdering.PartialOrdering

trait PartialOrdering[T] extends Equiv[T]

Трейт для представления частичных порядков. Важно различать тип, имеющий частичный порядок, и представление частичного порядка для некоторого типа. Этот трейт предназначен для представления последнего.

Частичный порядок — это бинарное отношение на типе T, представленное как метод lteq этого трейта. Это отношение должно быть:

- рефлексивным: lteq(x, x) == true, для любого x типа T. - антисимметричным: если lteq(x, y) == true и lteq(y, x) == true то equiv(x, y) == true, для любых x и y типа T. - транзитивным: если lteq(x, y) == true и lteq(y, z) == true то lteq(x, z) == true, для любых x, y, и z типа T.

Кроме того, частичный порядок индуцирует отношение эквивалентности на типе T: x и y типа T эквивалентны тогда и только тогда, когда lteq(x, y) && lteq(y, x) == true. Это отношение эквивалентности представлено как метод equiv, унаследованный от трейта Equiv.

Абстрактные методы

Источник

def lteq(x: T, y: T): Boolean

Возвращает true если и только если x предшествует y в порядке.

Источник

def tryCompare(x: T, y: T): Option[Int]

Результат сравнения x с операндом y. Возвращает None если операнды не сравнимы. Если операнды сравнимы, возвращает Some(r) где - r < 0 если x < y - r == 0 если x == y - r > 0 если x > y

Конкретные методы

Источник

def equiv(x: T, y: T): Boolean

Возвращает true если и только если x эквивалентен y в порядке.

Источник

def gt(x: T, y: T): Boolean

Возвращает true если и только если y предшествует x в порядке и не совпадает с x.

Источник

def gteq(x: T, y: T): Boolean

Возвращает true если и только если y предшествует x в порядке.

Источник

def lt(x: T, y: T): Boolean

Возвращает true если и только если x предшествует y в порядке и не совпадает с y.

Источник

def reverse: PartialOrdering[T]