Spec-Zone.ru › Haskell 9

Data.Data

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

Содержание

  • Модуль Data.Typeable, повторно экспортированный для удобства
  • Класс Data для обработки применений конструкторов
  • Представления типов данных
    • Конструкторы
    • Наблюдатели
    • Функции для удобства
  • Представления конструкторов данных
    • Конструкторы
    • Наблюдатели
    • Функция для удобства: алгебраические типы данных
    • От строк к конструкторам и наоборот: все типы данных
  • Функции для удобства: разбор конструкторов типов
  • Обобщённые операции, определённые через gunfold

Описание

Этот модуль предоставляет класс Data со своими примитивами для обобщённого программирования, а также экземпляры для многих типов данных. Он соответствует объединению предыдущего Data.Generics.Basics и почти всех Data.Generics.Instances. Экземпляры, отсутствующие в этом модуле, были перемещены в модуль Data.Generics.Instances в пакете syb.

"Сбросьте свой шаблон" --- Обобщённое программирование в Haskell. См. https://wiki.haskell.org/Research_papers/Generics#Scrap_your_boilerplate.21.

Модуль Data.Typeable, повторно экспортированный для удобства

module Data.Typeable

Класс Data для обработки применений конструкторов

class Typeable a => Data a where Источник

Класс Data включает фундаментальный примитив gfoldl для свёртки над применениями конструкторов, скажем, терминов. Этот примитив может быть реализован несколькими способами для отображения над непосредственными подтермами термина; см. комбинаторы gmap позже в этом классе. Действительно, обобщённому программисту, возможно, не нужно использовать изощрённый примитив gfoldl, а скорее интуитивные комбинаторы gmap. Примитив gfoldl дополняется средствами для запроса конструкторов высшего уровня, для преобразования представлений конструкторов в правильные термины и для перечисления всех возможных конструкторов типов данных. Это дополнение позволяет нам обслуживать сценарии обобщённого программирования, такие как чтение, отображение, равенство, генерация терминов.

Комбинаторы gmapT, gmapQ, gmapM, и т. д., все предоставлены с определениями по умолчанию через gfoldl, оставляя возможность предоставления типов данных. (Включение комбинаторов gmap в качестве членов класса Data позволяет программисту или компилятору выводить специализированный, возможно, более эффективный код для каждого типа данных. Примечание: gfoldl более высокоуровневый, чем комбинаторы gmap. Это подлежит текущим экспериментам по бенчмаркингу. Возможно, комбинаторы gmap будут вынесены из класса Data.)

Понятие, определение комбинаторов gmap через примитив gfoldl требует идентификации аргументов функций gfoldl. Технически, нам также нужно идентифицировать конструктор типа c для построения типа результата из типа свёрнутого термина.

В определении комбинаторов gmapQx мы используем конструкторы типов-фиктивных аргументов для c в типе gfoldl, поскольку тип результата запроса не включает (полиморфный) тип аргумента термина. В определении gmapQl мы просто используем обычный константный конструктор типа, потому что gfoldl левоассоциативен, и поэтому он легко подходит для свёртки левоассоциативной бинарной операции над непосредственными подтермами. В определении gmapQr требуется больше усилий. Мы используем технику высшего порядка аккумуляции для посредничества между левоассоциативным применением конструктора и правоассоциативной бинарной операцией (например, (:)). Когда запрос предназначен для вычисления значения типа r, тогда тип результата внутри обобщённой свёртки равен r -> r. Таким образом, результат свёртки — функция, которой мы, наконец, передаём правильный единичный элемент.

С опцией -XDeriveDataTypeable, GHC может автоматически генерировать экземпляры класса Data. Например, при объявлении

data T a b = C1 a b | C2 deriving (Typeable, Data)

GHC сгенерирует экземпляр, эквивалентный

instance (Data a, Data b) => Data (T a b) where
    gfoldl k z (C1 a b) = z C1 `k` a `k` b
    gfoldl k z C2       = z C2

    gunfold k z c = case constrIndex c of
                        1 -> k (k (z C1))
                        2 -> z C2

    toConstr (C1 _ _) = con_C1
    toConstr C2       = con_C2

    dataTypeOf _ = ty_T

con_C1 = mkConstr ty_T "C1" [] Prefix
con_C2 = mkConstr ty_T "C2" [] Prefix
ty_T   = mkDataType "Module.T" [con_C1, con_C2]

Это подходит для типов данных, которые экспортируются прозрачно.

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

gunfold, toConstr, dataTypeOf

Методы

gfoldl Исходный код

Аргументы

:: (forall d b. Data d => c (d -> b) -> d -> c b)

определяет, как складываются непустые приложения конструкторов. Оно принимает сложенную хвостовую часть приложения конструктора и его голову, т.е. непосредственный подтерм, и объединяет их каким-то образом.
-> (forall g. g -> c g)

определяет, как складывается пустое приложение конструктора, как нейтральный/начальный элемент для свёртки списка.
-> a

структура, которая должна быть сложена.
-> c a

результат, с типом, определённым в терминах a, но вариативность достигается с помощью конструктора типов c для построения фактического типа результата.

Операция левоассоциативной свёртки для приложений конструкторов.

Тип gfoldl вызывает головную боль, но операционально это просто обобщение свёртки списка.

Значение по умолчанию для gfoldl равно const id, что подходит для абстрактных типов данных без подструктур.

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a Исходный код

Разворачивание приложений конструкторов

toConstr :: a -> Constr Исходный код

Получение конструктора из заданного значения данных. Для корректных терминов предполагается, что это конструктор верхнего уровня. Примитивные типы данных здесь рассматриваются как потенциально бесконечные множества значений (т.е. конструкторы).

dataTypeOf :: a -> DataType Исходный код

Внешний конструктор типа

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c a) Исходный код

Посреднические типы и унарные конструкторы типов.

В Data экземплярах вида

    instance (Data a, ...) => Data (T a)

dataCast1 должны быть определены как gcast1.

Значение по умолчанию — const Nothing, которое подходит для экземпляров других форм.

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a) Исходный код

Посреднические типы и бинарные конструкторы типов.

В Data экземплярах вида

    instance (Data a, Data b, ...) => Data (T a b)

dataCast2 должны быть определены как gcast2.

Значение по умолчанию — const Nothing, которое подходит для экземпляров других форм.

gmapT :: (forall b. Data b => b -> b) -> a -> a Исходный код

Общее преобразование, применяющее отображение к непосредственным подтермам

Значение по умолчанию подставляет конструктор типов c в типе gfoldl в конструктор тождественного типа данных, используя пару изоморфизмов в качестве инъекции и проекции.

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r Исходный код

Общий запрос с левоассоциативным бинарным оператором

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r Исходный код

Общий запрос с правоассоциативным бинарным оператором

gmapQ :: (forall d. Data d => d -> u) -> a -> [u] Исходный код

Общий запрос, обрабатывающий непосредственные подтермы и возвращающий список результатов. Список предоставляется в том же порядке, что и первоначально указано в объявлении конструкторов данных.

gmapQi :: Int -> (forall d. Data d => d -> u) -> a -> u Исходный код

Общий запрос, обрабатывающий один дочерний элемент по индексу (нумерация с нуля)

gmapM :: Monad m => (forall d. Data d => d -> m d) -> a -> m a Исходный код

Общее монадическое преобразование, применяющее отображение к непосредственным подтермам

Значение по умолчанию подставляет конструктор типов c в типе gfoldl в конструктор типа монады, определяя инъекцию и проекцию с помощью return и >>=.

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a Исходный код

Преобразование, по крайней мере, одного непосредственного подтерма, не приводит к ошибке

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> a -> m a Исходный код

Преобразование одного непосредственного подтерма с успехом

Примеры реализации
Подробности о примерах реализации
Data ByteArray Исходный код

С момента: base-4.17.0.0
Подробности об экземпляре

Определено в Data.Array.Byte

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ByteArray -> c ByteArray Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ByteArray Исходный код

toConstr :: ByteArray -> Constr Исходный код

dataTypeOf :: ByteArray -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ByteArray) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ByteArray) Исходный код

gmapT :: (forall b. Data b => b -> b) -> ByteArray -> ByteArray Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ByteArray -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ByteArray -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> ByteArray -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> ByteArray -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ByteArray -> m ByteArray Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ByteArray -> m ByteArray Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ByteArray -> m ByteArray Исходный код

Data Void Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Void -> c Void Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Void Исходный код

toConstr :: Void -> Constr Исходный код

dataTypeOf :: Void -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Void) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Void) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Void -> Void Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Void -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Void -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Void -> m Void Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void Исходный код

Data All Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> All -> c All Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c All Исходный код

toConstr :: All -> Constr Исходный код

dataTypeOf :: All -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c All) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c All) Исходный код

gmapT :: (forall b. Data b => b -> b) -> All -> All Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> All -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> All -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> All -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> All -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> All -> m All Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> All -> m All Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> All -> m All Исходный код

Data Any Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Любой -> c Любой Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Любой Исходный код

toConstr :: Любой -> Конструктор Исходный код

dataTypeOf :: Любой -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Любой) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Любой) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Любой -> Любой Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Любой -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Любой -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Любой -> [u] Исходный код

gmapQi :: ЦелоеЧисло -> (forall d. Data d => d -> u) -> Любой -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> Любой -> m Любой Исходный код

gmapMp :: МоноидСложение m => (forall d. Data d => d -> m d) -> Любой -> m Любой Исходный код

gmapMo :: МоноидСложение m => (forall d. Data d => d -> m d) -> Любой -> m Любой Исходный код

Data Версия Исходный код

С момента: base-4.7.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Версия -> c Версия Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Версия Исходный код

toConstr :: Версия -> Конструктор Исходный код

dataTypeOf :: Версия -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Версия) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Версия) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Версия -> Версия Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Версия -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Версия -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Версия -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Версия -> u Исходный код

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Версия -> m Версия Исходный код

gmapMp :: МонадныйСплюс m => (forall d. Data d => d -> m d) -> Версия -> m Версия Исходный код

gmapMo :: МонадныйСплюс m => (forall d. Data d => d -> m d) -> Версия -> m Версия Исходный код

Data SpecConstrAnnotation Исходный код

С момента: base-4.3.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SpecConstrAnnotation -> c SpecConstrAnnotation Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SpecConstrAnnotation Исходный код

toConstr :: SpecConstrAnnotation -> Constr Исходный код

dataTypeOf :: SpecConstrAnnotation -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SpecConstrAnnotation) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SpecConstrAnnotation) Исходный код

gmapT :: (forall b. Data b => b -> b) -> SpecConstrAnnotation -> SpecConstrAnnotation Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SpecConstrAnnotation -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SpecConstrAnnotation -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> SpecConstrAnnotation -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> SpecConstrAnnotation -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SpecConstrAnnotation -> m SpecConstrAnnotation Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SpecConstrAnnotation -> m SpecConstrAnnotation Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SpecConstrAnnotation -> m SpecConstrAnnotation Исходный код

