Spec-Zone.ru › Scala 2.13 Library

Класс scala.util.control.TailCalls.Done

case class Done[A](value: A) extends TailRec[A] with Product with Serializable

Внутренний класс, представляющий конечный результат, возвращаемый вычислением хвостовой рекурсии

Атрибуты
protected
Источник
TailCalls.scala
Линейные надтипы
java.io.Serializable, Product, Equals, TailRec[A], AnyRef, Any

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

new Done(value: A)

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

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

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

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

Неявный
Этот член добавлен с помощью неявного преобразования из Done[A] вArrowAssoc[Done[A]] с помощью метода 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

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

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

def ensuring(cond: (Done[A]) => Boolean): Done[A]

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

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

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

def ensuring(cond: Boolean): Done[A]

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

returns

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

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

def finalize(): Unit

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

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

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

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

final def flatMap[B](f: (A) => TailRec[B]): TailRec[B]

Продолжить вычисление с f и объединить трамплинирование этого вычисления с трамплинированием f.

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

def formatted(fmtstr: String): String

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

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

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

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

returns

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

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

final def isInstanceOf[T0]: Boolean

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

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

returns

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

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

final def map[B](f: (A) => B): TailRec[B]

Продолжить вычисление с f.

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

final def ne(arg0: AnyRef): Boolean

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

returns

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 result: A

Возвращает результат вычисления с хвостовым вызовом.

Определяющие классы
TailRec
Аннотации
@tailrec()

final def resume: scala.Either[() => TailRec[A], A]

Возвращает либо следующий шаг вычисления с хвостовым вызовом, либо результат, если шагов больше нет.

Определяющие классы
TailRec
Аннотации
@tailrec()

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

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

val value: A

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/control/TailCalls$$Done.html

Spec-Zone.ru

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