Spec-Zone.ru › Scala 2.12 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.)

Источник
Either.scala
Линейные супертипы

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

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[lang]
Классы определений
AnyRef
Аннотации
@throws( ... ) @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]

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

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

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

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

Implicit
Этот член добавляется неявным преобразованием из RightProjection[A, B] в Ensuring[RightProjection[A, B]] с помощью метода Ensuring в scala.Predef.
Definition Classes
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 в противном случае.

Definition Classes
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 filter[A1](p: (B) ⇒ Boolean): Option[Either[A1, B]]

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

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

def finalize(): Unit

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

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

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
Note

не указано 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 (@see java.lang.String.format).

Неявное
Этот член добавляется неявным преобразованием из RightProjection[A, B] в StringFormat[RightProjection[A, B]] выполненным методом StringFormat в scala.Predef.
Классы определения
StringFormat
Аннотации
@inline()

def get: B

Возвращает значение из этого Right или выбрасывает java.util.NoSuchElementException, если это Left.

Right(12).right.get // 12
Left(12).right.get // NoSuchElementException
Исключения

java.util.NoSuchElementException, если проекция Left.

final def getClass(): Class[_]

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

возвращает

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

Классы определения
AnyRef → Any
Аннотации
@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. В последнем примере, поскольку аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли содержимое списка указанному типу.

возвращает

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

Классы определения
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).

возвращает

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

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

final def notify(): Unit

Разбуждает один поток, который ожидает на мониторе объекта получателя.

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

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

final def notifyAll(): Unit

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

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

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

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( ... )

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

Описание класса
AnyRef
Аннотации
@throws( ... )

final def wait(arg0: Long): Unit

Описание класса
AnyRef
Аннотации
@throws( ... ) @native()

def →[B](y: B): (RightProjection[A, B], B)

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

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.12.9/scala/util/Either$$RightProjection.html

Spec-Zone.ru

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