Type.Reflection

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

Содержание

Класс Typeable
Пропозициональное равенство
Представления типов
- Индексированные типом
- Квантифицированные
Конструкторы типов
Имена модулей

Описание

Этот модуль предоставляет механизм представления типов с индексацией типом, аналогичный описанному в работе:

Simon Peyton-Jones, Stephanie Weirich, Richard Eisenberg, Dimitrios Vytiniotis. «Размышления о типах». Сборник статей к 60-летию Philip Wadler, Эдинбург (апрель 2016 г.).

Интерфейс предоставляет TypeRep — представление типа, которое можно безопасно разбирать и составлять. Пример использования см. в Data.Dynamic.

Начиная с: base-4.10.0.0

Класс Typeable

class Typeable (a :: k) Source

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

Минимальное полное определение

typeRep#

typeRep :: forall {k} (a :: k). Typeable a => TypeRep a Source

withTypeable :: forall k (a :: k) r. TypeRep a -> (Typeable a => r) -> r Source

Используйте 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 Source

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

Начиная с: base-4.7.0.0

Конструкторы

Refl :: forall {k} (a :: k). a :~: a

Экземпляры

Подробности экземпляров

Category ((:~:) :: k -> k -> Type) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Control.Category Методы id :: forall (a :: k). a :~: a Исходный код (.) :: forall (b :: k) (c :: k) (a :: k). (b :~: c) -> (a :~: b) -> a :~: c Исходный код
TestCoercion ((:~:) a :: k -> Type) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Coercion Методы testCoercion :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (Coercion a0 b) Исходный код
TestEquality ((:~:) a :: k -> Type) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы testEquality :: forall (a0 :: k) (b :: k). (a :~: a0) -> (a :~: b) -> Maybe (a0 :~: b) Исходный код
Eq (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы (==) :: (a :~: b) -> (a :~: b) -> Bool Исходный код (/=) :: (a :~: b) -> (a :~: b) -> Bool Исходный код
Ord (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы compare :: (a :~: b) -> (a :~: b) -> Ordering Исходный код (<) :: (a :~: b) -> (a :~: b) -> Bool Исходный код (<=) :: (a :~: b) -> (a :~: b) -> Bool Исходный код (>) :: (a :~: b) -> (a :~: b) -> Bool Исходный код (>=) :: (a :~: b) -> (a :~: b) -> Bool Исходный код max :: (a :~: b) -> (a :~: b) -> a :~: b Исходный код min :: (a :~: b) -> (a :~: b) -> a :~: b Исходный код
(a ~ b, Data a) => Data (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a :~: b) -> c (a :~: b) Исходный код gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a :~: b) Исходный код toConstr :: (a :~: b) -> Constr Исходный код dataTypeOf :: (a :~: b) -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a :~: b)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a :~: b)) Исходный код gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a :~: b) -> a :~: b Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a :~: b) -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> (a :~: b) -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> (a :~: b) -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~: b) -> m (a :~: b) Исходный код
a ~ b => Bounded (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы minBound :: a :~: b Исходный код maxBound :: a :~: b Исходный код
a ~ b => Enum (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы succ :: (a :~: b) -> a :~: b Исходный код pred :: (a :~: b) -> a :~: b Исходный код toEnum :: Int -> a :~: b Исходный код fromEnum :: (a :~: b) -> Int Исходный код enumFrom :: (a :~: b) -> [a :~: b] Исходный код enumFromThen :: (a :~: b) -> (a :~: b) -> [a :~: b] Исходный код enumFromTo :: (a :~: b) -> (a :~: b) -> [a :~: b] Исходный код enumFromThenTo :: (a :~: b) -> (a :~: b) -> (a :~: b) -> [a :~: b] Исходный код
a ~ b => Read (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы readsPrec :: Int -> ReadS (a :~: b) Исходный код readList :: ReadS [a :~: b] Исходный код readPrec :: ReadPrec (a :~: b) Исходный код readListPrec :: ReadPrec [a :~: b] Исходный код
Show (a :~: b) Исходный код	Появилось в: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы showsPrec :: Int -> (a :~: b) -> ShowS Исходный код show :: (a :~: b) -> String Исходный код showList :: [a :~: b] -> ShowS Исходный код

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

Гетерогенное пропозициональное равенство видов. Как и :~:, a :~~: b имеет завершающее значение тогда и только тогда, когда a и b являются одним и тем же типом.

Появилось в: base-4.10.0.0

Конструкторы

HRefl :: forall {k1} (a :: k1). a :~~: a

Экземпляры

Сведения об экземплярах

Category ((:~~:) :: k -> k -> Type) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Control.Category Методы id :: forall (a :: k). a :~~: a Источник (.) :: forall (b :: k) (c :: k) (a :: k). (b :~~: c) -> (a :~~: b) -> a :~~: c Источник
TestCoercion ((:~~:) a :: k -> Type) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Coercion Методы testCoercion :: forall (a0 :: k) (b :: k). (a :~~: a0) -> (a :~~: b) -> Maybe (Coercion a0 b) Источник
TestEquality ((:~~:) a :: k -> Type) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы testEquality :: forall (a0 :: k) (b :: k). (a :~~: a0) -> (a :~~: b) -> Maybe (a0 :~: b) Источник
Eq (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы (==) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (/=) :: (a :~~: b) -> (a :~~: b) -> Bool Источник
Ord (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы compare :: (a :~~: b) -> (a :~~: b) -> Ordering Источник (<) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (<=) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (>) :: (a :~~: b) -> (a :~~: b) -> Bool Источник (>=) :: (a :~~: b) -> (a :~~: b) -> Bool Источник max :: (a :~~: b) -> (a :~~: b) -> a :~~: b Источник min :: (a :~~: b) -> (a :~~: b) -> a :~~: b Источник
(Typeable i, Typeable j, Typeable a, Typeable b, a ~~ b) => Data (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Data Методы gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a :~~: b) -> c (a :~~: b) Источник gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a :~~: b) Источник toConstr :: (a :~~: b) -> Constr Источник dataTypeOf :: (a :~~: b) -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a :~~: b)) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a :~~: b)) Источник gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a :~~: b) -> a :~~: b Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a :~~: b) -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a :~~: b) -> r Источник gmapQ :: (forall d. Data d => d -> u) -> (a :~~: b) -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> (a :~~: b) -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a :~~: b) -> m (a :~~: b) Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~~: b) -> m (a :~~: b) Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a :~~: b) -> m (a :~~: b) Источник
a ~~ b => Bounded (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы minBound :: a :~~: b Источник maxBound :: a :~~: b Источник
a ~~ b => Enum (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы succ :: (a :~~: b) -> a :~~: b Источник pred :: (a :~~: b) -> a :~~: b Источник toEnum :: Int -> a :~~: b Источник fromEnum :: (a :~~: b) -> Int Источник enumFrom :: (a :~~: b) -> [a :~~: b] Источник enumFromThen :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] Источник enumFromTo :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] Источник enumFromThenTo :: (a :~~: b) -> (a :~~: b) -> (a :~~: b) -> [a :~~: b] Источник
a ~~ b => Read (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы readsPrec :: Int -> ReadS (a :~~: b) Источник readList :: ReadS [a :~~: b] Источник readPrec :: ReadPrec (a :~~: b) Источник readListPrec :: ReadPrec [a :~~: b] Источник
Show (a :~~: b) Источник	С версии: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Type.Equality Методы showsPrec :: Int -> (a :~~: b) -> ShowS Источник show :: (a :~~: b) -> String Источник showList :: [a :~~: b] -> ShowS Источник

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

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

data TypeRep (a :: k) Источник

TypeRep — это конкретное представление мономорфного типа. TypeRep поддерживает достаточно эффективную проверку равенства. См. примечание [Grand plan for Typeable] в GHC.Tc.Instance.Typeable

Экземпляры

Сведения об экземплярах

TestEquality (TypeRep :: k -> Type) Исходный код
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы testEquality :: forall (a :: k) (b :: k). TypeRep a -> TypeRep b -> Maybe (a :~: b) Исходный код
Eq (TypeRep a) Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы (==) :: TypeRep a -> TypeRep a -> Bool Исходный код (/=) :: TypeRep a -> TypeRep a -> Bool Исходный код
Ord (TypeRep a) Исходный код	Начиная с: base-4.4.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы compare :: TypeRep a -> TypeRep a -> Ordering Исходный код (<) :: TypeRep a -> TypeRep a -> Bool Исходный код (<=) :: TypeRep a -> TypeRep a -> Bool Исходный код (>) :: TypeRep a -> TypeRep a -> Bool Исходный код (>=) :: TypeRep a -> TypeRep a -> Bool Исходный код max :: TypeRep a -> TypeRep a -> TypeRep a Исходный код min :: TypeRep a -> TypeRep a -> TypeRep a Исходный код
Show (TypeRep a) Исходный код
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы showsPrec :: Int -> TypeRep a -> ShowS Исходный код show :: TypeRep a -> String Исходный код showList :: [TypeRep a] -> ShowS Исходный код

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 Исходный код

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

Например,

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

typeRepTyCon :: forall {k} (a :: k). TypeRep a -> TyCon Исходный код

Получить конструктор типа из представления типа

rnfTypeRep :: forall {k} (a :: k). TypeRep a -> () Исходный код

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

Начиная с: base-4.8.0.0

eqTypeRep :: forall k1 k2 (a :: k1) (b :: k2). TypeRep a -> TypeRep b -> Maybe (a :~~: b) Исходный код

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

Начиная с: base-4.10

decTypeRep :: forall k1 k2 (a :: k1) (b :: k2). TypeRep a -> TypeRep b -> Either ((a :~~: b) -> Void) (a :~~: b) Исходный код

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

Начиная с: base-4.19.0.0

typeRepKind :: forall k (a :: k). TypeRep a -> TypeRep k Исходный код

Получить род типа.

splitApps :: forall {k} (a :: k). TypeRep a -> (TyCon, [SomeTypeRep]) Исходный код

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

data SomeTypeRep where Исходный код

Неиндексированное представление типа.

Конструкторы

SomeTypeRep :: forall k (a :: k). !(TypeRep a) -> SomeTypeRep

Экземпляры

Сведения об экземплярах

Eq SomeTypeRep Исходный код
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы (==) :: SomeTypeRep -> SomeTypeRep -> Bool Исходный код (/=) :: SomeTypeRep -> SomeTypeRep -> Bool Исходный код
Ord SomeTypeRep Исходный код
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы compare :: SomeTypeRep -> SomeTypeRep -> Ordering Исходный код (<) :: SomeTypeRep -> SomeTypeRep -> Bool Исходный код (<=) :: SomeTypeRep -> SomeTypeRep -> Bool Исходный код (>) :: SomeTypeRep -> SomeTypeRep -> Bool Исходный код (>=) :: SomeTypeRep -> SomeTypeRep -> Bool Исходный код max :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep Исходный код min :: SomeTypeRep -> SomeTypeRep -> SomeTypeRep Исходный код
Show SomeTypeRep Исходный код	Начиная с: base-4.10.0.0
Сведения об экземпляре Определён в GHC.Internal.Data.Typeable.Internal Методы showsPrec :: Int -> SomeTypeRep -> ShowS Исходный код show :: SomeTypeRep -> String Исходный код showList :: [SomeTypeRep] -> ShowS Исходный код

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 Исходный код

Экземпляры

Сведения об экземплярах

Eq TyCon Исходный код
Сведения об экземпляре Определён в GHC.Internal.Classes Методы (==) :: TyCon -> TyCon -> Bool Исходный код (/=) :: TyCon -> TyCon -> Bool Исходный код
Ord TyCon Исходный код
Сведения об экземпляре Определён в GHC.Internal.Classes Методы compare :: TyCon -> TyCon -> Ordering Исходный код (<) :: TyCon -> TyCon -> Bool Исходный код (<=) :: TyCon -> TyCon -> Bool Исходный код (>) :: TyCon -> TyCon -> Bool Исходный код (>=) :: TyCon -> TyCon -> Bool Исходный код max :: TyCon -> TyCon -> TyCon Исходный код min :: TyCon -> TyCon -> TyCon Исходный код
Show TyCon Исходный код	Начиная с: base-2.1
Сведения об экземпляре Определён в GHC.Internal.Show Методы showsPrec :: Int -> TyCon -> ShowS Исходный код show :: TyCon -> String Исходный код showList :: [TyCon] -> ShowS Исходный код

tyConPackage :: TyCon -> String Исходный код

tyConModule :: TyCon -> String Исходный код

tyConName :: TyCon -> String Исходный код

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

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

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

Экземпляры

Сведения об экземплярах

Eq Module Исходный код
Сведения об экземпляре Определён в GHC.Internal.Classes Методы (==) :: Module -> Module -> Bool Исходный код (/=) :: Module -> Module -> Bool Исходный код
Show Module Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определён в GHC.Internal.Show Методы showsPrec :: Int -> Module -> ShowS Исходный код show :: Module -> String Исходный код showList :: [Module] -> ShowS Исходный код

moduleName :: Module -> String Исходный код

modulePackage :: Module -> String Исходный код

rnfModule :: Module -> () Исходный код

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

Начиная с: base-4.8.0.0

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/base-4.22.0.0-66f8/Type-Reflection.html

Type.Reflection

Содержание

Описание

Класс Typeable

Минимальное полное определение

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

Конструкторы

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Конструкторы

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

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

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

Экземпляры

Методы

Методы

Методы

Методы

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

Конструкторы

Экземпляры

Методы

Методы

Методы

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

Экземпляры

Методы

Методы

Методы

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

Экземпляры

Методы

Методы