Spec-Zone.ru › Scala 2.12 Library

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

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

Проецирует Either в Left.

Source
Either.scala
См. также

scala.util.Either#left

Линейные супертипы

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

новый LeftProjection(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

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

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

Неявный
Этот член добавлен неявным преобразованием из LeftProjection[A, B] в ArrowAssoc[LeftProjection[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: (LeftProjection[A, B]) ⇒ Boolean, msg: ⇒ Any): LeftProjection[A, B]

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

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

Неявный
Этот член добавлен неявным преобразованием из LeftProjection[A, B] в Ensuring[LeftProjection[A, B]], выполненным методом Ensuring в scala.Predef.
Классы определений
Ensuring

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

Неявный
Этот член добавлен неявным преобразованием из LeftProjection[A, B] в Ensuring[LeftProjection[A, B]], выполненным методом Ensuring в scala.Predef.
Классы определений
Ensuring

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

Неявный
Этот член добавлен неявным преобразованием из LeftProjection[A, B] в Ensuring[LeftProjection[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).

возвращает

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

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

def exists(p: (A) ⇒ Boolean): Boolean

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

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

def filter[B1](p: (A) ⇒ Boolean): Option[Either[A, B1]]

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

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

def finalize(): Unit

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

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

Атрибуты
protected[lang]
Классы определений
AnyRef
Аннотации
@throws( classOf[java.lang.Throwable] )
Примечание

не указан SLS как член AnyRef

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

Связывает заданную функцию через Left.

Left(12).left.flatMap(x => Left("scala")) // Left("scala")
Right(12).left.flatMap(x => Left("scala")) // Right(12)
f

Функция для связывания через Left.

def forall(p: (A) ⇒ Boolean): Boolean

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

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

def foreach[U](f: (A) ⇒ U): Unit

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

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

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

def formatted(fmtstr: String): String

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

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

def get: A

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

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

java.util.NoSuchElementException если проекция является scala.util.Right

final def getClass(): Class[_]

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

Возвращает

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

Определяющие классы
AnyRef → Any
Аннотации
@native()

def getOrElse[A1 >: A](or: ⇒ A1): A1

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

Left(12).left.getOrElse(17)  // 12
Right(12).left.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[A1](f: (A) ⇒ A1): Either[A1, B]

Применяет функцию-аргумент к Left.

Left(12).left.map(_ + 2) // Left(14)
Right[Int, Int](12).left.map(_ + 2) // Right(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[A]

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

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

def toSeq: Seq[A]

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

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

final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

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

Definition Classes
AnyRef
Annotations
@throws( ... )

final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... ) @native()

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

Неявный
Этот член добавлен с помощью неявного преобразования из LeftProjection[A, B] в ArrowAssoc[LeftProjection[A, B]] с помощью метода ArrowAssoc в scala.Predef.
Definition Classes
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$$LeftProjection.html

Spec-Zone.ru

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