Data IntPtr Исходный код

С момента: base-4.11.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IntPtr -> c IntPtr Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c IntPtr Исходный код

toConstr :: IntPtr -> Constr Исходный код

dataTypeOf :: IntPtr -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c IntPtr) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c IntPtr) Исходный код

gmapT :: (forall b. Data b => b -> b) -> IntPtr -> IntPtr Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IntPtr -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IntPtr -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> IntPtr -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> IntPtr -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IntPtr -> m IntPtr Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IntPtr -> m IntPtr Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IntPtr -> m IntPtr Исходный код

Data WordPtr Исходный код

С момента: base-4.11.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> УказательСлова -> c УказательСлова Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c УказательСлова Исходный код

toConstr :: УказательСлова -> Конструктор Исходный код

dataTypeOf :: УказательСлова -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c УказательСлова) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c УказательСлова) Исходный код

gmapT :: (forall b. Data b => b -> b) -> УказательСлова -> УказательСлова Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> УказательСлова -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> УказательСлова -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> УказательСлова -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> УказательСлова -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> УказательСлова -> m УказательСлова Исходный код

gmapMp :: МонадСплюс m => (forall d. Data d => d -> m d) -> УказательСлова -> m УказательСлова Исходный код

gmapMo :: МонадСплюс m => (forall d. Data d => d -> m d) -> УказательСлова -> m УказательСлова Исходный код

Data Ассоциативность Исходный код

С: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ассоциативность -> c Ассоциативность Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ассоциативность Исходный код

toConstr :: Ассоциативность -> Constr Исходный код

dataTypeOf :: Ассоциативность -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Ассоциативность) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Ассоциативность) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Ассоциативность -> Ассоциативность Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ассоциативность -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ассоциативность -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Ассоциативность -> [u] Исходный код

gmapQi :: ЦелоеЧисло -> (forall d. Data d => d -> u) -> Ассоциативность -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Ассоциативность -> m Ассоциативность Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ассоциативность -> m Ассоциативность Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ассоциативность -> m Ассоциативность Исходный код

Data DecidedStrictness Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DecidedStrictness -> c DecidedStrictness Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DecidedStrictness Источник

toConstr :: DecidedStrictness -> Constr Источник

dataTypeOf :: DecidedStrictness -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecidedStrictness) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecidedStrictness) Источник

gmapT :: (forall b. Data b => b -> b) -> DecidedStrictness -> DecidedStrictness Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> DecidedStrictness -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> DecidedStrictness -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Источник

Data Fixity Источник

С: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixity -> c Fixity Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fixity Исходный код

toConstr :: Fixity -> Constr Исходный код

dataTypeOf :: Fixity -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Fixity) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fixity) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Fixity -> Fixity Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixity -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Fixity -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixity -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixity -> m Fixity Исходный код

Data SourceStrictness Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceStrictness -> c SourceStrictness Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceStrictness Источник

toConstr :: SourceStrictness -> Constr Источник

dataTypeOf :: SourceStrictness -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceStrictness) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceStrictness) Источник

gmapT :: (forall b. Data b => b -> b) -> SourceStrictness -> SourceStrictness Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> SourceStrictness -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceStrictness -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Источник

Data SourceUnpackedness Источник

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceUnpackedness -> c SourceUnpackedness Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceUnpackedness Исходный код

toConstr :: SourceUnpackedness -> Constr Исходный код

dataTypeOf :: SourceUnpackedness -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceUnpackedness) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceUnpackedness) Исходный код

gmapT :: (forall b. Data b => b -> b) -> SourceUnpackedness -> SourceUnpackedness Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceUnpackedness -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceUnpackedness -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> SourceUnpackedness -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceUnpackedness -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness Исходный код

Data Int16 Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int16 -> c Int16 Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int16 Источник

toConstr :: Int16 -> Constr Источник

dataTypeOf :: Int16 -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int16) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int16) Источник

gmapT :: (forall b. Data b => b -> b) -> Int16 -> Int16 Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int16 -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int16 -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Int16 -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int16 -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int16 -> m Int16 Источник

Data Int32 Источник

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int32 -> c Int32 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int32 Исходный код

toConstr :: Int32 -> Constr Исходный код

dataTypeOf :: Int32 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Int32) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Int32) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int32 -> Int32 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int32 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int32 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int32 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int32 -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

gmapMp :: Моноид с плюсом m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

gmapMo :: Моноид с плюсом m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

Data Int64 Исходный код

С: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int64 -> c Int64 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int64 Исходный код

toConstr :: Int64 -> Constr Исходный код

dataTypeOf :: Int64 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int64) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int64) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int64 -> Int64 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int64 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int64 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int64 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int64 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int64 -> m Int64 Исходный код

Data Int8 Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int8 -> c Int8 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int8 Исходный код

toConstr :: Int8 -> Constr Исходный код

dataTypeOf :: Int8 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int8) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int8) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Int8 -> Int8 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int8 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int8 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Int8 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int8 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int8 -> m Int8 Исходный код

Data AnnLookup Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnLookup -> c AnnLookup Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnLookup Источник

toConstr :: AnnLookup -> Constr Источник

dataTypeOf :: AnnLookup -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c AnnLookup) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c AnnLookup) Источник

gmapT :: (forall b. Data b => b -> b) -> AnnLookup -> AnnLookup Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnLookup -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnLookup -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> AnnLookup -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> AnnLookup -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> AnnLookup -> m AnnLookup Источник

gmapMp :: Монадплюс m => (forall d. Data d => d -> m d) -> AnnLookup -> m AnnLookup Источник

gmapMo :: Монадплюс m => (forall d. Data d => d -> m d) -> AnnLookup -> m AnnLookup Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnTarget -> c AnnTarget Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnTarget Исходный код

toConstr :: AnnTarget -> Constr Исходный код

dataTypeOf :: AnnTarget -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnTarget) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnTarget) Исходный код

gmapT :: (forall b. Data b => b -> b) -> AnnTarget -> AnnTarget Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnTarget -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnTarget -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> AnnTarget -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnTarget -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnTarget -> m AnnTarget Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnTarget -> m AnnTarget Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnTarget -> m AnnTarget Исходный код

Data Bang Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bang -> c Bang Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bang Источник

toConstr :: Bang -> Constr Источник

dataTypeOf :: Bang -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Bang) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Bang) Источник

gmapT :: (forall b. Data b => b -> b) -> Bang -> Bang Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bang -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bang -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Bang -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Bang -> u Источник

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Bang -> m Bang Источник

gmapMp :: МонадныйСложение m => (forall d. Data d => d -> m d) -> Bang -> m Bang Источник

gmapMo :: МонадныйСложение m => (forall d. Data d => d -> m d) -> Bang -> m Bang Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BndrVis -> c BndrVis Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BndrVis Источник

toConstr :: BndrVis -> Constr Источник

dataTypeOf :: BndrVis -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c BndrVis) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c BndrVis) Источник

gmapT :: (forall b. Data b => b -> b) -> BndrVis -> BndrVis Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BndrVis -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BndrVis -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> BndrVis -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> BndrVis -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> BndrVis -> m BndrVis Источник

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> BndrVis -> m BndrVis Источник

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> BndrVis -> m BndrVis Источник

Data Тело Источник
Сведения об экземпляре

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Body -> c Body Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Body Исходный код

toConstr :: Body -> Constr Исходный код

dataTypeOf :: Body -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Body) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Body) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Body -> Body Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Body -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Body -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Body -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Body -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Body -> m Body Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Body -> m Body Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Body -> m Body Исходный код

Data Bytes Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bytes -> c Bytes Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bytes Исходный код

toConstr :: Bytes -> Constr Исходный код

dataTypeOf :: Bytes -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bytes) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bytes) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Bytes -> Bytes Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bytes -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bytes -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Bytes -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bytes -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bytes -> m Bytes Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes -> m Bytes Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bytes -> m Bytes Исходный код

Data Callconv Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Callconv -> c Callconv Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Callconv Исходный код

toConstr :: Callconv -> Constr Исходный код

dataTypeOf :: Callconv -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Callconv) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Callconv) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Callconv -> Callconv Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Callconv -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Callconv -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Callconv -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Callconv -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Callconv -> m Callconv Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Callconv -> m Callconv Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Callconv -> m Callconv Исходный код

Data Clause Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Clause -> c Clause Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Clause Исходный код

toConstr :: Clause -> Constr Исходный код

dataTypeOf :: Clause -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Clause) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Clause) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Clause -> Clause Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Clause -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Clause -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Clause -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Clause -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Clause -> m Clause Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Clause -> m Clause Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Clause -> m Clause Исходный код

Data Con Исходный код
Сведения об экземпляре

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Con -> c Con Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Con Источник

toConstr :: Con -> Constr Источник

dataTypeOf :: Con -> ТипДанных Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Con) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Con) Источник

gmapT :: (forall b. Data b => b -> b) -> Con -> Con Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Con -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Con -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Con -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Con -> u Источник

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Con -> m Con Источник

gmapMp :: Монадный плюс m => (forall d. Data d => d -> m d) -> Con -> m Con Источник

gmapMo :: Монадный плюс m => (forall d. Data d => d -> m d) -> Con -> m Con Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dec -> c Dec Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dec Исходный код

toConstr :: Dec -> Constr Исходный код

dataTypeOf :: Dec -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Dec) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Dec) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Dec -> Dec Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dec -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dec -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Dec -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Dec -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Dec -> m Dec Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> Dec -> m Dec Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> Dec -> m Dec Исходный код

Data ОпределеннаяСтрогость Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DecidedStrictness -> c DecidedStrictness Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DecidedStrictness Источник

toConstr :: DecidedStrictness -> Constr Источник

dataTypeOf :: DecidedStrictness -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecidedStrictness) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecidedStrictness) Источник

gmapT :: (forall b. Data b => b -> b) -> DecidedStrictness -> DecidedStrictness Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> DecidedStrictness -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> DecidedStrictness -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivClause -> c DerivClause Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivClause Источник

toConstr :: DerivClause -> Constr Источник

dataTypeOf :: DerivClause -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c DerivClause) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c DerivClause) Источник

gmapT :: (forall b. Data b => b -> b) -> DerivClause -> DerivClause Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivClause -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivClause -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> DerivClause -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivClause -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivClause -> m DerivClause Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivClause -> m DerivClause Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivClause -> m DerivClause Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivStrategy -> c DerivStrategy Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivStrategy Исходный код

toConstr :: DerivStrategy -> Constr Исходный код

dataTypeOf :: DerivStrategy -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DerivStrategy) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DerivStrategy) Исходный код

gmapT :: (forall b. Data b => b -> b) -> DerivStrategy -> DerivStrategy Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivStrategy -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivStrategy -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> DerivStrategy -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivStrategy -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivStrategy -> m DerivStrategy Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivStrategy -> m DerivStrategy Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivStrategy -> m DerivStrategy Исходный код

