Класс scala.util.Either.LeftProjection
final case class LeftProjection[+A, +B](e: Either[A, B]) extends Product with Serializable
Конструкторы экземпляров
новый 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 зависит от платформы.
- возвращает
копию объекта получателя.
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[_]
Возвращает представление класса объекта во время выполнения.
- Возвращает
объект класса, соответствующий типу получателя во время выполнения.
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
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
Проецирует
EitherвLeft.scala.util.Either#left