Spec-Zone.ru › Scala 2.13 Library

Трейт scala.math.PartiallyOrdered

trait PartiallyOrdered[+A] extends Any

Класс для частично упорядоченных данных.

Source
PartiallyOrdered.scala
Линейные супертипы
Any

Типовые члены

type AsPartiallyOrdered[B] = (B) => PartiallyOrdered[B]

Абстрактные значения-члены

abstract def getClass(): Class[_ <: AnyRef]

Возвращает представление класса во время выполнения объекта.

возвращает

объект класса, соответствующий типу получателя во время выполнения.

Definition Classes
Any

abstract def tryCompareTo[B >: A](that: B)(implicit arg0: AsPartiallyOrdered[B]): Option[Int]

Результат сравнения this с операндом that. Возвращает None если операнды не сравнимы. Если операнды сравнимы, возвращает Some(x), где

    x < 0 если this < that x == 0 если this == that x > 0 если this > that

Члены конкретных значений

final def !=(arg0: Any): Boolean

Проверка двух объектов на неравенство.

возвращает

true если !(this == that), иначе false.

Определяющие классы
Any

final def ##(): Int

Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для числовых типов возвращает хэш-значение, которое соответствует равенству значений: если две инстанции типа значения сравниваются как true, то ## вернёт одинаковое хэш-значение для каждой из них. Для null возвращает хэш-код, где null.hashCode выбрасывает NullPointerException.

возвращает

значение хэша, соответствующее ==

Определяющие классы
Any

def +(other: String): String

Неявный
Этот член добавлен неявным преобразованием из PartiallyOrdered[A] вany2stringadd[PartiallyOrdered[A]] с помощью метода any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

def ->[B](y: B): (PartiallyOrdered[A], B)

Неявный
Этот член добавлен неявным преобразованием из PartiallyOrdered[A] вArrowAssoc[PartiallyOrdered[A]] с помощью метода ArrowAssoc в scala.Predef.
Определяющие классы
ArrowAssoc
Аннотации
@inline()

def <[B >: A](that: B)(implicit arg0: AsPartiallyOrdered[B]): Boolean

def <=[B >: A](that: B)(implicit arg0: AsPartiallyOrdered[B]): Boolean

final def ==(arg0: Any): Boolean

Проверка двух объектов на равенство. Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).

возвращает

true если объект-получатель эквивалентен аргументу; false в противном случае.

Определяющие классы
Any

def >[B >: A](that: B)(implicit arg0: AsPartiallyOrdered[B]): Boolean

def >=[B >: A](that: B)(implicit arg0: AsPartiallyOrdered[B]): Boolean

final def asInstanceOf[T0]: T0

Приведение объекта-получателя к типу T0.

Обратите внимание, что успех приведения во время выполнения зависит от семантики стирания в Scala. Таким образом, выражение 1.asInstanceOf[String] выбросит ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] не выбросит. В последнем примере, поскольку аргумент типа стирается во время компиляции, невозможно проверить, содержат ли элементы списка нужный тип.

возвращает

объект-получатель.

Определяющие классы
Any
Исключения

ClassCastException если объект-получатель не является экземпляром стирания типа T0.

def ensuring(cond: (ЧастичноУпорядоченный[A]) => Boolean, msg: => Любой): ЧастичноУпорядоченный[A]

Неявный
Этот член добавлен неявным преобразованием из ЧастичноУпорядоченный[A] в Ensuring[ЧастичноУпорядоченный[A]], выполненным методом Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: (ЧастичноУпорядоченный[A]) => Boolean): ЧастичноУпорядоченный[A]

Неявный
Этот член добавлен неявным преобразованием из ЧастичноУпорядоченный[A] в Ensuring[ЧастичноУпорядоченный[A]], выполненным методом Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: Boolean, msg: => Любой): ЧастичноУпорядоченный[A]

Неявный
Этот член добавлен неявным преобразованием из ЧастичноУпорядоченный[A] в Ensuring[ЧастичноУпорядоченный[A]], выполненным методом Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: Boolean): ЧастичноУпорядоченный[A]

Неявный
Этот член добавлен неявным преобразованием из ЧастичноУпорядоченный[A] в Ensuring[ЧастичноУпорядоченный[A]], выполненным методом Ensuring в scala.Predef.
Определяющие классы
Ensuring

def equals(arg0: Любой): Boolean

Сравнивает текущий объект (this) с объектом-аргументом (that) на эквивалентность.

Любая реализация этого метода должна быть отношением эквивалентности:

    Он является рефлексивным: для любого экземпляра x типа Any, x.equals(x) должен возвращать true.Он является симметричным: для любых экземпляров x и y типа Any, x.equals(y) должен возвращать true тогда и только тогда, когда y.equals(x) возвращает true.Он является транзитивным: для любых экземпляров x, y, и z типа Any если x.equals(y) возвращает true и y.equals(z) возвращает true, то x.equals(z) должен возвращать true.

Если вы переопределяете этот метод, вы должны убедиться, что ваша реализация остается отношением эквивалентности. Кроме того, при переопределении этого метода обычно необходимо переопределить hashCode для обеспечения того, чтобы объекты, которые «равны» (o1.equals(o2) возвращает true), хэшировались в один и тот же scala.Int. (o1.hashCode.equals(o2.hashCode)).

возвращает

true если объект-получатель эквивалентен аргументу; false в противном случае.

Определяющие классы
Любой

def formatted(fmtstr: Строка): Строка

Возвращает строку, отформатированную в соответствии с данной строкой format. Строки формата такие же, как для String.format (@see java.lang.String.format).

Неявный
Этот член добавлен неявным преобразованием из ЧастичноУпорядоченный[A] в StringFormat[ЧастичноУпорядоченный[A]] выполненным методом StringFormat в scala.Predef.
Определяющие классы
StringFormat
Аннотации
@inline()

def hashCode(): Int

Вычислить хеш-код объекта.

По умолчанию алгоритм хеширования зависит от платформы.

Обратите внимание, что для двух объектов могут быть идентичные хеш-коды (o1.hashCode.equals(o2.hashCode)) при этом они не будут равны (o1.equals(o2) возвращает false). Вырожденная реализация может всегда возвращать 0. Однако требуется, чтобы если два объекта равны (o1.equals(o2) возвращает true) у них были идентичные хеш-коды (o1.hashCode.equals(o2.hashCode)). Поэтому при переопределении этого метода необходимо убедиться, что поведение согласуется с методом equals.

возвращает

значение хеш-кода для этого объекта.

Определяющие классы
Any

final def isInstanceOf[T0]: Boolean

Проверить, является ли динамический тип объекта приемника T0.

Обратите внимание, что результат проверки зависит от стирания типов в Scala. Таким образом выражение 1.isInstanceOf[String] вернёт false, а выражение List(1).isInstanceOf[List[String]] вернёт true. В последнем примере, так как аргумент типа стирается на этапе компиляции, невозможно проверить, являются ли элементы списка указанного типа.

возвращает

true если объект-приемник является экземпляром стёртого типа T0; false в противном случае.

Определяющие классы
Any

def toString(): String

Возвращает строковое представление объекта.

По умолчанию представление зависит от платформы.

возвращает

строковое представление объекта.

Определяющие классы
Any

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala/math/PartiallyOrdered.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API