Data DocLoc Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DocLoc -> c DocLoc Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DocLoc Исходный код

toConstr :: DocLoc -> Constr Исходный код

dataTypeOf :: DocLoc -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DocLoc) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DocLoc) Исходный код

gmapT :: (forall b. Data b => b -> b) -> DocLoc -> DocLoc Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DocLoc -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DocLoc -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> DocLoc -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> DocLoc -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DocLoc -> m DocLoc Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DocLoc -> m DocLoc Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DocLoc -> m DocLoc Исходный код

Data Exp Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp Исходный код

toConstr :: Exp -> Constr Исходный код

dataTypeOf :: Exp -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp Исходный код

Data FamilyResultSig Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FamilyResultSig -> c FamilyResultSig Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FamilyResultSig Исходный код

toConstr :: FamilyResultSig -> Constr Исходный код

dataTypeOf :: FamilyResultSig -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c FamilyResultSig) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c FamilyResultSig) Исходный код

gmapT :: (forall b. Data b => b -> b) -> FamilyResultSig -> FamilyResultSig Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FamilyResultSig -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FamilyResultSig -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> FamilyResultSig -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> FamilyResultSig -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> FamilyResultSig -> m FamilyResultSig Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> FamilyResultSig -> m FamilyResultSig Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> FamilyResultSig -> m FamilyResultSig Исходный код

Data Фиксированность Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Связанность -> c Связанность Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Связанность Исходный код

toConstr :: Связанность -> Constr Исходный код

dataTypeOf :: Связанность -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Связанность) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Связанность) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Связанность -> Связанность Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Связанность -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Связанность -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Связанность -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Связанность -> u Исходный код

gmapM :: Монадa m => (forall d. Data d => d -> m d) -> Связанность -> m Связанность Исходный код

gmapMp :: МонадaСплюс m => (forall d. Data d => d -> m d) -> Связанность -> m Связанность Исходный код

gmapMo :: МонадaСплюс m => (forall d. Data d => d -> m d) -> Связанность -> m Связанность Исходный код

Data НаправлениеСвязанности Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> НаправлениеФиксированности -> c НаправлениеФиксированности Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c НаправлениеФиксированности Источник

toConstr :: НаправлениеФиксированности -> Конструктор Источник

dataTypeOf :: НаправлениеФиксированности -> ТипДанных Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c НаправлениеФиксированности) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c НаправлениеФиксированности) Источник

gmapT :: (forall b. Data b => b -> b) -> НаправлениеФиксированности -> НаправлениеФиксированности Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> НаправлениеФиксированности -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> НаправлениеФиксированности -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> НаправлениеФиксированности -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> НаправлениеФиксированности -> u Источник

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> НаправлениеФиксированности -> m НаправлениеФиксированности Источник

gmapMp :: МоноидСплюсом m => (forall d. Data d => d -> m d) -> НаправлениеФиксированности -> m НаправлениеФиксированности Источник

gmapMo :: МоноидСплюсом m => (forall d. Data d => d -> m d) -> НаправлениеФиксированности -> m НаправлениеФиксированности Источник

Data Внешнее Источник
Сведения об экземпляре

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Foreign -> c Foreign Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Foreign Исходный код

toConstr :: Foreign -> Constr Исходный код

dataTypeOf :: Foreign -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Foreign) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Foreign) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Foreign -> Foreign Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Foreign -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Foreign -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Foreign -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Foreign -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Foreign -> m Foreign Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Foreign -> m Foreign Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Foreign -> m Foreign Исходный код

Data FunDep Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunDep -> c FunDep Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunDep Исходный код

toConstr :: FunDep -> Constr Исходный код

dataTypeOf :: FunDep -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c FunDep) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c FunDep) Исходный код

gmapT :: (forall b. Data b => b -> b) -> FunDep -> FunDep Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunDep -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunDep -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> FunDep -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> FunDep -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> FunDep -> m FunDep Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> FunDep -> m FunDep Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> FunDep -> m FunDep Исходный код

Data Охрана Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Guard -> c Guard Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Guard Источник

toConstr :: Guard -> Constr Источник

dataTypeOf :: Guard -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Guard) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Guard) Источник

gmapT :: (forall b. Data b => b -> b) -> Guard -> Guard Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Guard -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Guard -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Guard -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Guard -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Guard -> m Guard Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Guard -> m Guard Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Guard -> m Guard Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Info -> c Info Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Info Исходный код

toConstr :: Info -> Constr Исходный код

dataTypeOf :: Info -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Info) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Info) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Info -> Info Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Info -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Info -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Info -> m Info Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info Исходный код

Data InjectivityAnn Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InjectivityAnn -> c InjectivityAnn Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InjectivityAnn Источник

toConstr :: InjectivityAnn -> Constr Источник

dataTypeOf :: InjectivityAnn -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InjectivityAnn) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InjectivityAnn) Источник

gmapT :: (forall b. Data b => b -> b) -> InjectivityAnn -> InjectivityAnn Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InjectivityAnn -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InjectivityAnn -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> InjectivityAnn -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> InjectivityAnn -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InjectivityAnn -> m InjectivityAnn Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InjectivityAnn -> m InjectivityAnn Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InjectivityAnn -> m InjectivityAnn Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline Источник

toConstr :: Inline -> Constr Источник

dataTypeOf :: Inline -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Inline) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Inline) Источник

gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Inline -> u Источник

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> Inline -> m Inline Источник

gmapMp :: Моноид с плюсом m => (forall d. Data d => d -> m d) -> Inline -> m Inline Источник

gmapMo :: Моноид с плюсом m => (forall d. Data d => d -> m d) -> Inline -> m Inline Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Lit -> c Lit Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Lit Исходный код

toConstr :: Lit -> Constr Исходный код

dataTypeOf :: Lit -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Lit) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Lit) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Lit -> Lit Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Lit -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Lit -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Lit -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Lit -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Lit -> m Lit Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Lit -> m Lit Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Lit -> m Lit Исходный код

Data Loc Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Loc -> c Loc Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Loc Исходный код

toConstr :: Loc -> Constr Исходный код

dataTypeOf :: Loc -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Loc) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Loc) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Loc -> Loc Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Loc -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Loc -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Loc -> m Loc Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> Loc -> m Loc Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> Loc -> m Loc Исходный код

Data Match Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Match -> c Match Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Match Источник

toConstr :: Match -> Constr Источник

dataTypeOf :: Match -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Match) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Match) Источник

gmapT :: (forall b. Data b => b -> b) -> Match -> Match Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Match -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Match -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Match -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Match -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Match -> m Match Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Match -> m Match Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Match -> m Match Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModName -> c ModName Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModName Исходный код

toConstr :: ModName -> Constr Исходный код

dataTypeOf :: ModName -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c ModName) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c ModName) Исходный код

gmapT :: (forall b. Data b => b -> b) -> ModName -> ModName Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModName -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModName -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> ModName -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> ModName -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> ModName -> m ModName Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> ModName -> m ModName Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> ModName -> m ModName Исходный код

Data Модуль Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Модуль -> c Модуль Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Модуль Исходный код

toConstr :: Модуль -> Конструктор Исходный код

dataTypeOf :: Модуль -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Модуль) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Модуль) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Модуль -> Модуль Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Модуль -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Модуль -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Модуль -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Модуль -> u Исходный код

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Модуль -> m Модуль Исходный код

gmapMp :: Монадныйплюс m => (forall d. Data d => d -> m d) -> Модуль -> m Модуль Исходный код

gmapMo :: Монадныйплюс m => (forall d. Data d => d -> m d) -> Модуль -> m Модуль Исходный код

Data ModuleInfo Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleInfo -> c ModuleInfo Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleInfo Исходный код

toConstr :: ModuleInfo -> Constr Исходный код

dataTypeOf :: ModuleInfo -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c ModuleInfo) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c ModuleInfo) Исходный код

gmapT :: (forall b. Data b => b -> b) -> ModuleInfo -> ModuleInfo Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleInfo -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleInfo -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> ModuleInfo -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleInfo -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo Исходный код

gmapMp :: Моноада с плюсом m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo Исходный код

gmapMo :: Моноада с плюсом m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo Исходный код

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Имя -> c Имя Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Имя Исходный код

toConstr :: Имя -> Конструктор Исходный код

dataTypeOf :: Имя -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Имя) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Имя) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Имя -> Имя Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Имя -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Имя -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Имя -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Имя -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Имя -> m Имя Исходный код

gmapMp :: МонадСумма m => (forall d. Data d => d -> m d) -> Имя -> m Имя Исходный код

gmapMo :: МонадСумма m => (forall d. Data d => d -> m d) -> Имя -> m Имя Исходный код

Data ИмяНабор Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NameFlavour -> c NameFlavour Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NameFlavour Исходный код

toConstr :: NameFlavour -> Constr Исходный код

dataTypeOf :: NameFlavour -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NameFlavour) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NameFlavour) Исходный код

gmapT :: (forall b. Data b => b -> b) -> NameFlavour -> NameFlavour Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NameFlavour -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NameFlavour -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> NameFlavour -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> NameFlavour -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NameFlavour -> m NameFlavour Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NameFlavour -> m NameFlavour Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NameFlavour -> m NameFlavour Исходный код

Data NameSpace Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NameSpace -> c NameSpace Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NameSpace Исходный код

toConstr :: NameSpace -> Constr Исходный код

dataTypeOf :: NameSpace -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c NameSpace) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c NameSpace) Исходный код

gmapT :: (forall b. Data b => b -> b) -> NameSpace -> NameSpace Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NameSpace -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NameSpace -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> NameSpace -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> NameSpace -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NameSpace -> m NameSpace Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NameSpace -> m NameSpace Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NameSpace -> m NameSpace Исходный код

Data NamespaceSpecifier Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamespaceSpecifier -> c NamespaceSpecifier Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamespaceSpecifier Исходный код

toConstr :: NamespaceSpecifier -> Constr Исходный код

dataTypeOf :: NamespaceSpecifier -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c NamespaceSpecifier) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c NamespaceSpecifier) Исходный код

gmapT :: (forall b. Data b => b -> b) -> NamespaceSpecifier -> NamespaceSpecifier Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamespaceSpecifier -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamespaceSpecifier -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> NamespaceSpecifier -> [u] Исходный код

gmapQi :: Целое число -> (forall d. Data d => d -> u) -> NamespaceSpecifier -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> NamespaceSpecifier -> m NamespaceSpecifier Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamespaceSpecifier -> m NamespaceSpecifier Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamespaceSpecifier -> m NamespaceSpecifier Исходный код

Data OccName Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ИмяСобытия -> c ИмяСобытия Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c ИмяСобытия Источник

toConstr :: ИмяСобытия -> Конструктор Источник

dataTypeOf :: ИмяСобытия -> ТипДанных Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c ИмяСобытия) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c ИмяСобытия) Источник

gmapT :: (forall b. Data b => b -> b) -> ИмяСобытия -> ИмяСобытия Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ИмяСобытия -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ИмяСобытия -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> ИмяСобытия -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> ИмяСобытия -> u Источник

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> ИмяСобытия -> m ИмяСобытия Источник

