Type.Reflection

Авторские права	(c) Университет Глазго, CWI 2001--2017
Лицензия	BSD-стиля (см. файл libraries/base/LICENSE)
Поддержка	libraries@haskell.org
Стабильность	стабильная
Переносимость	непереносимая (требует GADTs и поддержки компилятора)
Safe Haskell	Безопасный
Язык	Haskell2010

Класс Typeable

class Typeable (a :: k) Источник

Класс Typeable позволяет вычислить конкретное представление типа.

typeRep :: forall {k} (a :: k). Typeable a => TypeRep a Источник

withTypeable :: forall k (a :: k) r. TypeRep a -> (Typeable a => r) -> r Источник

Используйте TypeRep как Typeable доказательство.

Псевдоним шаблона TypeRep вводит ограничение Typeable в область видимости и может быть использован вместо withTypeable.

f :: TypeRep a -> ..
f rep = withTypeable {- Typeable a in scope -}

f :: TypeRep a -> ..
f TypeRep = {- Typeable a in scope -}

Пропозициональное равенство

data (a :: k) :~: (b :: k) where infix 4 Источник

Пропозициональное равенство. Если a :~: b содержит какое-либо завершающее значение, то тип a такой же, как и тип b. Чтобы использовать это равенство на практике, выполните сопоставление с образцом по a :~: b, чтобы получить конструктор Refl; в теле сопоставления с образцом компилятор знает, что a ~ b.

С момента выпуска: base-4.7.0.0

data (a :: k1) :~~: (b :: k2) where infix 4 Исходный код

Пропозициональное равенство гетерогенных типов. Как :~:, a :~~: b обитает в терминальной величине тогда и только тогда, когда a является тем же типом, что и b.

С момента: base-4.10.0.0

Представления типов

Индексированные типом

data TypeRep (a :: k) Исходный код

TypeRep — это конкретное представление (мономорфного) типа. TypeRep поддерживает достаточно эффективный механизм сравнения. См. Примечание [Grand plan for Typeable] в GHC.Tc.Instance.Typeable

pattern TypeRep :: () => Typeable a => TypeRep a Исходный код

Явно двунаправленный синоним шаблона для построения конкретного представления типа.

В качестве выражения: Строит одиночный TypeRep a при условии неявной привязки 'Typeable a':

TypeRep @a :: Typeable a => TypeRep a

В качестве шаблона: Сопоставляет явное TypeRep a свидетельство, подразумевая неявную Typeable a привязку.

f :: TypeRep a -> ..
f TypeRep = {- Typeable a in scope -}

С версии: base-4.17.0.0

typeOf :: Typeable a => a -> TypeRep a Исходный код

pattern App :: forall k2 t k1 a b. () => t ~ a b => TypeRep a -> TypeRep b -> TypeRep t Исходный код

Применение типа.

Например,

typeRep @(Maybe Int) === App (typeRep @Maybe) (typeRep @Int)

Обратите внимание, что это также будет соответствовать типу функции,

typeRep @(Int# -> Char)
  ===
App (App arrow (typeRep @Int#)) (typeRep @Char)

где arrow :: TypeRep ((->) :: TYPE IntRep -> Type -> Type).

pattern Con :: () => NotApplication a => TyCon -> TypeRep a Исходный код

Сопоставление шаблонов с конструктором типа

pattern Con' :: () => NotApplication a => TyCon -> [SomeTypeRep] -> TypeRep a Исходный код

Сопоставление шаблонов с конструктором типа, включая его инстанцированные переменные типов.

Например,

App (Con' proxyTyCon ks) intRep = typeRep @(Proxy @Int)

будет введено в область видимости,

proxyTyCon :: TyCon
ks         == [someTypeRep Type] :: [SomeTypeRep]
intRep     == typeRep Int

pattern Fun :: forall k fun (r1 :: RuntimeRep) (r2 :: RuntimeRep) arg res. () => (k ~ Type, fun ~~ (arg -> res)) => TypeRep arg -> TypeRep res -> TypeRep fun Source

Конструктор типа функции.

Например,

typeRep @(Int -> Char) === Fun (typeRep @Int) (typeRep @Char)

typeRepTyCon :: forall {k} (a :: k). TypeRep a -> TyCon Source

Наблюдение за конструктором типа представления типа

rnfTypeRep :: forall {k} (a :: k). TypeRep a -> () Source

Вспомогательная функция для полного вычисления TypeRep для использования в качестве реализации NFData(rnf)

С момента: base-4.8.0.0

eqTypeRep :: forall k1 k2 (a :: k1) (b :: k2). TypeRep a -> TypeRep b -> Maybe (a :~~: b) Source

Равенство типов

С момента: base-4.10

decTypeRep :: forall k1 k2 (a :: k1) (b :: k2). TypeRep a -> TypeRep b -> Either ((a :~~: b) -> Void) (a :~~: b) Source

Решение равенства типов

С момента: base-4.19.0.0

typeRepKind :: forall k (a :: k). TypeRep a -> TypeRep k Source

Наблюдение за видом типа.

splitApps :: forall {k} (a :: k). TypeRep a -> (TyCon, [SomeTypeRep]) Source

Квантифицированные

data SomeTypeRep where Source

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

someTypeRep :: forall {k} proxy (a :: k). Typeable a => proxy a -> SomeTypeRep Исходный код

Принимает значение типа a и возвращает конкретное представление этого типа.

С момента: base-4.7.0.0

someTypeRepTyCon :: SomeTypeRep -> TyCon Исходный код

Наблюдайте за конструктором типа квантифицированного представления типа.

rnfSomeTypeRep :: SomeTypeRep -> () Исходный код

Вспомогательная функция для полного вычисления SomeTypeRep для использования в реализации NFData(rnf).

С момента: base-4.10.0.0

Конструкторы типов

data TyCon Исходный код

tyConPackage :: TyCon -> Строка Исходный код

tyConModule :: TyCon -> Строка Исходный код

tyConName :: TyCon -> Строка Исходный код

rnfTyCon :: TyCon -> () Исходный код

Имена модулей

data Модуль Исходный код

moduleName :: Модуль -> Строка Исходный код

modulePackage :: Модуль -> Строка Исходный код

rnfModule :: Модуль -> () Исходный код

Помощник для полной оценки TyCon для использования как NFData(rnf) реализации

С момента: base-4.8.0.0