Type.Reflection

Copyright	(c) The University of Glasgow CWI 2001--2017
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
Stability	experimental
Portability	non-portable (requires GADTs and compiler support)
Safe Haskell	Trustworthy
Language	Haskell2010

Содержание

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

Описание

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

Simon Peyton-Jones, Stephanie Weirich, Richard Eisenberg, Dimitrios Vytiniotis. "A reflection on types." Proc. Philip Wadler's 60th birthday Festschrift, Edinburgh (April 2016). ([PDF](https:/www.microsoft.comen-usresearchwp-contentuploads201608dynamic.pdf))

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

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

Класс Typeable

class Typeable (a :: k) Source

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

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

typeRep#

typeRep :: Typeable a => TypeRep a Source

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

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

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

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

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

Refl :: a :~: a

Примеры

Подробности примеров

Категория ((:~:) :: k -> k -> Тип)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Control.Category Методы id :: forall (a :: k0). a :~: a Исходный код (.) :: forall (b :: k0) (c :: k0) (a :: k0). (b :~: c) -> (a :~: b) -> a :~: c Исходный код
TestEquality ((:~:) a :: k -> Тип)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Type.Equality Методы testEquality :: forall (a0 :: k0) (b :: k0). (a :~: a0) -> (a :~: b) -> Возможно (a0 :~: b) Исходный код
TestCoercion ((:~:) a :: k -> Тип)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Type.Coercion Методы testCoercion :: forall (a0 :: k0) (b :: k0). (a :~: a0) -> (a :~: b) -> Возможно (Преобразование a0 b) Исходный код
a ~ b => Ограниченный (a :~: b)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Type.Equality Методы minBound :: a :~: b Исходный код maxBound :: a :~: b Исходный код
a ~ b => Перечисление (a :~: b)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Type.Equality Методы succ :: (a :~: b) -> a :~: b Исходный код pred :: (a :~: b) -> a :~: b Исходный код toEnum :: Целое -> a :~: b Исходный код fromEnum :: (a :~: b) -> Целое Исходный код 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)	С версии: base-4.7.0.0
Подробности экземпляра Определено в Data.Type.Equality Методы (==) :: (a :~: b) -> (a :~: b) -> Булево Исходный код (/=) :: (a :~: b) -> (a :~: b) -> Булево Исходный код
(a ~ b, Данные a) => Данные (a :~: b)	С версии: base-4.7.0.0

Подробности экземпляра Определено в 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) Исходный код
Ord (a :~: b)	С версии: base-4.7.0.0
Подробности экземпляра Определено в 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 => Read (a :~: b)	С версии: base-4.7.0.0

Детали экземпляра Определено в 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
Детали экземпляра Определено в Data.Type.Equality Методы showsPrec :: Int -> (a :~: b) -> ShowS Источник show :: (a :~: b) -> String Источник showList :: [a :~: b] -> ShowS Источник

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

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

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

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

HRefl :: a :~~: a

Примеры

Подробности примеров

Категория ((:~~:) :: k -> k -> Тип)	С версии: base-4.10.0.0
Подробности примера Определено в Control.Category Методы id :: forall (a :: k0). a :~~: a Исходный код (.) :: forall (b :: k0) (c :: k0) (a :: k0). (b :~~: c) -> (a :~~: b) -> a :~~: c Исходный код
TestEquality ((:~~:) a :: k -> Тип)	С версии: base-4.10.0.0
Подробности примера Определено в Data.Type.Equality Методы testEquality :: forall (a0 :: k0) (b :: k0). (a :~~: a0) -> (a :~~: b) -> Может быть (a0 :~: b) Исходный код
TestCoercion ((:~~:) a :: k -> Тип)	С версии: base-4.10.0.0
Подробности примера Определено в Data.Type.Coercion Методы testCoercion :: forall (a0 :: k0) (b :: k0). (a :~~: a0) -> (a :~~: b) -> Может быть (Преобразование a0 b) Исходный код
a ~~ b => Ограниченный (a :~~: b)	С версии: base-4.10.0.0
Подробности примера Определено в Data.Type.Equality Методы minBound :: a :~~: b Исходный код maxBound :: a :~~: b Исходный код
a ~~ b => Перечисление (a :~~: b)	С версии: base-4.10.0.0
Подробности примера Определено в Data.Type.Equality Методы succ :: (a :~~: b) -> a :~~: b Исходный код pred :: (a :~~: b) -> a :~~: b Исходный код toEnum :: Целое число -> a :~~: b Исходный код fromEnum :: (a :~~: b) -> Целое число Исходный код
Eq (a :~~: b)	С версии: base-4.10.0.0
Подробности примера Определено в Data.Type.Equality Методы (==) :: (a :~~: b) -> (a :~~: b) -> Булево Исходный код (/=) :: (a :~~: b) -> (a :~~: b) -> Булево Исходный код
(Тип i, Тип j, Тип a, Тип b, a ~~ b) => Данные (a :~~: b)	С версии: base-4.10.0.0

