Тракт scala.reflect.api.Types

API, поддерживаемый всеми аннотированными типами. Основным источником информации о типах является страница scala.reflect.api.Types.

Класс-экстрактор для создания и сопоставления с образцом с синтаксисом AnnotatedType(annotations, underlying). Здесь annotations — аннотации, которые прикреплены к базовому типу underlying. selfSym — символ, представляющий собой сам аннотированный тип.

BoundedWildcardTypes, используемые только во время вывода типов, создаются в двух местах:

Если ожидаемый тип выражения — экзистенциальный тип, его скрытые символы заменяются ограниченными универсальными символами. 2. Когда ищется неявное преобразование, частично основанное на имени метода в типе преобразуемого объекта, создается тип HasMethodMatching: MethodType с параметрами, типизированными как BoundedWildcardTypes.

API, поддерживаемый всеми этими типами. Основным источником информации о типах является страница scala.reflect.api.Types.

Подпись типа ClassInfo используется для определения родительских типов и объявлений классов, трактов и объектов. Если класс, тракт или объект C объявлен так

C extends P_1 with ... with P_m { D_1; ...; D_n}

его тип ClassInfo имеет следующий вид:

ClassInfo(List(P_1, ..., P_m), Scope(D_1, ..., D_n), C)

API, поддерживаемый всеми типами информации о классах. Основным источником информации о типах является страница scala.reflect.api.Types.

Не имеет специальных методов. Существует для обеспечения сохранённой идентичности CompoundType.

Тип ConstantType не может быть выражен в пользовательских программах; он выводится как тип константы. Вот некоторые константы с их типами и внутренним строковым представлением:

1           ConstantType(Constant(1))       Int(1)
"abc"       ConstantType(Constant("abc"))   String("abc")

ConstantTypes обозначают значения, которые могут быть безопасно сложены во время проверки типов. Операция deconst возвращает эквивалентный тип, который не будет скомпилирован как константа.

API, поддерживаемый всеми типами констант. Основным источником информации о типах является страница scala.reflect.api.Types.

API, поддерживаемый всеми экзистенциальными типами. Основным источником информации о типах является страница scala.reflect.api.Types.

Класс-экстрактор для создания и сопоставления с шаблоном с синтаксисом ExistentialType(quantified, underlying). Здесь quantified — это переменные типа, связанные экзистенциальным типом, а underlying — это тип, квантифицированный экзистенциально.

API, поддерживаемый всеми типами методов. Основным источником информации о типах является страница scala.reflect.api.Types.

Класс-экстрактор для создания и сопоставления с шаблоном с синтаксисом MethodType(params, restpe). Здесь params — это потенциально пустой список символов параметров метода, а restpe — тип результата метода. Если метод является каррированным, restpe будет другим MethodType. Примечание: MethodType(Nil, Int) будет типом метода, определённого с пустым списком параметров.

def f(): Int

Если метод полностью без параметров, как в

def f: Int

его тип — NullaryMethodType.

API, поддерживаемый всеми типами методов без параметров. Основным источником информации о типах является страница scala.reflect.api.Types.

Класс-экстрактор для создания и сопоставления с шаблоном с синтаксисом NullaryMethodType(resultType). Здесь resultType — тип результата метода без параметров.

API, поддерживаемый всеми полиморфными типами. Основным источником информации о типах является страница scala.reflect.api.Types.

Класс-экстрактор для создания и сопоставления с шаблоном с синтаксисом PolyType(typeParams, resultType). Здесь typeParams — это параметры типа метода, а resultType — подпись типа, следующая за параметрами типа.

Тип RefinedType определяет типы любого из форм слева, со своими представлениями RefinedType справа.

P_1 with ... with P_m { D_1; ...; D_n}      RefinedType(List(P_1, ..., P_m), Scope(D_1, ..., D_n))
P_1 with ... with P_m                       RefinedType(List(P_1, ..., P_m), Scope())
{ D_1; ...; D_n}                            RefinedType(List(AnyRef), Scope(D_1, ..., D_n))

API, поддерживаемый всеми уточнёнными типами. Основным источником информации о типах является страница scala.reflect.api.Types.

Тип SingleType описывает типы, представленные слева, с их представлениями TypeRef справа.

(T # x).type             SingleType(T, x)
p.x.type                 SingleType(p.type, x)
x.type                   SingleType(NoPrefix, x)

API, поддерживаемый всеми одиночными типами. Основным источником информации о типах является страница scala.reflect.api.Types.

Тип Scala одиночных типов, т.е. типы, которые содержат только одно значение non-null. Они включают типы форм

C.this.type
C.super.type
x.type

а также константные типы.

Не имеет специальных методов. Существует для обеспечения стираемой идентичности SingletonType.

Тип SuperType не записывается напрямую, но возникает, когда C.super используется в качестве префикса в TypeRef или SingleType. Его внутреннее представление

SuperType(thistpe, supertpe)

Здесь, thistpe — тип соответствующего this-типа. Например, в типе, полученном из C.super, часть thistpe была бы ThisType(C). supertpe — тип суперкласса, на который ссылается super.

API, поддерживаемый всеми супертипами. Основным источником информации о типах является страница scala.reflect.api.Types.

Одиночный тип, описывающий типы в левой форме, с соответствующим ThisType представлением справа:

C.this.type             ThisType(C)

API, поддерживаемый всеми типами this. Основным источником информации о типах является страница scala.reflect.api.Types.

Тип Scala-типов, а также подписей типов Scala. (Внутри нет различия между ними).

API типов. Основным источником информации о типах является страница scala.reflect.api.Types.

Тип TypeBounds используется для указания нижних и верхних границ типов для параметров типов и абстрактных типов. Это не тип первого класса. Если абстрактный тип или параметр типа объявлен одним из способов слева, его тип — это тип TypeBounds справа.

T >: L <: U               TypeBounds(L, U)
T >: L                    TypeBounds(L, Any)
T <: U                    TypeBounds(Nothing, U)

API, поддерживаемый всеми границами типов. Основным источником информации о типах является страница scala.reflect.api.Types.

Тип TypeRef описывает типы любого из представленных слева форм, с их представлениями TypeRef справа.

T # C[T_1, ..., T_n]      TypeRef(T, C, List(T_1, ..., T_n))
p.C[T_1, ..., T_n]        TypeRef(p.type, C, List(T_1, ..., T_n))
C[T_1, ..., T_n]          TypeRef(NoPrefix, C, List(T_1, ..., T_n))
T # C                     TypeRef(T, C, Nil)
p.C                       TypeRef(p.type, C, Nil)
C                         TypeRef(NoPrefix, C, Nil)

API, поддерживаемый всеми ссылками на типы. Основным источником информации о типах является страница scala.reflect.api.Types.