Spec-Zone.ru › Scala 2.13 Library

Класс scala.util.Either.RightProjection

final case class RightProjection[+A, +B](e: Either[A, B]) extends Product with Serializable

Проектирует Either в Right.

Поскольку Either уже имеет правую предвзятость, этот класс обычно не требуется. (Он сохраняется в библиотеке для удобства кросс-компиляции между Scala 2.11 и 2.12.)

Аннотации
@deprecated
Устаревший

(С версии 2.13.0) Either теперь имеет правую предвзятость, вызовы right следует удалить

Исходный код
Either.scala
Линейные надтипы
java.io.Serializable, Product, Equals, AnyRef, Any

Конструкторы экземпляров

new RightProjection(e: Either[A, B])

Члены-значения

final def !=(arg0: Any): Boolean

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

возвращает

true если !(this == that), в противном случае false.

Определения классов
AnyRef → Any

final def ##(): Int

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

возвращает

значение хеша, согласованное с ==

Определения классов
AnyRef → Any

def +(other: String): String

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

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

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

final def ==(arg0: Any): Boolean

Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).

возвращает

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

Определения классов
AnyRef → Any

final def asInstanceOf[T0]: T0

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

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

возвращает

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

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

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

def clone(): AnyRef

Создает копию объекта-получателя.

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

возвращает

копию объекта-получателя.

Атрибуты
protected[java.lang]
Определения классов
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
Примечание

не задано SLS как член AnyRef

val e: Either[A, B]

def ensuring(cond: (RightProjection[A, B]) => Boolean, msg: => Any): RightProjection[A, B]

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

def ensuring(cond: (RightProjection[A, B]) => Boolean): RightProjection[A, B]

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

def ensuring(cond: Boolean, msg: => Any): RightProjection[A, B]

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

def ensuring(cond: Boolean): RightProjection[A, B]

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

final def eq(arg0: AnyRef): Boolean

Проверяет, является ли аргумент (that) ссылкой на получаемый объект (this).

Метод eq реализует отношение эквивалентности на непустых экземплярах AnyRef, и обладает тремя дополнительными свойствами:

    Он последователен: для любых непустых экземпляров x и y типа AnyRef, многократные вызовы x.eq(y) последовательно возвращают true или последовательно возвращают false. Для любого непустого экземпляра x типа AnyRef, x.eq(null) и null.eq(x) возвращают false. null.eq(null) возвращает true.

При переопределении методов equals или hashCode важно гарантировать, что их поведение соответствует равенству ссылок. Поэтому, если два объекта являются ссылками друг на друга (o1 eq o2), они должны быть равны друг другу (o1 == o2) и должны иметь одинаковое значение хеша (o1.hashCode == o2.hashCode).

returns

true если аргумент является ссылкой на получаемый объект; false в противном случае.

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

def exists(p: (B) => Boolean): Boolean

Возвращает false если Left или возвращает результат применения заданной функции к значению Right.

Right(12).right.exists(_ > 10)  // true
Right(7).right.exists(_ > 10)   // false
Left(12).right.exists(_ > 10)   // false

def filterToOption[A1](p: (B) => Boolean): Option[Either[A1, B]]

Возвращает None если это Left или если заданный предикат p не выполняется для правого значения, в противном случае возвращает Right.

Right(12).right.filterToOption(_ > 10) // Some(Right(12))
Right(7).right.filterToOption(_ > 10)  // None
Left(12).right.filterToOption(_ > 10)  // None

def finalize(): Unit

Вызывается сборщиком мусора для объекта-получателя, когда к объекту больше нет ссылок.

Детали того, когда и если вызывается метод finalize, а также взаимодействие между finalize и нелокальными возвратами и исключениями, зависят от платформы.

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable])
Примечание

не специфицировано SLS в качестве члена AnyRef

def flatMap[A1 >: A, B1](f: (B) => Either[A1, B1]): Either[A1, B1]

Применяет заданную функцию к Right.

f

Функция, применяемая к Right.

def forall(f: (B) => Boolean): Boolean

Возвращает true если Left или возвращает результат применения заданной функции к значению Right.

Right(12).right.forall(_ > 10) // true
Right(7).right.forall(_ > 10)  // false
Left(12).right.forall(_ > 10)  // true

def foreach[U](f: (B) => U): Unit

Выполняет заданную функцию со побочным эффектом, если это Right.

Right(12).right.foreach(x => println(x)) // prints "12"
Left(12).right.foreach(x => println(x))  // doesn't print
f

Функция со побочным эффектом для выполнения.

def formatted(fmtstr: String): String

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

Неявный
Этот член добавлен неявным преобразованием из RightProjection[A, B] в StringFormat[RightProjection[A, B]] с помощью метода StringFormat в scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()

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

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

returns

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

Definition Classes
AnyRef → Any
Annotations
@native()

def getOrElse[B1 >: B](or: => B1): B1

Возвращает значение из этого Right или заданное значение, если это Left.

Right(12).right.getOrElse(17) // 12
Left(12).right.getOrElse(17)  // 17

final def isInstanceOf[T0]: Boolean

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

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

returns

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

Definition Classes
Any

def map[B1](f: (B) => B1): Either[A, B1]

Заданная функция применяется, если это Right.

Right(12).right.map(x => "flower") // Result: Right("flower")
Left(12).right.map(x => "flower")  // Result: Left(12)

final def ne(arg0: AnyRef): Boolean

Эквивалентно !(this eq that).

returns

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

Definition Classes
AnyRef

final def notify(): Unit

Разбуждает единственную нить, ожидающую монитора объекта-получателя.

Definition Classes
AnyRef
Annotations
@native()
Примечание

не специфицировано SLS в качестве члена AnyRef

final def notifyAll(): Unit

Разбуждает все потоки, ожидающие монитора объекта-приемника.

Классы-определения
AnyRef
Аннотации
@native()
Примечание

не указано SLS в качестве члена AnyRef

def productElementNames: Iterator[String]

Итератор по именам всех элементов этого продукта.

Классы-определения
Product

final def synchronized[T0](arg0: => T0): T0

Классы-определения
AnyRef

def toOption: Option[B]

Возвращает Some содержащий значение Right, если оно существует, или None, если это Left.

Right(12).right.toOption // Some(12)
Left(12).right.toOption // None

def toSeq: Seq[B]

Возвращает Seq содержащий значение Right, если оно существует, или пустое Seq если это Left.

Right(12).right.toSeq // Seq(12)
Left(12).right.toSeq // Seq()

final def wait(): Unit

Классы-определения
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Классы-определения
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Классы-определения
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException]) @native()

© 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/util/Either$$RightProjection.html

Spec-Zone.ru

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