Spec-Zone.ru › Scala 2.13 Library

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

служебный класс Cont[A, B](a: TailRec[A], f: (A) => TailRec[B]) extends TailRec[B] with Product with Serializable

Внутренний класс, представляющий продолжение с функцией A => TailRec[B]. Он необходим для реализации flatMap.

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

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

новый Cont(a: TailRec[A], f: (A) => TailRec[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

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

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

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

val a: TailRec[A]

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: (Cont[A, B]) => Boolean, msg: => Any): Cont[A, B]

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

def ensuring(cond: (Cont[A, B]) => Boolean): Cont[A, B]

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

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

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

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

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

val f: (A) => TailRec[B]

def finalize(): Unit

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

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

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

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

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

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

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

def formatted(fmtstr: String): String

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

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

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

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

возвращает

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

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

final def isInstanceOf[T0]: Boolean

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

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

возвращает

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

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

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

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

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

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

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

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

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

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

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

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

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

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$$Cont.html

Spec-Zone.ru

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