gmapMp :: МоноидСуммы m => (forall d. Data d => d -> m d) -> ИмяСобытия -> m ИмяСобытия Источник

gmapMo :: МоноидСуммы m => (forall d. Data d => d -> m d) -> ИмяСобытия -> m ИмяСобытия Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Overlap -> c Overlap Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Overlap Источник

toConstr :: Overlap -> Constr Источник

dataTypeOf :: Overlap -> ТипДанных Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Overlap) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Overlap) Источник

gmapT :: (forall b. Data b => b -> b) -> Overlap -> Overlap Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Overlap -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Overlap -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Overlap -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Overlap -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Overlap -> m Overlap Источник

gmapMp :: МонадСплюс m => (forall d. Data d => d -> m d) -> Overlap -> m Overlap Источник

gmapMo :: МонадСплюс m => (forall d. Data d => d -> m d) -> Overlap -> m Overlap Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pat -> c Pat Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pat Источник

toConstr :: Pat -> Constr Источник

dataTypeOf :: Pat -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pat) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pat) Источник

gmapT :: (forall b. Data b => b -> b) -> Pat -> Pat Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pat -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pat -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Pat -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pat -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pat -> m Pat Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pat -> m Pat Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pat -> m Pat Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PatSynArgs -> c PatSynArgs Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PatSynArgs Исходный код

toConstr :: PatSynArgs -> Constr Исходный код

dataTypeOf :: PatSynArgs -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c PatSynArgs) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c PatSynArgs) Исходный код

gmapT :: (forall b. Data b => b -> b) -> PatSynArgs -> PatSynArgs Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PatSynArgs -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PatSynArgs -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> PatSynArgs -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> PatSynArgs -> u Исходный код

gmapM :: Монадa m => (forall d. Data d => d -> m d) -> PatSynArgs -> m PatSynArgs Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> PatSynArgs -> m PatSynArgs Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> PatSynArgs -> m PatSynArgs Исходный код

Data PatSynDir Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PatSynDir -> c PatSynDir Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PatSynDir Исходный код

toConstr :: PatSynDir -> Constr Исходный код

dataTypeOf :: PatSynDir -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PatSynDir) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PatSynDir) Исходный код

gmapT :: (forall b. Data b => b -> b) -> PatSynDir -> PatSynDir Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PatSynDir -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PatSynDir -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> PatSynDir -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> PatSynDir -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PatSynDir -> m PatSynDir Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PatSynDir -> m PatSynDir Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PatSynDir -> m PatSynDir Исходный код

Data Фазы Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Phases -> c Phases Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Phases Источник

toConstr :: Phases -> Constr Источник

dataTypeOf :: Phases -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Phases) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Phases) Источник

gmapT :: (forall b. Data b => b -> b) -> Phases -> Phases Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Phases -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Phases -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Phases -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Phases -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Phases -> m Phases Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Phases -> m Phases Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Phases -> m Phases Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PkgName -> c PkgName Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PkgName Исходный код

toConstr :: PkgName -> Constr Исходный код

dataTypeOf :: PkgName -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PkgName) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PkgName) Исходный код

gmapT :: (forall b. Data b => b -> b) -> PkgName -> PkgName Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PkgName -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PkgName -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> PkgName -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> PkgName -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PkgName -> m PkgName Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PkgName -> m PkgName Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PkgName -> m PkgName Исходный код

Data Pragma Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pragma -> c Pragma Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pragma Источник

toConstr :: Pragma -> Constr Источник

dataTypeOf :: Pragma -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Pragma) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Pragma) Источник

gmapT :: (forall b. Data b => b -> b) -> Pragma -> Pragma Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pragma -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pragma -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Pragma -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Pragma -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Pragma -> m Pragma Источник

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> Pragma -> m Pragma Источник

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> Pragma -> m Pragma Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Диапазон -> c Диапазон Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Диапазон Исходный код

toConstr :: Диапазон -> Конструктор Исходный код

dataTypeOf :: Диапазон -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Диапазон) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Диапазон) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Диапазон -> Диапазон Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Диапазон -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Диапазон -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Диапазон -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Диапазон -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Диапазон -> m Диапазон Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Диапазон -> m Диапазон Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Диапазон -> m Диапазон Исходный код

Data Роль Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Роль -> c Роль Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Констр -> c Роль Исходный код

toConstr :: Роль -> Констр Исходный код

dataTypeOf :: Роль -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Роль) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Роль) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Роль -> Роль Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Роль -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Роль -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Роль -> [u] Исходный код

gmapQi :: ЦелоеЧисло -> (forall d. Data d => d -> u) -> Роль -> u Исходный код

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Роль -> m Роль Исходный код

gmapMp :: Монадный m => (forall d. Data d => d -> m d) -> Роль -> m Роль Исходный код

gmapMo :: Монадный m => (forall d. Data d => d -> m d) -> Роль -> m Роль Исходный код

Data ПравилоBndr Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleBndr -> c RuleBndr Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleBndr Исходный код

toConstr :: RuleBndr -> Constr Исходный код

dataTypeOf :: RuleBndr -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c RuleBndr) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c RuleBndr) Исходный код

gmapT :: (forall b. Data b => b -> b) -> RuleBndr -> RuleBndr Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleBndr -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleBndr -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> RuleBndr -> [u] Исходный код

gmapQi :: Целое число -> (forall d. Data d => d -> u) -> RuleBndr -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> RuleBndr -> m RuleBndr Исходный код

gmapMp :: Монад плюс m => (forall d. Data d => d -> m d) -> RuleBndr -> m RuleBndr Исходный код

gmapMo :: Монад плюс m => (forall d. Data d => d -> m d) -> RuleBndr -> m RuleBndr Исходный код

Data RuleMatch Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleMatch -> c RuleMatch Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleMatch Исходный код

toConstr :: RuleMatch -> Constr Исходный код

dataTypeOf :: RuleMatch -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c RuleMatch) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c RuleMatch) Исходный код

gmapT :: (forall b. Data b => b -> b) -> RuleMatch -> RuleMatch Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatch -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatch -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> RuleMatch -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> RuleMatch -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> RuleMatch -> m RuleMatch Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> RuleMatch -> m RuleMatch Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> RuleMatch -> m RuleMatch Исходный код

Data Безопасность Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Безопасность -> c Безопасность Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Безопасность Исходный код

toConstr :: Безопасность -> Constr Исходный код

dataTypeOf :: Безопасность -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Безопасность) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Безопасность) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Безопасность -> Безопасность Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Безопасность -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Безопасность -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Безопасность -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Безопасность -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Безопасность -> m Безопасность Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> Безопасность -> m Безопасность Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> Безопасность -> m Безопасность Исходный код

Data SourceStrictness Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceStrictness -> c SourceStrictness Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceStrictness Исходный код

toConstr :: SourceStrictness -> Constr Исходный код

dataTypeOf :: SourceStrictness -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceStrictness) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceStrictness) Исходный код

gmapT :: (forall b. Data b => b -> b) -> SourceStrictness -> SourceStrictness Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> SourceStrictness -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceStrictness -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Исходный код

Data SourceUnpackedness Исходный код
Сведения об экземпляре

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceUnpackedness -> c SourceUnpackedness Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceUnpackedness Источник

toConstr :: SourceUnpackedness -> Constr Источник

dataTypeOf :: SourceUnpackedness -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c SourceUnpackedness) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c SourceUnpackedness) Источник

gmapT :: (forall b. Data b => b -> b) -> SourceUnpackedness -> SourceUnpackedness Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceUnpackedness -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceUnpackedness -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> SourceUnpackedness -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> SourceUnpackedness -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness Источник

gmapMp :: МонадPlus m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness Источник

gmapMo :: МонадPlus m => (forall d. Data d => d -> m d) -> SourceUnpackedness -> m SourceUnpackedness Источник

Data Специфичность Источник
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Specificity -> c Specificity Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Specificity Исходный код

toConstr :: Specificity -> Constr Исходный код

dataTypeOf :: Specificity -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Specificity) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Specificity) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Specificity -> Specificity Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Specificity -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Specificity -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Specificity -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Specificity -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Specificity -> m Specificity Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Specificity -> m Specificity Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Specificity -> m Specificity Исходный код

Data Stmt Исходный код
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stmt -> c Stmt Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stmt Источник

toConstr :: Stmt -> Constr Источник

dataTypeOf :: Stmt -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stmt) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stmt) Источник

gmapT :: (forall b. Data b => b -> b) -> Stmt -> Stmt Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stmt -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stmt -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Stmt -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Stmt -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyLit -> c TyLit Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TyLit Источник

toConstr :: TyLit -> Constr Источник

dataTypeOf :: TyLit -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c TyLit) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c TyLit) Источник

gmapT :: (forall b. Data b => b -> b) -> TyLit -> TyLit Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyLit -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyLit -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> TyLit -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> TyLit -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> TyLit -> m TyLit Источник

gmapMp :: МонадныйПлюс m => (forall d. Data d => d -> m d) -> TyLit -> m TyLit Источник

gmapMo :: МонадныйПлюс m => (forall d. Data d => d -> m d) -> TyLit -> m TyLit Источник

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

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TySynEqn -> c TySynEqn Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TySynEqn Источник

toConstr :: TySynEqn -> Constr Источник

dataTypeOf :: TySynEqn -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c TySynEqn) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c TySynEqn) Источник

gmapT :: (forall b. Data b => b -> b) -> TySynEqn -> TySynEqn Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TySynEqn -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TySynEqn -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> TySynEqn -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> TySynEqn -> u Источник

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> TySynEqn -> m TySynEqn Источник

gmapMp :: Моноид с плюсом m => (forall d. Data d => d -> m d) -> TySynEqn -> m TySynEqn Источник

gmapMo :: Моноид с плюсом m => (forall d. Data d => d -> m d) -> TySynEqn -> m TySynEqn Источник

Data Тип Источник
Сведения об экземпляре

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Тип -> c Тип Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Констр -> c Тип Исходный код

toConstr :: Тип -> Констр Исходный код

dataTypeOf :: Тип -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Тип) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Тип) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Тип -> Тип Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Тип -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Тип -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Тип -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Тип -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> Тип -> m Тип Исходный код

gmapMp :: МоноидСумма m => (forall d. Data d => d -> m d) -> Тип -> m Тип Исходный код

gmapMo :: МоноидСумма m => (forall d. Data d => d -> m d) -> Тип -> m Тип Исходный код

Data ТипСемействаГолов Исходный код
Детали экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeFamilyHead -> c TypeFamilyHead Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeFamilyHead Исходный код

toConstr :: TypeFamilyHead -> Constr Исходный код

dataTypeOf :: TypeFamilyHead -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeFamilyHead) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeFamilyHead) Исходный код

gmapT :: (forall b. Data b => b -> b) -> TypeFamilyHead -> TypeFamilyHead Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeFamilyHead -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeFamilyHead -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> TypeFamilyHead -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeFamilyHead -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeFamilyHead -> m TypeFamilyHead Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeFamilyHead -> m TypeFamilyHead Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeFamilyHead -> m TypeFamilyHead Исходный код

