Type.Reflection.Unsafe

Copyright	(c) The University of Glasgow CWI 2001--2015
License	BSD-style (see the file libraries/base/LICENSE)
Safe Haskell	Safe-Inferred
Language	Haskell2010

Представления типов TyCon и TypeRep, и функция mkTyCon, которая используется производными экземплярами Typeable для построения TyCon.

Предупреждение: эти функции могут использоваться для построения некорректно типизированных представлений типов.

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

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

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

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

mkTrApp :: forall k1 k2 (a :: k1 -> k2) (b :: k1). TypeRep (a :: k1 -> k2) -> TypeRep (b :: k1) -> TypeRep (a b) Source

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

:: String	имя пакета
-> String	имя модуля
-> String	имя конструктора типа
-> Int	число переменных рода
-> KindRep	представление рода
-> TyCon	Уникальный объект `TyCon`. Используется, когда строки выделяются динамически, например, при бинарной десериализации

Чрезвычайно небезопасно.

Наблюдайте за Fingerprint представления типа

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

Представление, созданное GHC для получения типа TypeRep.

KindRepTyConApp TyCon [KindRep]
KindRepVar !KindBndr
KindRepApp KindRep KindRep
KindRepFun KindRep KindRep
KindRepTYPE !RuntimeRep
KindRepTypeLitS TypeLitSort Addr#
KindRepTypeLitD TypeLitSort [Char]

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

Show KindRep
Подробности примера Определено в GHC.Show Методы showsPrec :: Int -> KindRep -> ShowS Source show :: KindRep -> String Source showList :: [KindRep] -> ShowS Source

TypeLitSymbol
TypeLitNat

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

Show TypeLitSort	С момента выпуска: base-4.11.0.0
Подробности примера Определено в GHC.Show Методы showsPrec :: Int -> TypeLitSort -> ShowS Source show :: TypeLitSort -> String Source showList :: [TypeLitSort] -> ShowS 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 Исходный код