Подробности экземпляра Определено в 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) Исходный код
Ord (a :~~: b)	С: base-4.10.0.0
Подробности экземпляра Определено в 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 => Read (a :~~: b)	С: base-4.10.0.0

Подробности экземпляра Определено в Data.Type.Equality Методы readsPrec :: Целое -> ReadS (a :~~: b) Исходный код readList :: ReadS [a :~~: b] Исходный код readPrec :: ReadPrec (a :~~: b) Исходный код readListPrec :: ReadPrec [a :~~: b] Исходный код
Show (a :~~: b)	С момента: base-4.10.0.0
Подробности экземпляра Определено в Data.Type.Equality Методы showsPrec :: Целое -> (a :~~: b) -> ShowS Исходный код show :: (a :~~: b) -> Строка Исходный код showList :: [a :~~: b] -> ShowS Исходный код

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

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

data TypeRep a Исходный код

Конкретное представление (мономорфного) типа. TypeRep поддерживает достаточно эффективное сравнение на равенство.

Примеры

Подробности примеров

TestEquality (TypeRep :: k -> Тип)
Подробности примера Определено в Data.Typeable.Internal Методы testEquality :: forall (a :: k0) (b :: k0). TypeRep a -> TypeRep b -> МожетБыть (a :~: b) Исходный код
Eq (TypeRep a)	С момента: base-2.1
Подробности примера Определено в Data.Typeable.Internal Методы (==) :: TypeRep a -> TypeRep a -> Булево Исходный код (/=) :: TypeRep a -> TypeRep a -> Булево Исходный код
Ord (TypeRep a)	С момента: base-4.4.0.0
Подробности примера Определено в Data.Typeable.Internal Методы compare :: TypeRep a -> TypeRep a -> Порядок Исходный код (<) :: TypeRep a -> TypeRep a -> Булево Исходный код (<=) :: TypeRep a -> TypeRep a -> Булево Исходный код (>) :: TypeRep a -> TypeRep a -> Булево Исходный код (>=) :: TypeRep a -> TypeRep a -> Булево Исходный код max :: TypeRep a -> TypeRep a -> TypeRep a Исходный код min :: TypeRep a -> TypeRep a -> TypeRep a Исходный код
Вывод (TypeRep a)
Подробности примера Определено в Data.Typeable.Internal Методы showsPrec :: Целое -> TypeRep a -> ShowS Исходный код show :: TypeRep a -> Строка Исходный код showList :: [TypeRep a] -> ShowS Исходный код

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

pattern App :: forall k2 (t :: k2). () => forall k1 (a :: k1 -> k2) (b :: k1). 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 :: forall k (a :: k). () => IsApplication a ~ "" => TyCon -> TypeRep a Исходный код

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

pattern Con' :: forall k (a :: k). () => IsApplication 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 :: k). () => forall (r1 :: RuntimeRep) (r2 :: RuntimeRep) (arg :: TYPE r1) (res :: TYPE r2). (k ~ Тип, fun ~~ (arg -> res)) => TypeRep arg -> TypeRep res -> TypeRep fun Исходный код

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

Например,

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

typeRepTyCon :: TypeRep a -> TyCon Исходный код

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

rnfTypeRep :: TypeRep a -> () Source

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

Since: base-4.8.0.0

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

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

Since: base-4.10

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

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

splitApps :: TypeRep a -> (TyCon, [SomeTypeRep]) Source

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

data SomeTypeRep where Source

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

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

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

Экземпляры

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

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

someTypeRep :: forall proxy a. Typeable a => proxy a -> SomeTypeRep Source

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

Since: base-4.7.0.0

someTypeRepTyCon :: SomeTypeRep -> TyCon Source

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

rnfSomeTypeRep :: SomeTypeRep -> () Source

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

Since: base-4.10.0.0

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

data TyCon Source

Примеры

Подробности примеров

Eq TyCon
Подробности примера Определено в GHC.Classes Методы (==) :: TyCon -> TyCon -> Bool Исходный код (/=) :: TyCon -> TyCon -> Bool Исходный код
Ord TyCon
Подробности примера Определено в GHC.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.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.Classes Методы (==) :: Module -> Module -> Bool Исходный код (/=) :: Module -> Module -> Bool Исходный код
Show Module	С момента: base-4.9.0.0
Подробности примера Определено в GHC.Show Методы showsPrec :: Int -> Module -> ShowS Исходный код show :: Module -> String Исходный код showList :: [Module] -> ShowS Исходный код

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

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

rnfModule :: Module -> () Source

Вспомогательная функция для полной оценки 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/8.10.2/docs/html/libraries/base-4.14.1.0/Type-Reflection.html

Type.Reflection

Содержание

Описание

Класс Typeable

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

Предложение об равенстве

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

Примеры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

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

Примеры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

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

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

Примеры

Методы

Методы

Методы

Методы

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

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

Экземпляры

Методы

Методы

Методы

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

Примеры

Методы

Методы

Методы

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

Примеры

Методы

Методы