Data Word16 Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word16 -> c Word16 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word16 Исходный код

toConstr :: Word16 -> Constr Исходный код

dataTypeOf :: Word16 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word16) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word16) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Word16 -> Word16 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word16 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word16 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Word16 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word16 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word16 -> m Word16 Исходный код

Data Word32 Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word32 -> c Word32 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word32 Исходный код

toConstr :: Word32 -> Constr Исходный код

dataTypeOf :: Word32 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word32) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word32) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Word32 -> Word32 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word32 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word32 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Word32 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word32 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word32 -> m Word32 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word32 -> m Word32 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word32 -> m Word32 Исходный код

Data Word64 Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word64 -> c Word64 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word64 Исходный код

toConstr :: Word64 -> Constr Исходный код

dataTypeOf :: Word64 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word64) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word64) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Word64 -> Word64 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word64 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word64 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Word64 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word64 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word64 -> m Word64 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word64 -> m Word64 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word64 -> m Word64 Исходный код

Data Word8 Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word8 -> c Word8 Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word8 Исходный код

toConstr :: Word8 -> Constr Исходный код

dataTypeOf :: Word8 -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word8) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word8) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Word8 -> Word8 Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word8 -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Word8 -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word8 -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word8 -> m Word8 Исходный код

Data Ordering Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Порядок -> c Порядок Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Порядок Исходный код

toConstr :: Порядок -> Конструктор Исходный код

dataTypeOf :: Порядок -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Порядок) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Порядок) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Порядок -> Порядок Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Порядок -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Порядок -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Порядок -> [u] Исходный код

gmapQi :: Целое число -> (forall d. Data d => d -> u) -> Порядок -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Порядок -> m Порядок Исходный код

gmapMp :: Монад плюс m => (forall d. Data d => d -> m d) -> Порядок -> m Порядок Исходный код

gmapMo :: Монад плюс m => (forall d. Data d => d -> m d) -> Порядок -> m Порядок Исходный код

Data Целое число Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Целое -> c Целое Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Констр -> c Целое Исходный код

toConstr :: Целое -> Констр Исходный код

dataTypeOf :: Целое -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Целое) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Целое) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Целое -> Целое Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Целое -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Целое -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Целое -> [u] Исходный код

gmapQi :: Цел -> (forall d. Data d => d -> u) -> Целое -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Целое -> m Целое Исходный код

gmapMp :: МонадСплюс m => (forall d. Data d => d -> m d) -> Целое -> m Целое Исходный код

gmapMo :: МонадСплюс m => (forall d. Data d => d -> m d) -> Целое -> m Целое Исходный код

Data Натуральное Исходный код

С: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Натуральное число -> c Натуральное число Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Натуральное число Исходный код

toConstr :: Натуральное число -> Конструктор Исходный код

dataTypeOf :: Натуральное число -> Тип данных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может быть (c Натуральное число) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может быть (c Натуральное число) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Натуральное число -> Натуральное число Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Натуральное число -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Натуральное число -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Натуральное число -> [u] Исходный код

gmapQi :: Целое число -> (forall d. Data d => d -> u) -> Натуральное число -> u Исходный код

gmapM :: Монадa m => (forall d. Data d => d -> m d) -> Натуральное число -> m Натуральное число Исходный код

gmapMp :: Монадa плюсов m => (forall d. Data d => d -> m d) -> Натуральное число -> m Натуральное число Исходный код

gmapMo :: Монадa плюсов m => (forall d. Data d => d -> m d) -> Натуральное число -> m Натуральное число Исходный код

Data () Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> () -> c () Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c () Исходный код

toConstr :: () -> Constr Исходный код

dataTypeOf :: () -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c ()) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c ()) Исходный код

gmapT :: (forall b. Data b => b -> b) -> () -> () Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> () -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> () -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> () -> [u] Исходный код

gmapQi :: Целое число -> (forall d. Data d => d -> u) -> () -> u Исходный код

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> () -> m () Исходный код

gmapMp :: Монадный плюс m => (forall d. Data d => d -> m d) -> () -> m () Исходный код

gmapMo :: Монадный плюс m => (forall d. Data d => d -> m d) -> () -> m () Исходный код

Data Булево Исходный код

С: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool Исходный код

toConstr :: Bool -> Constr Исходный код

dataTypeOf :: Bool -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool Исходный код

Data Char Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Символ -> c Символ Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Символ Исходный код

toConstr :: Символ -> Конструктор Исходный код

dataTypeOf :: Символ -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c Символ) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c Символ) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Символ -> Символ Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Символ -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Символ -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Символ -> [u] Исходный код

gmapQi :: ЦелоеЧисло -> (forall d. Data d => d -> u) -> Символ -> u Исходный код

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> Символ -> m Символ Исходный код

gmapMp :: МонадныйСплюс m => (forall d. Data d => d -> m d) -> Символ -> m Символ Исходный код

gmapMo :: МонадныйСплюс m => (forall d. Data d => d -> m d) -> Символ -> m Символ Исходный код

Data Double Исходный код

С: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Double -> c Double Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Double Исходный код

toConstr :: Double -> Constr Исходный код

dataTypeOf :: Double -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Double) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Double) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Double -> Double Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Double -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Double -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Double -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Double -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Double -> m Double Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Double -> m Double Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Double -> m Double Исходный код

Data Float Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Float -> c Float Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Float Источник

toConstr :: Float -> Constr Источник

dataTypeOf :: Float -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c Float) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c Float) Источник

gmapT :: (forall b. Data b => b -> b) -> Float -> Float Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Float -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Float -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Float -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Float -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Float -> m Float Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Float -> m Float Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Float -> m Float Источник

Data Int Источник

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Целое -> c Целое Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c Целое Исходный код

toConstr :: Целое -> Конструктор Исходный код

dataTypeOf :: Целое -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБЫТЬ (c Целое) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБЫТЬ (c Целое) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Целое -> Целое Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Целое -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Целое -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Целое -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Целое -> u Исходный код

gmapM :: МонадА m => (forall d. Data d => d -> m d) -> Целое -> m Целое Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> Целое -> m Целое Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> Целое -> m Целое Исходный код

Data ЦелоеБезЗнака Исходный код

Since: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Word -> c Word Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word Исходный код

toConstr :: Word -> Constr Исходный код

dataTypeOf :: Word -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Word) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Word) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Word -> Word Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Word -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Word -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Word -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Word -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Word -> m Word Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Word -> m Word Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Word -> m Word Исходный код

Typeable s => Data (MutableByteArray s) Исходный код

С момента: base-4.17.0.0
Подробности экземпляра

Определено в Data.Array.Byte

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MutableByteArray s -> c (MutableByteArray s) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MutableByteArray s) Источник

toConstr :: MutableByteArray s -> Constr Источник

dataTypeOf :: MutableByteArray s -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c (MutableByteArray s)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c (MutableByteArray s)) Источник

gmapT :: (forall b. Data b => b -> b) -> MutableByteArray s -> MutableByteArray s Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MutableByteArray s -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MutableByteArray s -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> MutableByteArray s -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> MutableByteArray s -> u Источник

gmapM :: Монадный m => (forall d. Data d => d -> m d) -> MutableByteArray s -> m (MutableByteArray s) Источник

gmapMp :: Монадный плюс m => (forall d. Data d => d -> m d) -> MutableByteArray s -> m (MutableByteArray s) Источник

gmapMo :: Монадный плюс m => (forall d. Data d => d -> m d) -> MutableByteArray s -> m (MutableByteArray s) Источник

Data a => Data (Комплексное a) Источник

С: base-2.1
Подробности экземпляра

Определено в Data.Complex

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Complex a -> c (Complex a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Complex a) Исходный код

toConstr :: Complex a -> Constr Исходный код

