Data.Typeable

Авторские права	(c) The University of Glasgow CWI 2001--2004
Лицензия	BSD-style (см. файл libraries/base/LICENSE)
Разработчик	libraries@haskell.org
Устойчивость	стабильная
Переносимость	переносимая
Safe Haskell	Safe
Язык	Haskell2010

Содержание

Класс Typeable
Пропозициональное равенство
Безопасный приведение типов
Обобщенные преобразования типов для высших порядков
Канонический тип прокси
Представления типов
Наблюдение за представлениями типов
Конструкторы типов
Для обратной совместимости

Описание

Класс Typeable частично реифицирует типы, связывая представления типов с типами. Эти представления типов можно сравнивать, и, в свою очередь, можно определить операцию безопасного приведения типов. В этих целях небезопасное приведение типов защищено проверкой на равенство типа (представления). Модуль Data.Dynamic использует Typeable для реализации динамики. Модуль Data.Data использует Typeable и безопасное приведение типов (но не динамику) для поддержки стиля «Scrap your boilerplate» в обобщенном программировании.

Примечания по совместимости

Начиная с GHC 8.2, GHC поддерживает индексированные типом представления типов. Data.Typeable предоставляет представления типов, квалифицированные по этому индексу, обеспечивая интерфейс, очень похожий на понятие Typeable в предыдущих версиях. Для индексированного типом интерфейса см. Type.Reflection.

Начиная с GHC 7.10, все типы автоматически получают Typeable инстансы, полученные по умолчанию. Это в отличие от предыдущих версий, где Typeable должны были быть явно выведены с использованием DeriveDataTypeable расширения языка.

Начиная с GHC 7.8, Typeable является поликиндом. Требуемые изменения могут нарушить некоторые старые программы, связанные с Typeable. Более подробные сведения об этом, включая способы исправления вашего кода, можно найти на странице вики Typeable PolyTypeable.

Класс Typeable

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

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

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

typeRep#

typeOf :: Typeable a => a -> TypeRep Источник

Наблюдает за представлением типа для типа значения.

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

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

С: base-4.7.0.0

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

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

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

С: base-4.7.0.0

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

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

Инстансы

Детали инстансов

