Объект scala.util.control.TailCalls

объект TailCalls

Методы, экспортируемые этим объектом, реализуют вызовы хвоста с помощью транспонирования. Методы вызова хвоста должны возвращать свой результат с помощью done или вызывать следующий метод с помощью tailcall. Оба возвращают объект TailRec. Результат вычисления функции с вызовом хвоста можно получить из значения Tailrec с помощью метода result. Реализовано в соответствии с описанием в статье «Stackless Scala with Free Monads» http://blog.higher-order.com/assets/trampolines.pdf

Вот пример использования:

import scala.util.control.TailCalls._

def isEven(xs: List[Int]): TailRec[Boolean] =
  if (xs.isEmpty) done(true) else tailcall(isOdd(xs.tail))

def isOdd(xs: List[Int]): TailRec[Boolean] =
 if (xs.isEmpty) done(false) else tailcall(isEven(xs.tail))

isEven((1 to 100000).toList).result

def fib(n: Int): TailRec[Int] =
  if (n < 2) done(n) else for {
    x <- tailcall(fib(n - 1))
    y <- tailcall(fib(n - 2))
  } yield (x + y)

fib(40).result

Источник: TailCalls.scala
Линейные супертипы: AnyRef, Any

Типы-члены

служебный класс Call[A](rest: () => TailRec[A]) extends TailRec[A] с Product и Serializable

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

Атрибуты: защищенный

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

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

Атрибуты: защищенный

служебный класс Done[A](value: A) extends TailRec[A] с Product и Serializable

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

Атрибуты: защищенный

абстрактный класс TailRec[+A] extends AnyRef

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

final def !=(arg0: Any): Boolean

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

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

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

final def ##(): Int

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

возвращает: значение хеша, соответствующее ==

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

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 done[A](result: A): TailRec[A]

Используется для возвращения конечного результата вычисления с вызовом хвоста

возвращает: объект TailRec, представляющий вычисление, которое немедленно возвращает result

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 equals(arg0: AnyRef): Boolean

Метод равенства для ссылочных типов. Реализация по умолчанию делегирует eq.

См. также equals в scala.Any.

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

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

def finalize(): Unit

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

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

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

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

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

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

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

def hashCode(): Int

Метод hashCode для ссылочных типов. См. hashCode в scala.Any.

возвращает: значение хэш-кода для данного объекта.

Определяющие классы: 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 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 tailcall[A](rest: => TailRec[A]): TailRec[A]

Выполняет вызов хвостовой рекурсии.

rest: выражение, подлежащее вычислению в вызове хвостовой рекурсии
возвращает: объект TailRec, представляющий выражение rest

def toString(): String

Создаёт строковое представление этого объекта. По умолчанию представление зависит от платформы. На платформе Java это конкатенация имени класса, «@» и хэш-кода объекта в шестнадцатеричном формате.

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

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

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