dataTypeOf :: Complex a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Complex a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Complex a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Complex a -> Complex a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Complex a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Complex a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Complex a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Complex a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Complex a -> m (Complex a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Complex a -> m (Complex a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Complex a -> m (Complex a) Исходный код

Data a => Data (First a) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

Определено в Data.Semigroup

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> First a -> c (First a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (First a) Исходный код

toConstr :: First a -> Constr Исходный код

dataTypeOf :: First a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (First a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (First a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> First a -> First a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> First a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> First a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> First a -> m (First a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Исходный код

Data a => Data (Last a) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

Определено в Data.Semigroup

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Last a -> c (Last a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Last a) Исходный код

toConstr :: Last a -> Constr Исходный код

dataTypeOf :: Last a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Last a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Last a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Last a -> Last a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Last a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Last a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код

Data a => Data (Max a) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

Определено в Data.Semigroup

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Max a -> c (Max a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Max a) Исходный код

toConstr :: Max a -> Constr Исходный код

dataTypeOf :: Max a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Max a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Max a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Max a -> Max a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Max a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Max a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Max a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Max a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Max a -> m (Max a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Max a -> m (Max a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Max a -> m (Max a) Исходный код

Data a => Data (Min a) Исходный код

С версии: base-4.9.0.0
Подробные сведения об экземпляре

Определено в Data.Semigroup

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Min a -> c (Min a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Min a) Исходный код

toConstr :: Min a -> Constr Исходный код

dataTypeOf :: Min a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Min a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Min a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Min a -> Min a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Min a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Min a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Min a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Min a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Min a -> m (Min a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Min a -> m (Min a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Min a -> m (Min a) Исходный код

Data m => Data (WrappedMonoid m) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

Определено в Data.Semigroup

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WrappedMonoid m -> c (WrappedMonoid m) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WrappedMonoid m) Источник

toConstr :: WrappedMonoid m -> Constr Источник

dataTypeOf :: WrappedMonoid m -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (WrappedMonoid m)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WrappedMonoid m)) Источник

gmapT :: (forall b. Data b => b -> b) -> WrappedMonoid m -> WrappedMonoid m Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WrappedMonoid m -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WrappedMonoid m -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> WrappedMonoid m -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> WrappedMonoid m -> u Источник

gmapM :: Monad m0 => (forall d. Data d => d -> m0 d) -> WrappedMonoid m -> m0 (WrappedMonoid m) Источник

gmapMp :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> WrappedMonoid m -> m0 (WrappedMonoid m) Источник

gmapMo :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> WrappedMonoid m -> m0 (WrappedMonoid m) Источник

Data a => Data (NonEmpty a) Источник

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> НепустойСписок a -> c (НепустойСписок a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c (НепустойСписок a) Исходный код

toConstr :: НепустойСписок a -> Конструктор Исходный код

dataTypeOf :: НепустойСписок a -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c (НепустойСписок a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c (НепустойСписок a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> НепустойСписок a -> НепустойСписок a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> НепустойСписок a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> НепустойСписок a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> НепустойСписок a -> [u] Исходный код

gmapQi :: ЦелоеЧисло -> (forall d. Data d => d -> u) -> НепустойСписок a -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> НепустойСписок a -> m (НепустойСписок a) Исходный код

gmapMp :: МоноидСплюсом m => (forall d. Data d => d -> m d) -> НепустойСписок a -> m (НепустойСписок a) Исходный код

gmapMo :: МоноидСплюсом m => (forall d. Data d => d -> m d) -> НепустойСписок a -> m (НепустойСписок a) Исходный код

Data a => Data (Identity a) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identity a -> c (Identity a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Identity a) Исходный код

toConstr :: Identity a -> Constr Исходный код

dataTypeOf :: Identity a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Identity a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Identity a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Identity a -> Identity a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identity a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identity a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Identity a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Identity a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identity a -> m (Identity a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identity a -> m (Identity a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identity a -> m (Identity a) Исходный код

Data a => Data (First a) Исходный код

С тех пор как: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> First a -> c (First a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (First a) Исходный код

toConstr :: First a -> Constr Исходный код

dataTypeOf :: First a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (First a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (First a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> First a -> First a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> First a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> First a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> First a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> First a -> m (First a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> First a -> m (First a) Исходный код

Data a => Data (Last a) Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Last a -> c (Last a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Last a) Исходный код

toConstr :: Last a -> Constr Исходный код

dataTypeOf :: Last a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Last a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Last a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Last a -> Last a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Last a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Last a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Last a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Last a -> m (Last a) Исходный код

Data a => Data (Down a) Исходный код

С момента: base-4.12.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Down a -> c (Down a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Down a) Исходный код

toConstr :: Down a -> Constr Исходный код

dataTypeOf :: Down a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Down a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Down a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Down a -> Down a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Down a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Down a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Down a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Down a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Down a -> m (Down a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Down a -> m (Down a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Down a -> m (Down a) Исходный код

Data a => Data (Dual a) Исходный код

С версии: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dual a -> c (Dual a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Dual a) Исходный код

toConstr :: Dual a -> Constr Исходный код

dataTypeOf :: Dual a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Dual a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Dual a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Dual a -> Dual a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dual a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dual a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Dual a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Dual a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dual a -> m (Dual a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dual a -> m (Dual a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dual a -> m (Dual a) Исходный код

Data a => Data (Product a) Исходный код

С тех пор: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Product a -> c (Product a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Product a) Исходный код

toConstr :: Product a -> Constr Исходный код

dataTypeOf :: Product a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Product a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Product a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Product a -> Product a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Product a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Product a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Product a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Product a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Product a -> m (Product a) Исходный код

Data a => Data (Sum a) Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sum a -> c (Sum a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Sum a) Исходный код

toConstr :: Sum a -> Constr Исходный код

dataTypeOf :: Sum a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Sum a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Sum a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Sum a -> Sum a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sum a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sum a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Sum a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Sum a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sum a -> m (Sum a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sum a -> m (Sum a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sum a -> m (Sum a) Исходный код

Data a => Data (ConstPtr a) Исходный код

С момента: base-4.18.0.0
Детали экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstPtr a -> c (ConstPtr a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ConstPtr a) Исходный код

toConstr :: ConstPtr a -> Constr Исходный код

dataTypeOf :: ConstPtr a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ConstPtr a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ConstPtr a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> ConstPtr a -> ConstPtr a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstPtr a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstPtr a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> ConstPtr a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstPtr a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstPtr a -> m (ConstPtr a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstPtr a -> m (ConstPtr a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstPtr a -> m (ConstPtr a) Исходный код

Data a => Data (ForeignPtr a) Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignPtr a -> c (ForeignPtr a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignPtr a) Исходный код

toConstr :: ForeignPtr a -> Constr Исходный код

dataTypeOf :: ForeignPtr a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForeignPtr a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForeignPtr a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> ForeignPtr a -> ForeignPtr a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignPtr a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignPtr a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> ForeignPtr a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignPtr a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignPtr a -> m (ForeignPtr a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignPtr a -> m (ForeignPtr a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignPtr a -> m (ForeignPtr a) Исходный код

Data a => Data (ZipList a) Исходный код

С момента: base-4.14.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ZipList a -> c (ZipList a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ZipList a) Исходный код

toConstr :: ZipList a -> Constr Исходный код

dataTypeOf :: ZipList a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ZipList a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ZipList a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> ZipList a -> ZipList a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ZipList a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ZipList a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> ZipList a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> ZipList a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ZipList a -> m (ZipList a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ZipList a -> m (ZipList a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ZipList a -> m (ZipList a) Исходный код

Data p => Data (Par1 p) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Par1 p -> c (Par1 p) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Par1 p) Источник

toConstr :: Par1 p -> Constr Источник

dataTypeOf :: Par1 p -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c (Par1 p)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c (Par1 p)) Источник

gmapT :: (forall b. Data b => b -> b) -> Par1 p -> Par1 p Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Par1 p -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Par1 p -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Par1 p -> [u] Источник

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Par1 p -> u Источник

gmapM :: Монад m => (forall d. Data d => d -> m d) -> Par1 p -> m (Par1 p) Источник

gmapMp :: МонаднойСуммой m => (forall d. Data d => d -> m d) -> Par1 p -> m (Par1 p) Источник

gmapMo :: МонаднойСуммой m => (forall d. Data d => d -> m d) -> Par1 p -> m (Par1 p) Источник

Data a => Data (Указатель a) Источник

С: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Указатель a -> c (Указатель a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c (Указатель a) Исходный код

toConstr :: Указатель a -> Конструктор Исходный код

dataTypeOf :: Указатель a -> ТипДанных Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> МожетБыть (c (Указатель a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> МожетБыть (c (Указатель a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Указатель a -> Указатель a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Указатель a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Указатель a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Указатель a -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Указатель a -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> Указатель a -> m (Указатель a) Исходный код

gmapMp :: МоноидСумма m => (forall d. Data d => d -> m d) -> Указатель a -> m (Указатель a) Исходный код

gmapMo :: МоноидСумма m => (forall d. Data d => d -> m d) -> Указатель a -> m (Указатель a) Исходный код

(Data a, Целое a) => Data (Рацио a) Исходный код

С момента: base-4.0.0.0
Детали экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ratio a -> c (Ratio a) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ratio a) Источник

toConstr :: Ratio a -> Constr Источник

dataTypeOf :: Ratio a -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ratio a)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ratio a)) Источник

gmapT :: (forall b. Data b => b -> b) -> Ratio a -> Ratio a Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ratio a -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ratio a -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Ratio a -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ratio a -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ratio a -> m (Ratio a) Источник

Data flag => Data (TyVarBndr flag) Источник
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyVarBndr flag -> c (TyVarBndr flag) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TyVarBndr flag) Исходный код

toConstr :: TyVarBndr flag -> Constr Исходный код

dataTypeOf :: TyVarBndr flag -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TyVarBndr flag)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TyVarBndr flag)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> TyVarBndr flag -> TyVarBndr flag Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyVarBndr flag -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyVarBndr flag -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> TyVarBndr flag -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> TyVarBndr flag -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TyVarBndr flag -> m (TyVarBndr flag) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TyVarBndr flag -> m (TyVarBndr flag) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TyVarBndr flag -> m (TyVarBndr flag) Исходный код

Data a => Data (Maybe a) Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Maybe a -> c (Maybe a) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Maybe a) Источник

toConstr :: Maybe a -> Constr Источник

dataTypeOf :: Maybe a -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Maybe a)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Maybe a)) Источник

gmapT :: (forall b. Data b => b -> b) -> Maybe a -> Maybe a Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Maybe a -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Maybe a -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Maybe a -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Maybe a -> m (Maybe a) Источник

Data a => Data (Solo a) Источник

С момента: base-4.15
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Solo a -> c (Solo a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Solo a) Исходный код

toConstr :: Solo a -> Constr Исходный код

dataTypeOf :: Solo a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Solo a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Solo a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Solo a -> Solo a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Solo a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Solo a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Solo a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Solo a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Solo a -> m (Solo a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Solo a -> m (Solo a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Solo a -> m (Solo a) Исходный код

Data a => Data [a] Исходный код

По историческим причинам имя конструктора, используемого для (:), равно "(:)". В производном экземпляре оно было бы ":".

С версии: base-4.0.0.0
Детали экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> [a] -> c [a] Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c [a] Исходный код

toConstr :: [a] -> Constr Исходный код

dataTypeOf :: [a] -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c [a]) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c [a]) Исходный код

gmapT :: (forall b. Data b => b -> b) -> [a] -> [a] Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> [a] -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> [a] -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> [a] -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> [a] -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> [a] -> m [a] Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> [a] -> m [a] Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> [a] -> m [a] Исходный код

(Typeable m, Typeable a, Data (m a)) => Data (WrappedMonad m a) Исходный код

С момента: base-4.14.0.0
Подробности экземпляра

Определено в Control.Applicative

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WrappedMonad m a -> c (WrappedMonad m a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WrappedMonad m a) Исходный код

toConstr :: WrappedMonad m a -> Constr Исходный код

dataTypeOf :: WrappedMonad m a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (WrappedMonad m a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WrappedMonad m a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> WrappedMonad m a -> WrappedMonad m a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WrappedMonad m a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WrappedMonad m a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> WrappedMonad m a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> WrappedMonad m a -> u Исходный код

gmapM :: Monad m0 => (forall d. Data d => d -> m0 d) -> WrappedMonad m a -> m0 (WrappedMonad m a) Исходный код

gmapMp :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> WrappedMonad m a -> m0 (WrappedMonad m a) Исходный код

gmapMo :: MonadPlus m0 => (forall d. Data d => d -> m0 d) -> WrappedMonad m a -> m0 (WrappedMonad m a) Исходный код

(Typeable k, Typeable a) => Data (Fixed a) Исходный код

С момента: base-4.1.0.0
Подробности экземпляра

Определено в Data.Fixed

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fixed a -> c (Fixed a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Fixed a) Исходный код

toConstr :: Fixed a -> Constr Исходный код

dataTypeOf :: Fixed a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c (Fixed a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c (Fixed a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Fixed a -> Fixed a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fixed a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Fixed a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fixed a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fixed a -> m (Fixed a) Исходный код

(Data a, Data b) => Data (Arg a b) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

Определено в Data.Semigroup

Методы

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Arg a b -> c (Arg a b) Исходный код

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Arg a b) Исходный код

toConstr :: Arg a b -> Constr Исходный код

dataTypeOf :: Arg a b -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Arg a b)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Arg a b)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Arg a b -> Arg a b Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Arg a b -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Arg a b -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Arg a b -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Arg a b -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Arg a b -> m (Arg a b) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a b -> m (Arg a b) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Arg a b -> m (Arg a b) Исходный код

(Data a, Data b, Ix a) => Data (Array a b) Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Array a b -> c (Array a b) Исходный код

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Array a b) Исходный код

toConstr :: Array a b -> Constr Исходный код

dataTypeOf :: Array a b -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Array a b)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Array a b)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Array a b -> Array a b Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Array a b -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Array a b -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Array a b -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Array a b -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Array a b -> m (Array a b) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Array a b -> m (Array a b) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Array a b -> m (Array a b) Исходный код

(Data a, Data b) => Data (Either a b) Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Either a b -> c (Either a b) Исходный код

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Either a b) Исходный код

toConstr :: Either a b -> Constr Исходный код

dataTypeOf :: Either a b -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Either a b)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Either a b)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Either a b -> Either a b Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Either a b -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Either a b -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Either a b -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Either a b -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Either a b -> m (Either a b) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Either a b -> m (Either a b) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Either a b -> m (Either a b) Исходный код

Data t => Data (Proxy t) Исходный код

С момента: base-4.7.0.0
Подробности экземпляра

Определено в 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) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Proxy t) Исходный код

toConstr :: Proxy t -> Constr Исходный код

dataTypeOf :: Proxy t -> DataType Исходный код

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Proxy t)) Исходный код

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Proxy t)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Proxy t -> Proxy t Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Proxy t -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Proxy t -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Proxy t -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy t -> m (Proxy t) Исходный код

Data p => Data (U1 p) Исходный код

С версии: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> U1 p -> c (U1 p) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (U1 p) Исходный код

toConstr :: U1 p -> Constr Исходный код

dataTypeOf :: U1 p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (U1 p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (U1 p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> U1 p -> U1 p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> U1 p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> U1 p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> U1 p -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> U1 p -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> U1 p -> m (U1 p) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> U1 p -> m (U1 p) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> U1 p -> m (U1 p) Исходный код

Data p => Data (V1 p) Исходный код

С тех пор как: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> V1 p -> c (V1 p) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (V1 p) Исходный код

toConstr :: V1 p -> Constr Исходный код

dataTypeOf :: V1 p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c (V1 p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c (V1 p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> V1 p -> V1 p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> V1 p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> V1 p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> V1 p -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> V1 p -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) Исходный код

gmapMp :: МонадСумма m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) Исходный код

gmapMo :: МонадСумма m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) Исходный код

(Data a, Data b) => Data (a, b) Исходный код

С момента: base-4.0.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) Исходный код

(Typeable a, Typeable b, Typeable c, Data (a b c)) => Data (WrappedArrow a b c) Исходный код

С момента: base-4.14.0.0
Подробности экземпляра

Определено в Control.Applicative

Методы

gfoldl :: (forall d b0. Data d => c0 (d -> b0) -> d -> c0 b0) -> (forall g. g -> c0 g) -> WrappedArrow a b c -> c0 (WrappedArrow a b c) Исходный код

gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (WrappedArrow a b c) Исходный код

toConstr :: WrappedArrow a b c -> Constr Исходный код

dataTypeOf :: WrappedArrow a b c -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (WrappedArrow a b c)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (WrappedArrow a b c)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> WrappedArrow a b c -> WrappedArrow a b c Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WrappedArrow a b c -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WrappedArrow a b c -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> WrappedArrow a b c -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> WrappedArrow a b c -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WrappedArrow a b c -> m (WrappedArrow a b c) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WrappedArrow a b c -> m (WrappedArrow a b c) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WrappedArrow a b c -> m (WrappedArrow a b c) Исходный код

(Typeable k, Data a, Typeable b) => Data (Const 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) -> Const a b -> c (Const a b) Исходный код

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Const a b) Исходный код

toConstr :: Const a b -> Constr Исходный код

dataTypeOf :: Const a b -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Const a b)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Const a b)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Const a b -> Const a b Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Const a b -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Const a b -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Const a b -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Const a b -> m (Const a b) Исходный код

(Data (f a), Data a, Typeable f) => Data (Ap f a) Исходный код

С момента: base-4.12.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ap f a -> c (Ap f a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ap f a) Исходный код

toConstr :: Ap f a -> Constr Исходный код

dataTypeOf :: Ap f a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Ap f a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Ap f a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Ap f a -> Ap f a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ap f a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ap f a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Ap f a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Ap f a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ap f a -> m (Ap f a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ap f a -> m (Ap f a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ap f a -> m (Ap f a) Исходный код

(Data (f a), Data a, Typeable f) => Data (Alt f a) Исходный код

С момента: base-4.8.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Alt f a -> c (Alt f a) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Alt f a) Источник

toConstr :: Alt f a -> Constr Источник

dataTypeOf :: Alt f a -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Alt f a)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Alt f a)) Источник

gmapT :: (forall b. Data b => b -> b) -> Alt f a -> Alt f a Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Alt f a -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Alt f a -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Alt f a -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Alt f a -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Alt f a -> m (Alt f a) Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Alt f a -> m (Alt f a) Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Alt f a -> m (Alt f a) Источник

(Coercible a b, Data a, Data b) => Data (Coercion 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) -> Coercion a b -> c (Coercion a b) Исходный код

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Coercion a b) Исходный код

toConstr :: Coercion a b -> Constr Исходный код

dataTypeOf :: Coercion a b -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c (Coercion a b)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c (Coercion a b)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> Coercion a b -> Coercion a b Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Coercion a b -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Coercion a b -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Coercion a b -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> Coercion a b -> u Исходный код

gmapM :: Моноид m => (forall d. Data d => d -> m d) -> Coercion a b -> m (Coercion a b) Исходный код

gmapMp :: Моноид плюсов m => (forall d. Data d => d -> m d) -> Coercion a b -> m (Coercion a b) Исходный код

gmapMo :: Моноид плюсов m => (forall d. Data d => d -> m d) -> Coercion a b -> m (Coercion 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) Исходный код

(Data (f p), Typeable f, Data p) => Data (Rec1 f p) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rec1 f p -> c (Rec1 f p) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Rec1 f p) Исходный код

toConstr :: Rec1 f p -> Constr Исходный код

dataTypeOf :: Rec1 f p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Rec1 f p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Rec1 f p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Rec1 f p -> Rec1 f p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rec1 f p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rec1 f p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Rec1 f p -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Rec1 f p -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rec1 f p -> m (Rec1 f p) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rec1 f p -> m (Rec1 f p) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rec1 f p -> m (Rec1 f p) Исходный код

(Data a, Data b, Data c) => Data (a, b, c) Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b0. Data d => c0 (d -> b0) -> d -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c) -> c0 (a, b, c) Исходный код

gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c) Исходный код