``` ```html ```

Category ((:~:) :: k -> k -> Тип) Источник	С: 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 Источник

Подробности экземпляра Определено в 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 :: Целое -> 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 => Read (a :~: b) Исходный код	С момента: base-4.7.0.0
Детали экземпляра Определено в GHC.Internal.Data.Type.Equality Методы readsPrec :: Целое -> ReadS (a :~: b) Исходный код readList :: ReadS [a :~: b] Исходный код readPrec :: ReadPrec (a :~: b) Исходный код readListPrec :: ReadPrec [a :~: b] Исходный код
Вывод (a :~: b) Исходный код	С момента: base-4.7.0.0
Детали экземпляра Определено в GHC.Internal.Data.Type.Equality Методы showsPrec :: Целое -> (a :~: b) -> ShowS Исходный код show :: (a :~: b) -> Строка Исходный код showList :: [a :~: b] -> ShowS Исходный код
Равно (a :~: b) Исходный код	С момента: base-4.7.0.0
Детали экземпляра Определено в GHC.Internal.Data.Type.Equality Методы (==) :: (a :~: b) -> (a :~: b) -> Булево Исходный код (/=) :: (a :~: b) -> (a :~: b) -> Булево Исходный код
Порядок (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 Источник

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

Тип гетерогенного утверждения равенства. Как :~:, a :~~: b содержит значение, если и только если a — тот же тип, что и b.

С тех пор как: base-4.10.0.0

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

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

Экземпляры

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

Категория ((:~~:) :: k -> k -> Тип) Источник	С тех пор как: 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 -> Тип) Источник	С тех пор как: base-4.10.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Coercion Методы testCoercion :: forall (a0 :: k) (b :: k). (a :~~: a0) -> (a :~~: b) -> Может быть (Преобразование a0 b) Источник
TestEquality ((:~~:) a :: k -> Тип) Источник	С тех пор как: base-4.10.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Type.Equality Методы testEquality :: forall (a0 :: k) (b :: k). (a :~~: a0) -> (a :~~: b) -> Может быть (a0 :~: b) Источник
(Typeable i, Typeable j, Typeable a, Typeable b, a ~~ b) => Данные (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 Исходный код
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 Источник

Безопасный приведение типов

cast :: (Typeable a, Typeable b) => a -> МожетБыть b Источник

Операция безопасного приведения типов

eqT :: forall {k} (a :: k) (b :: k). (Typeable a, Typeable b) => МожетБыть (a :~: b) Источник

Извлечь свидетельство равенства двух типов

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

heqT :: forall {k1} {k2} (a :: k1) (b :: k2). (Typeable a, Typeable b) => МожетБыть (a :~~: b) Источник

Извлечь свидетельство гетерогенного равенства двух типов

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

decT :: forall {k} (a :: k) (b :: k). (Typeable a, Typeable b) => Либо ((a :~: b) -> Пустота) (a :~: b) Источник

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

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

hdecT :: forall {k1} {k2} (a :: k1) (b :: k2). (Typeable a, Typeable b) => Либо ((a :~~: b) -> Пустота) (a :~~: b) Источник

Определить гетерогенное равенство двух типов.

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

gcast :: forall {k} (a :: k) (b :: k) c. (Typeable a, Typeable b) => c a -> МожетБыть (c b) Источник

Гибкая вариация, параметризованная конструктором типа

Обобщенные приведения типов для типов высших порядков

gcast1 :: forall {k1} {k2} c (t :: k2 -> k1) (t' :: k2 -> k1) (a :: k2). (Typeable t, Typeable t') => c (t a) -> МожетБыть (c (t' a)) Источник

Приведение типов над k1 -> k2

gcast2 :: forall {k1} {k2} {k3} c (t :: k2 -> k3 -> k1) (t' :: k2 -> k3 -> k1) (a :: k2) (b :: k3). (Typeable t, Typeable t') => c (t a b) -> МожетБыть (c (t' a b)) Источник

Приведение типов над k1 -> k2 -> k3

Канонический тип прокси

data Proxy (t :: k) Источник

Proxy — это тип, который не содержит данных, но имеет фиктивный параметр произвольного типа (или даже рода). Его использование заключается в предоставлении информации о типе, даже если значение этого типа недоступно (или его создание слишком дорого).

Исторически, Proxy :: Proxy a является более безопасной альтернативой undefined :: a конструкциям.

>>> Proxy :: Proxy (Void, Int -> Int)
Proxy

Proxy может даже содержать типы высших родов,

>>> Proxy :: Proxy Either
Proxy

>>> Proxy :: Proxy Functor
Proxy

>>> Proxy :: Proxy complicatedStructure
Proxy

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

Proxy

Экземпляры

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

Generic1 (Proxy :: k -> Type) Источник

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

Определено в GHC.Internal.Generics

Связанные типы

type Rep1 (Proxy :: k -> Type)	С версии: base-4.6.0.0
Подробности о экземпляре Определено в GHC.Internal.Generics type Rep1 (Proxy :: k -> Type) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: k -> Type))

Методы

from1 :: forall (a :: k). Proxy a -> Rep1 (Proxy :: k -> Type) a Источник

to1 :: forall (a :: k). Rep1 (Proxy :: k -> Type) a -> Proxy a Источник

Eq1 (Proxy :: Type -> Type) Источник

С версии: base-4.9.0.0

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

Определено в Data.Functor.Classes

Методы

liftEq :: (a -> b -> Bool) -> Proxy a -> Proxy b -> Bool Источник

Ord1 (Proxy :: Type -> Type) Источник

С версии: base-4.9.0.0

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

Определено в Data.Functor.Classes

Методы

liftCompare :: (a -> b -> Ordering) -> Proxy a -> Proxy b -> Ordering Источник

Read1 (Proxy :: Type -> Type) Источник

С версии: base-4.9.0.0

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

Определено в Data.Functor.Classes

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Proxy a) Источник

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Proxy a] Источник

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Proxy a) Источник

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Proxy a] Источник

Show1 (Proxy :: Type -> Type) Источник

С версии: base-4.9.0.0

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

Определено в Data.Functor.Classes

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Proxy a -> ShowS Источник

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Proxy a] -> ShowS Источник

Contravariant (Proxy :: Type -> Type) Источник

Подробности экземпляра Определено в Data.Functor.Contravariant Методы contramap :: (a' -> a) -> Proxy a -> Proxy a' Исходный код (>$) :: b -> Proxy b -> Proxy a Исходный код
Alternative (Proxy :: Тип -> Тип) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы empty :: Proxy a Исходный код (<\|>) :: Proxy a -> Proxy a -> Proxy a Исходный код some :: Proxy a -> Proxy [a] Исходный код many :: Proxy a -> Proxy [a] Исходный код
Applicative (Proxy :: Тип -> Тип) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы pure :: a -> Proxy a Исходный код (<>) :: Proxy (a -> b) -> Proxy a -> Proxy b Исходный код liftA2 :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Исходный код (>) :: Proxy a -> Proxy b -> Proxy b Исходный код (<*) :: Proxy a -> Proxy b -> Proxy a Исходный код
Functor (Proxy :: Тип -> Тип) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы fmap :: (a -> b) -> Proxy a -> Proxy b Исходный код (<$) :: a -> Proxy b -> Proxy a Исходный код
Monad (Proxy :: Тип -> Тип) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы (>>=) :: Proxy a -> (a -> Proxy b) -> Proxy b Исходный код (>>) :: Proxy a -> Proxy b -> Proxy b Исходный код return :: a -> Proxy a Исходный код
MonadPlus (Proxy :: Тип -> Тип) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы mzero :: Proxy a Исходный код mplus :: Proxy a -> Proxy a -> Proxy a Исходный код

MonadZip (Proxy :: Type -> Type) Source	Since: ghc-internal-4.9.0.0
Instance details Defined in GHC.Internal.Control.Monad.Zip Методы mzip :: Proxy a -> Proxy b -> Proxy (a, b) Source mzipWith :: (a -> b -> c) -> Proxy a -> Proxy b -> Proxy c Source munzip :: Proxy (a, b) -> (Proxy a, Proxy b) Source
Foldable (Proxy :: Type -> Type) Source	Since: base-4.7.0.0
Instance details Defined in GHC.Internal.Data.Foldable Методы fold :: Monoid m => Proxy m -> m Source foldMap :: Monoid m => (a -> m) -> Proxy a -> m Source foldMap' :: Monoid m => (a -> m) -> Proxy a -> m Source foldr :: (a -> b -> b) -> b -> Proxy a -> b Source foldr' :: (a -> b -> b) -> b -> Proxy a -> b Source foldl :: (b -> a -> b) -> b -> Proxy a -> b Source foldl' :: (b -> a -> b) -> b -> Proxy a -> b Source foldr1 :: (a -> a -> a) -> Proxy a -> a Source foldl1 :: (a -> a -> a) -> Proxy a -> a Source toList :: Proxy a -> [a] Source null :: Proxy a -> Bool Source length :: Proxy a -> Int Source elem :: Eq a => a -> Proxy a -> Bool Source maximum :: Ord a => Proxy a -> a Source minimum :: Ord a => Proxy a -> a Source sum :: Num a => Proxy a -> a Source product :: Num a => Proxy a -> a Source
Traversable (Proxy :: Type -> Type) Source	Since: base-4.7.0.0
Instance details Defined in GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> Proxy a -> f (Proxy b) Source sequenceA :: Applicative f => Proxy (f a) -> f (Proxy a) Source mapM :: Monad m => (a -> m b) -> Proxy a -> m (Proxy b) Source sequence :: Monad m => Proxy (m a) -> m (Proxy a) Source

Monoid (Proxy s) Source	Since: base-4.7.0.0
Instance details Defined in GHC.Internal.Data.Proxy Методы mempty :: Proxy s Source mappend :: Proxy s -> Proxy s -> Proxy s Source mconcat :: [Proxy s] -> Proxy s Source
Semigroup (Proxy s) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Proxy Методы (<>) :: Proxy s -> Proxy s -> Proxy s Source sconcat :: NonEmpty (Proxy s) -> Proxy s Source stimes :: Integral b => b -> Proxy s -> Proxy s Source
Data t => Data (Proxy t) Source	Since: base-4.7.0.0
Instance details Defined in GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Proxy t -> c (Proxy t) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Proxy t) Source toConstr :: Proxy t -> Constr Source dataTypeOf :: Proxy t -> DataType Source dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Proxy t)) Source dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Proxy t)) Source gmapT :: (forall b. Data b => b -> b) -> Proxy t -> Proxy t Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Source gmapQ :: (forall d. Data d => d -> u) -> Proxy t -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> Proxy t -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Source
Bounded (Proxy t) Source	Since: base-4.7.0.0

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

Определено в GHC.Internal.Data.Proxy

Методы

minBound :: Proxy t Исходный код

maxBound :: Proxy t Исходный код

Enum (Proxy s) Исходный код

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

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

Определено в GHC.Internal.Data.Proxy

Методы

succ :: Proxy s -> Proxy s Исходный код

pred :: Proxy s -> Proxy s Исходный код

toEnum :: Int -> Proxy s Исходный код

fromEnum :: Proxy s -> Int Исходный код

enumFrom :: Proxy s -> [Proxy s] Исходный код

enumFromThen :: Proxy s -> Proxy s -> [Proxy s] Исходный код

enumFromTo :: Proxy s -> Proxy s -> [Proxy s] Исходный код

enumFromThenTo :: Proxy s -> Proxy s -> Proxy s -> [Proxy s] Исходный код

Generic (Proxy t) Исходный код

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

Определено в GHC.Internal.Generics

Связанные типы

type Rep (Proxy t)	С момента: base-4.6.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: Type -> Type))

Методы

from :: Proxy t -> Rep (Proxy t) x Исходный код

to :: Rep (Proxy t) x -> Proxy t Исходный код

Ix (Proxy s) Исходный код

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

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

Определено в GHC.Internal.Data.Proxy

Методы

range :: (Proxy s, Proxy s) -> [Proxy s] Исходный код

index :: (Proxy s, Proxy s) -> Proxy s -> Int Исходный код

unsafeIndex :: (Proxy s, Proxy s) -> Proxy s -> Int Исходный код

inRange :: (Proxy s, Proxy s) -> Proxy s -> Bool Исходный код

rangeSize :: (Proxy s, Proxy s) -> Int Исходный код

unsafeRangeSize :: (Proxy s, Proxy s) -> Int Исходный код

Read (Proxy t) Исходный код

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

Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы readsPrec :: Int -> ReadS (Proxy t) Исходный код readList :: ReadS [Proxy t] Исходный код readPrec :: ReadPrec (Proxy t) Исходный код readListPrec :: ReadPrec [Proxy t] Исходный код
Show (Proxy s) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы showsPrec :: Int -> Proxy s -> ShowS Исходный код show :: Proxy s -> String Исходный код showList :: [Proxy s] -> ShowS Исходный код
Eq (Proxy s) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы (==) :: Proxy s -> Proxy s -> Bool Исходный код (/=) :: Proxy s -> Proxy s -> Bool Исходный код
Ord (Proxy s) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Proxy Методы compare :: Proxy s -> Proxy s -> Ordering Исходный код (<) :: Proxy s -> Proxy s -> Bool Исходный код (<=) :: Proxy s -> Proxy s -> Bool Исходный код (>) :: Proxy s -> Proxy s -> Bool Исходный код (>=) :: Proxy s -> Proxy s -> Bool Исходный код max :: Proxy s -> Proxy s -> Proxy s Исходный код min :: Proxy s -> Proxy s -> Proxy s Исходный код
type Rep1 (Proxy :: k -> Тип) Исходный код	С момента: base-4.6.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (Proxy :: k -> Тип) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: k -> Тип))
type Rep (Proxy t) Исходный код	С момента: base-4.6.0.0

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

Определено в GHC.Internal.Generics

type Rep (Proxy t) = D1 ('MetaData "Proxy" "GHC.Internal.Data.Proxy" "ghc-internal" 'False) (C1 ('MetaCons "Proxy" 'PrefixI 'False) (U1 :: Type -> Type))

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

type TypeRep = SomeTypeRep Исходный код

Квантифицированное представление типа.

rnfTypeRep :: TypeRep -> () Исходный код

Принудительно привести TypeRep к нормальной форме.

showsTypeRep :: TypeRep -> ShowS Исходный код

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

mkFunTy :: TypeRep -> TypeRep -> TypeRep Исходный код

Построить тип функции.

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

funResultTy :: TypeRep -> TypeRep -> Maybe TypeRep Исходный код

Применяет тип к типу функции. Возвращает: Just u если первый аргумент представляет функцию типа t -> u, а второй аргумент представляет функцию типа t. В противном случае возвращает Nothing.

splitTyConApp :: TypeRep -> (TyCon, [TypeRep]) Исходный код

Разделяет применение конструктора типов. Обратите внимание, что если конструктор типов является полиморфным, это не вернет используемые типы.

typeRepArgs :: TypeRep -> [TypeRep] Исходный код

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

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

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

typeRepFingerprint :: TypeRep -> Fingerprint Исходный код

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

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

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

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

Примеры реализации

Подробности примеров реализации

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

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

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

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

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

tyConFingerprint :: TyCon -> Fingerprint Исходный код

Для обратной совместимости

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

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

typeOf3 :: Typeable t => t a b c -> TypeRep Исходный код

typeOf4 :: Typeable t => t a b c d -> TypeRep Исходный код

typeOf5 :: Typeable t => t a b c d e -> TypeRep Исходный код

typeOf6 :: Typeable t => t a b c d e f -> TypeRep Исходный код

typeOf7 :: Typeable t => t a b c d e f g -> TypeRep Исходный код

trLiftedRep :: TypeRep LiftedRep Исходный код

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.12.1/docs/libraries/base-4.21.0.0-8e62/Data-Typeable.html