Spec-Zone.ru › Scala 2.13 Library

Class scala.util.Either.LeftProjection

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

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

Source
Either.scala
See also

scala.util.Either#left

Линейные супертипы
java.io.Serializable, Product, Equals, AnyRef, Any

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

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

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

final def !=(arg0: Any): Boolean

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

returns

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

Definition Classes
AnyRef → Any

final def ##(): Int

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

returns

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

Definition Classes
AnyRef → Any

def +(other: String): String

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

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

Неявный
Этот член добавлен неявным преобразованием из LeftProjection[A, B] в ArrowAssoc[LeftProjection[A, B]] выполненным методом ArrowAssoc в scala.Predef.
Definition Classes
ArrowAssoc
Аннотации
@inline()

final def ==(arg0: Any): Boolean

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

returns

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

Definition Classes
AnyRef → Any

final def asInstanceOf[T0]: T0

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

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

returns

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

Definition Classes
Any
Исключения

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

def clone(): AnyRef

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

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

returns

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

Атрибуты
protected[java.lang]
Definition Classes
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @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 реализует отношение эквивалентности на не-null экземплярах AnyRef, и обладает тремя дополнительными свойствами:

    Он последователен: для любых не-null экземпляров x и y типа AnyRef, многократные вызовы x.eq(y) последовательно возвращают true или последовательно возвращают false.Для любого не-null экземпляра 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 filterToOption[B1](p: (A) => Boolean): Option[Either[A, B1]]

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

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

def finalize(): Unit

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

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

Атрибуты
protected[java.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()

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

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

возвращает

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

Определяющие классы
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

def productElementNames: Iterator[String]

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

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

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

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

Spec-Zone.ru

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