toConstr :: (a, b, c) -> Constr Исходный код

dataTypeOf :: (a, b, c) -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (a, b, c)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (a, b, c)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c) -> (a, b, c) Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a, b, c) -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a, b, c) -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> (a, b, c) -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> (a, b, c) -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a, b, c) -> m (a, b, c) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a, b, c) -> m (a, b, c) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a, b, c) -> m (a, b, c) Исходный код

(Typeable a, Typeable f, Typeable g, Typeable k, Data (f a), Data (g a)) => Data (Product f g a) Исходный код

С: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> Product f g a -> c (Product f g a) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Product f g a) Источник

toConstr :: Product f g a -> Constr Источник

dataTypeOf :: Product f g a -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Product f g a)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Product f g a)) Источник

gmapT :: (forall b. Data b => b -> b) -> Product f g a -> Product f g a Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Product f g a -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Product f g a -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Product f g a -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Product f g a -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Product f g a -> m (Product f g a) Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Product f g a -> m (Product f g a) Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Product f g a -> m (Product f g a) Источник

(Typeable a, Typeable f, Typeable g, Typeable k, Data (f a), Data (g a)) => Data (Sum f g a) Источник

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> Sum f g a -> c (Sum f g a) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Sum f g a) Исходный код

toConstr :: Sum f g a -> Constr Исходный код

dataTypeOf :: Sum f g a -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Sum f g a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Sum f g a)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> Sum f g a -> Sum f g a Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sum f g a -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sum f g a -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> Sum f g a -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> Sum f g a -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sum f g a -> m (Sum f g a) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sum f g a -> m (Sum f g a) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sum f g a -> m (Sum f g a) Исходный код

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

(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :*: g) p) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :*: g) p -> c ((f :*: g) p) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :*: g) p) Исходный код

toConstr :: (f :*: g) p -> Constr Исходный код

dataTypeOf :: (f :*: g) p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :*: g) p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :*: g) p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> (f :*: g) p -> (f :*: g) p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :*: g) p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :*: g) p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> (f :*: g) p -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :*: g) p -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :*: g) p -> m ((f :*: g) p) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :*: g) p -> m ((f :*: g) p) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :*: g) p -> m ((f :*: g) p) Исходный код

(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :+: g) p) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :+: g) p -> c ((f :+: g) p) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :+: g) p) Исходный код

toConstr :: (f :+: g) p -> Constr Исходный код

dataTypeOf :: (f :+: g) p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :+: g) p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :+: g) p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> (f :+: g) p -> (f :+: g) p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :+: g) p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :+: g) p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> (f :+: g) p -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :+: g) p -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :+: g) p -> m ((f :+: g) p) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :+: g) p -> m ((f :+: g) p) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :+: g) p -> m ((f :+: g) p) Исходный код

(Typeable i, Data p, Data c) => Data (K1 i c p) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> K1 i c p -> c0 (K1 i c p) Исходный код

gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (K1 i c p) Исходный код

toConstr :: K1 i c p -> Constr Исходный код

dataTypeOf :: K1 i c p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Может (c0 (K1 i c p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Может (c0 (K1 i c p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> K1 i c p -> K1 i c p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> K1 i c p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> K1 i c p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> K1 i c p -> [u] Исходный код

gmapQi :: Целое число -> (forall d. Data d => d -> u) -> K1 i c p -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> K1 i c p -> m (K1 i c p) Исходный код

gmapMp :: Монад плюс m => (forall d. Data d => d -> m d) -> K1 i c p -> m (K1 i c p) Исходный код

gmapMo :: Монад плюс m => (forall d. Data d => d -> m d) -> K1 i c p -> m (K1 i c p) Исходный код

(Data a, Data b, Data c, Data d) => Data (a, b, c, d) Исходный код

С версии: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c, d) -> c0 (a, b, c, d) Исходный код

gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d) Исходный код

toConstr :: (a, b, c, d) -> Constr Исходный код

dataTypeOf :: (a, b, c, d) -> DataType Исходный код

dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Maybe (c0 (a, b, c, d)) Исходный код

dataCast2 :: Typeable t => (forall d0 e. (Data d0, Data e) => c0 (t d0 e)) -> Maybe (c0 (a, b, c, d)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d) -> (a, b, c, d) Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d) -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d) -> r Исходный код

gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d) -> [u] Исходный код

gmapQi :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d) -> u Исходный код

gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Исходный код

gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Исходный код

gmapMo :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Исходный код

(Typeable a, Typeable f, Typeable g, Typeable k1, Typeable k2, Data (f (g a))) => Data (Compose f g a) Исходный код

С тех пор: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> Compose f g a -> c (Compose f g a) Источник

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Compose f g a) Источник

toConstr :: Compose f g a -> Constr Источник

dataTypeOf :: Compose f g a -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Compose f g a)) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Compose f g a)) Источник

gmapT :: (forall b. Data b => b -> b) -> Compose f g a -> Compose f g a Источник

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Compose f g a -> r Источник

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Compose f g a -> r Источник

gmapQ :: (forall d. Data d => d -> u) -> Compose f g a -> [u] Источник

gmapQi :: Int -> (forall d. Data d => d -> u) -> Compose f g a -> u Источник

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Compose f g a -> m (Compose f g a) Источник

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Compose f g a -> m (Compose f g a) Источник

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Compose f g a -> m (Compose f g a) Источник

(Typeable f, Typeable g, Data p, Data (f (g p))) => Data ((f :.: g) p) Источник

С версии: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :.: g) p -> c ((f :.: g) p) Исходный код

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :.: g) p) Исходный код

toConstr :: (f :.: g) p -> Constr Исходный код

dataTypeOf :: (f :.: g) p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :.: g) p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :.: g) p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> (f :.: g) p -> (f :.: g) p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :.: g) p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :.: g) p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> (f :.: g) p -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :.: g) p -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :.: g) p -> m ((f :.: g) p) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :.: g) p -> m ((f :.: g) p) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :.: g) p -> m ((f :.: g) p) Исходный код

(Data p, Data (f p), Typeable c, Typeable i, Typeable f) => Data (M1 i c f p) Исходный код

С момента: base-4.9.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> M1 i c f p -> c0 (M1 i c f p) Исходный код

gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (M1 i c f p) Исходный код

toConstr :: M1 i c f p -> Constr Исходный код

dataTypeOf :: M1 i c f p -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Может (c0 (M1 i c f p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Может (c0 (M1 i c f p)) Исходный код

gmapT :: (forall b. Data b => b -> b) -> M1 i c f p -> M1 i c f p Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> M1 i c f p -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> M1 i c f p -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> M1 i c f p -> [u] Исходный код

gmapQi :: Целое -> (forall d. Data d => d -> u) -> M1 i c f p -> u Исходный код

gmapM :: Монад m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код

gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код

gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код

(Data a, Data b, Data c, Data d, Data e) => Data (a, b, c, d, e) Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c, d, e) -> c0 (a, b, c, d, e) Исходный код

gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e) Исходный код

toConstr :: (a, b, c, d, e) -> Constr Исходный код

dataTypeOf :: (a, b, c, d, e) -> DataType Исходный код

dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Может (c0 (a, b, c, d, e)) Исходный код

dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Может (c0 (a, b, c, d, e)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d, e) -> (a, b, c, d, e) Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e) -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e) -> r Исходный код

gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e) -> [u] Исходный код

gmapQi :: Целое -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e) -> u Исходный код

gmapM :: Монад m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e) -> m (a, b, c, d, e) Исходный код

gmapMp :: МонадPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e) -> m (a, b, c, d, e) Исходный код

gmapMo :: МонадPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e) -> m (a, b, c, d, e) Исходный код

(Data a, Data b, Data c, Data d, Data e, Data f) => Data (a, b, c, d, e, f) Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c, d, e, f) -> c0 (a, b, c, d, e, f) Исходный код

gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e, f) Исходный код

toConstr :: (a, b, c, d, e, f) -> Constr Исходный код

dataTypeOf :: (a, b, c, d, e, f) -> DataType Исходный код

dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> МожетБыть (c0 (a, b, c, d, e, f)) Исходный код

dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> МожетБыть (c0 (a, b, c, d, e, f)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f) -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f) -> r Исходный код

gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f) -> [u] Исходный код

gmapQi :: ЦелоеЧисло -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f) -> u Исходный код

gmapM :: Монадный m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Исходный код

gmapMp :: МонадныйСPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Исходный код

gmapMo :: МонадныйСPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Исходный код

(Data a, Data b, Data c, Data d, Data e, Data f, Data g) => Data (a, b, c, d, e, f, g) Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g0. g0 -> c0 g0) -> (a, b, c, d, e, f, g) -> c0 (a, b, c, d, e, f, g) Исходный код

gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e, f, g) Исходный код

toConstr :: (a, b, c, d, e, f, g) -> Constr Исходный код

dataTypeOf :: (a, b, c, d, e, f, g) -> DataType Исходный код

dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Maybe (c0 (a, b, c, d, e, f, g)) Исходный код

dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Maybe (c0 (a, b, c, d, e, f, g)) Исходный код

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f, g) -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f, g) -> r Исходный код

gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f, g) -> [u] Исходный код

gmapQi :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f, g) -> u Исходный код

gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g) Исходный код

gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g) Исходный код

gmapMo :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g) Исходный код

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

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

Представление типов данных. Набор представлений конструкторов с именами типа и модуля.

Экземпляры
Подробности экземпляров
Show DataType Исходный код

С момента: base-4.0.0.0
Подробности экземпляра

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

Методы

showsPrec :: Int -> DataType -> ShowS Исходный код

show :: DataType -> String Исходный код

showList :: [DataType] -> ShowS Исходный код

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

mkDataType :: String -> [Constr] -> DataType Исходный код

Создаёт алгебраический тип данных

mkIntType :: String -> DataType Исходный код

Создаёт тип Int

mkFloatType :: String -> DataType Исходный код

Создаёт тип Float

mkCharType :: String -> DataType Исходный код

Создаёт тип Char

mkNoRepType :: String -> DataType Исходный код

Создаёт непредставление для непредставимого типа

Наблюдатели

dataTypeName :: DataType -> String Исходный код

Возвращает конструктор типа, включая модуль

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

Публичное представление типов данных

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

AlgRep [Constr]
IntRep
FloatRep
CharRep
NoRep
Примеры использования
Подробности примеров использования
Show DataRep Исходный код

С момента: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Int -> DataRep -> ShowS Исходный код

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

showList :: [DataRep] -> ShowS Исходный код

Eq DataRep Исходный код

С момента: base-4.0.0.0
Подробности примера

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

Методы

(==) :: DataRep -> DataRep -> Bool Исходный код

(/=) :: DataRep -> DataRep -> Bool Исходный код

dataTypeRep :: DataType -> DataRep Исходный код

Получает общедоступное представление типа данных

Вспомогательные функции

repConstr :: DataType -> ConstrRep -> Constr Исходный код

Поиск конструктора по его представлению

isAlgType :: DataType -> Bool Исходный код

Проверка на алгебраический тип

dataTypeConstrs :: DataType -> [Constr] Исходный код

Получение конструкторов алгебраического типа данных

indexConstr :: DataType -> ConIndex -> Constr Исходный код

Получение конструктора по индексу (только для алгебраических типов данных)

maxConstrIndex :: DataType -> ConIndex Исходный код

Получение максимального индекса конструктора алгебраического типа данных

isNorepType :: DataType -> Bool Исходный код

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

Представления конструкторов данных

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

Представление конструкторов. Обратите внимание, что сравнение конструкторов с разными типами может не работать — т.е. конструкторы для False и Nothing могут считаться равными.

Примеры использования
Подробности примеров использования
Show Constr Исходный код

С момента: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Int -> Constr -> ShowS Исходный код

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

showList :: [Constr] -> ShowS Исходный код

Eq Constr Исходный код

Равенство конструкторов

С момента: base-4.0.0.0
Подробности примера

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

Методы

(==) :: Constr -> Constr -> Bool Исходный код

(/=) :: Constr -> Constr -> Bool Исходный код

type ConIndex = Int Исходный код

Уникальный индекс для конструкторов типа данных, считая с 1 в порядке их объявления в тексте программы.

data Fixity Source

Связанность конструкторов

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

Prefix
Infix
Примеры использования
Подробности примеров использования
Show Fixity Source

С версии: base-4.0.0.0
Подробности примера использования

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

Методы

showsPrec :: Int -> Fixity -> ShowS Source

show :: Fixity -> String Source

showList :: [Fixity] -> ShowS Source

Eq Fixity Source

С версии: base-4.0.0.0
Подробности примера использования

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

Методы

(==) :: Fixity -> Fixity -> Bool Source

(/=) :: Fixity -> Fixity -> Bool Source

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

mkConstr :: DataType -> String -> [String] -> Fixity -> Constr Source

Создает конструктор

mkConstrTag :: DataType -> String -> Int -> [String] -> Fixity -> Constr Source

Создает конструктор

С версии: base-4.16.0.0

mkIntegralConstr :: (Integral a, Show a) => DataType -> a -> Constr Source

mkRealConstr :: (Real a, Show a) => DataType -> a -> Constr Source

mkCharConstr :: DataType -> Char -> Constr Source

Создаёт конструктор для Char.

Наблюдатели

constrType :: Constr -> DataType Source

Возвращает тип данных конструктора.

data ConstrRep Source

Общедоступное представление конструкторов

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

AlgConstr ConIndex
IntConstr Integer
FloatConstr Rational
CharConstr Char
Примеры использования
Подробности примеров использования
Show ConstrRep Исходный код

С момента: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Int -> ConstrRep -> ShowS Исходный код

show :: ConstrRep -> String Исходный код

showList :: [ConstrRep] -> ShowS Исходный код

Eq ConstrRep Исходный код

С момента: base-4.0.0.0
Подробности примера

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

Методы

(==) :: ConstrRep -> ConstrRep -> Bool Исходный код

(/=) :: ConstrRep -> ConstrRep -> Bool Исходный код

constrRep :: Constr -> ConstrRep Исходный код

Получает общедоступное представление конструкторов

constrFields :: Constr -> [String] Исходный код

Получает метки полей конструктора. Список меток возвращается в том же порядке, что и в исходном объявлении конструктора.

constrFixity :: Constr -> Fixity Исходный код

Получает приоритет конструктора

Функция-помощник: алгебраические типы данных

constrIndex :: Constr -> ConIndex Исходный код

Получает индекс конструктора (только для алгебраических типов данных)

Преобразование строк в конструкторы и обратно: все типы данных

showConstr :: Constr -> String Исходный код

Получает строку для конструктора

readConstr :: DataType -> String -> Maybe Constr Исходный код

Поиск конструктора по строке

Функции-помощники: разбор конструкторов типов

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

Получение неквалифицированного конструктора типа: удаление *.*.*... перед именем

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

Получение модуля конструктора типа: взятие *.*.*... перед именем

Операции с обобщенными данными, определенные через gunfold

fromConstr :: Data a => Constr -> a Исходный код

Построение структуры термина

fromConstrB :: Data a => (forall d. Data d => d) -> Constr -> a Исходный код

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

fromConstrM :: (Monad m, Data a) => (forall d. Data d => m d) -> Constr -> m a Исходный код

Монадный вариант fromConstrB

© 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-Data.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API