Spec-Zone.ru › Haskell 8

Data.Data

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

Содержание

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

Описание

"Scrap your boilerplate" --- Общее программирование в Haskell. См. http://www.haskell.org/haskellwiki/Research_papers/Generics#Scrap_your_boilerplate.21. Этот модуль предоставляет класс Data со своими примитивами для общего программирования, а также экземпляры для многих типов данных. Он соответствует слиянию предыдущего Data.Generics.Basics и почти всех Data.Generics.Instances. Экземпляры, которые отсутствуют в этом модуле, были перемещены в модуль Data.Generics.Instances в пакете syb.

Для получения дополнительной информации посетите новый wiki SYB: http://www.cs.uu.nl/wiki/bin/view/GenericProgramming/SYB.

Модуль 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 :: forall r r'. (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 u. Int -> (forall d. Data d => d -> u) -> a -> u Источник

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

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

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

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

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

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

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

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

Примеры использования
Подробности примеров использования
Data Bool

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

Определено в 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
Подробности экземпляра

Определено в 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 Двойное

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

Определено в 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
Подробности экземпляра

Определено в 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)) -> Maybe (c Float) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (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

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

Определено в 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 Int8

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

Определено в 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 Int16

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

Определено в 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
Подробности экземпляра

Определено в 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)) -> Maybe (c Int32) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (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 :: Monad m => (forall d. Data d => d -> m d) -> Int32 -> m Int32 Исходный код

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

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

Data Int64

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

Определено в 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 Integer

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

Определено в 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 :: Int -> (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
Подробности экземпляра

Определено в 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
Подробности экземпляра

Определено в 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
Подробности экземпляра

Определено в 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 Word8

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

Определено в 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 Word16

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

Определено в 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
Подробности экземпляра

Определено в 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
Подробности экземпляра

Определено в 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 ()

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

Определено в 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 Исходный код

Data IntPtr

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

Определено в 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
Подробности экземпляра

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

gmapMp :: Монад с объединением m => (forall d. Data d => d -> m d) -> WordPtr -> m WordPtr Исходный код

gmapMo :: Монад с объединением m => (forall d. Data d => d -> m d) -> WordPtr -> m WordPtr Исходный код

Data Определённая строгость

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

Определено в 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 SourceStrictness

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

Определено в 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
Подробности экземпляра

Определено в 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 Associativity

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

Определено в 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 :: МонадныйСуммой 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
Подробности экземпляра

Определено в 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)) -> Может быть (c Fixity) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может быть (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 :: Целое число -> (forall d. Data d => d -> u) -> Fixity -> u Исходный код

gmapM :: Моноид 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 Любой

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

Определено в 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 :: МонадПлюс 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
Подробности экземпляра

Определено в 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
Сведения об экземпляре

Определено в 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

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

Определено в GHC.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 Void

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

Определено в Data.Void

Методы

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)) -> Maybe (c Void) Источник

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (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 :: Int -> (forall d. Data d => d -> u) -> Void -> u Источник

gmapM :: Monad 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 a => Data [a]

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

Определено в 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] Источник

Data a => Data (Maybe a)

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

Определено в 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, Integral a) => Data (Ratio a)

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

Определено в 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 a => Data (Ptr a)

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

Определено в 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 p => Data (Par1 p)

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

Определено в 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)) -> Maybe (c (Par1 p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (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 :: Int -> (forall d. Data d => d -> u) -> Par1 p -> u Исходный код

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

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

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

Data a => Data (NonEmpty a)

С: base-4.9.0.0
Сведения об экземпляре

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Data a => Data (Down a)

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

Определено в 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 (Product a)

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

Определено в 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
Подробности экземпляра

Определено в 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 (Двойной a)

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

Определено в 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 (Last a)

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

Определено в 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 (First a)

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

Определено в 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 (ForeignPtr a)

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

Определено в 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 (Identity a)

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

Определено в 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 (ZipList a)

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

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

Методы

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 a => Data (Option 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) -> Option a -> c (Option a) Исходный код

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

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

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

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

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

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

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

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

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

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

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

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

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Option a -> m (Option 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 (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 (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 (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) -> Макс 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 (Мин 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 a => Data (Complex 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 b) => Data (Either a b)

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

Определено в 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 p => Data (V1 p)

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

Определено в 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 :: MonadPlus m => (forall d. Data d => d -> m d) -> V1 p -> m (V1 p) Исходный код

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

Data p => Data (U1 p)

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

Определено в 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 a, Data b) => Data (a, b)

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

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

Методы

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

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

toConstr :: (a, b) -> Constr Исходный код

dataTypeOf :: (a, b) -> DataType Исходный код

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

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

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

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

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

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

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

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

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

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

(Data a, Data b, Ix a) => Data (Array a b)

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

Определено в 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 t => Data (Proxy t)

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

Определено в 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) Исходный код

(Typeable m, Typeable a, Data (m a)) => Data (WrappedMonad m a)

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

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

Методы

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

(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) Источник

(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)) -> Maybe (c (Fixed a)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (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 (f p), Typeable f, Data p) => Data (Rec1 f p)

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

Определено в 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
Подробности экземпляра

Определено в 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) Источник

(a ~ b, Data a) => Data (a :~: b)

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

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

Методы

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

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

toConstr :: (a :~: b) -> Constr Исходный код

dataTypeOf :: (a :~: b) -> DataType Исходный код

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

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

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

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

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

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

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

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

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

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

(Coercible a b, Data a, Data b) => Data (Coercion a b)

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

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

Методы

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> 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)) -> Maybe (c (Coercion a b)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (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 :: Int -> (forall d. Data d => d -> u) -> Coercion a b -> u Исходный код

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

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

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

(Data (f a), Data a, Typeable f) => Data (Alt f a)

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

Определено в 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) Исходный код

(Data (f a), Data a, Typeable f) => Data (Ap f a)

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

Определено в 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) Исходный код

(Typeable k, Data a, Typeable b) => Data (Const a b)

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

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

Методы

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> 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) Исходный код

(Typeable a, Typeable b, Typeable c, Data (a b c)) => Data (WrappedArrow a b c)

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

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

Методы

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 i, Data p, Data c) => Data (K1 i c p)

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

Определено в 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)) -> Maybe (c0 (K1 i c p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (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 :: Int -> (forall d. Data d => d -> u) -> K1 i c p -> u Исходный код

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

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

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

(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :+: g) p)

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

Определено в 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
Подробности экземпляра

Определено в 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)) -> Возможность (c ((f :*: g) p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможность (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 :: Целое число -> (forall d. Data d => d -> u) -> (f :*: g) p -> u Исходный код

gmapM :: Монад 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 a, Data b, Data c, Data d) => Data (a, b, c, d)

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

Определено в 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)) -> Может быть (c0 (a, b, c, d)) Исходный код

dataCast2 :: Typeable t => (forall d0 e. (Data d0, Data e) => c0 (t d0 e)) -> Может быть (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 :: Целое число -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d) -> u Исходный код

gmapM :: Моноид m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Исходный код

gmapMp :: Моноид слияния m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Исходный код

gmapMo :: Моноид слияния m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Исходный код

(Typeable i, Typeable j, Typeable a, Typeable b, a ~~ b) => Data (a :~~: b)

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

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

Методы

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

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

toConstr :: (a :~~: b) -> Constr Исходный код

dataTypeOf :: (a :~~: b) -> DataType Исходный код

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

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

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

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

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

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

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

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

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

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

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

(Data p, Data (f p), Typeable c, Typeable i, Typeable f) => Data (M1 i c f p)

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

Определено в 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)) -> Maybe (c0 (M1 i c f p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (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 :: Int -> (forall d. Data d => d -> u) -> M1 i c f p -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код

(Typeable f, Typeable g, Data p, Data (f (g p))) => Data ((f :.: g) p)

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

Определено в 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)) -> Может (c ((f :.: g) p)) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (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 :: Целое -> (forall d. Data d => d -> u) -> (f :.: g) p -> u Исходный код

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

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

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

(Data a, Data b, Data c, Data d, Data e) => Data (a, b, c, d, e)

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

Определено в 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)) -> Maybe (c0 (a, b, c, d, e)) Исходный код

dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Maybe (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 :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e) -> u Исходный код

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

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

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

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

(Data a, Data b, Data c, Data d, Data e, Data f) => Data (a, b, c, d, e, f)

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

Определено в 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)) -> Maybe (c0 (a, b, c, d, e, f)) Исходный код

dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Maybe (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 :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f) -> u Исходный код

gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Исходный код

gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Исходный код

gmapMo :: MonadPlus 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)

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

Определено в 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 ТипДанных Источник

Представление типов данных. Набор представлений конструкторов с именами типа и модуля.

Примеры
Подробности примеров
Вывод ТипДанных

С момента: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Целое -> ТипДанных -> ShowS Источник

show :: ТипДанных -> Строка Источник

showList :: [ТипДанных] -> ShowS Источник

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

mkDataType :: Строка -> [Констр] -> ТипДанных Источник

Создаёт алгебраический тип данных

mkIntType :: Строка -> ТипДанных Источник

Создаёт тип Int

mkFloatType :: Строка -> ТипДанных Источник

Создаёт тип Float

mkCharType :: Строка -> ТипДанных Источник

Создаёт тип Char

mkNoRepType :: Строка -> ТипДанных Источник

Создаёт непредставление для непредставимого типа

Наблюдатели

dataTypeName :: ТипДанных -> Строка Источник

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

data ПредставлениеДанных Источник

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

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

AlgRep [Констр]
IntRep
FloatRep
CharRep
NoRep
Примеры
Подробности примеров
Равно ПредставлениеДанных

С момента: base-4.0.0.0
Подробности примера

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

Методы

(==) :: ПредставлениеДанных -> ПредставлениеДанных -> Булево Источник

(/=) :: ПредставлениеДанных -> ПредставлениеДанных -> Булево Источник

Вывод ПредставлениеДанных

С момента: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Целое -> ПредставлениеДанных -> ShowS Источник

show :: ПредставлениеДанных -> Строка Источник

showList :: [ПредставлениеДанных] -> ShowS Источник

dataTypeRep :: ТипДанных -> ПредставлениеДанных Источник

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

Функции для удобства

repConstr :: ТипДанных -> ПредставлениеКонстр -> Констр Источник

Найти конструктор по его представлению

isAlgType :: ТипДанных -> Булево Источник

Проверка на алгебраический тип

dataTypeConstrs :: ТипДанных -> [Констр] Источник

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

indexConstr :: ТипДанных -> ИндексКонстр -> Констр Источник

Получение конструктора по индексу (только для алгебраических типов)

maxConstrIndex :: ТипДанных -> ИндексКонстр Источник

Получение максимального индекса конструктора алгебраического типа данных

isNorepType :: ТипДанных -> Булево Источник

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

Представления конструкторов данных

data Констр Источник

Представление конструкторов. Обратите внимание, что равенство конструкторов с различными типами может не работать — например, конструкторы для False и Nothing могут сравниваться как равные.

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

Равенство конструкторов

С версии: base-4.0.0.0
Подробности примера

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

Методы

(==) :: Constr -> Constr -> Bool Исходный код

(/=) :: Constr -> Constr -> Bool Исходный код

Show Constr

С версии: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Int -> Constr -> ShowS Исходный код

show :: Constr -> String Исходный код

showList :: [Constr] -> ShowS Исходный код

type ConIndex = Int Исходный код

Уникальный индекс для конструкторов типов, считая с 1 в порядке их указания в тексте программы.

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

Приоритет конструкторов

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

Prefix
Infix
Примеры
Подробности примеров
Eq Fixity

С версии: base-4.0.0.0
Подробности примера

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

Методы

(==) :: Fixity -> Fixity -> Bool Исходный код

(/=) :: Fixity -> Fixity -> Bool Исходный код

Show Fixity

С версии: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Int -> Fixity -> ShowS Исходный код

show :: Fixity -> String Исходный код

showList :: [Fixity] -> ShowS Исходный код

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

mkConstr :: DataType -> String -> [String] -> Fixity -> Constr Исходный код

Создаёт конструктор

mkIntegralConstr :: (Integral a, Show a) => DataType -> a -> Constr Исходный код

mkRealConstr :: (Real a, Show a) => DataType -> a -> Constr Исходный код

mkCharConstr :: DataType -> Char -> Constr Исходный код

Создаёт конструктор для Char.

Наблюдатели

constrType :: Constr -> DataType Исходный код

Получение типа конструктора

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

Общедоступное представление конструкторов

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

AlgConstr ConIndex
IntConstr Integer
FloatConstr Rational
CharConstr Char
Примеры
Подробности примеров
Eq ConstrRep

С момента: base-4.0.0.0
Подробности примера

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

Методы

(==) :: ConstrRep -> ConstrRep -> Bool Исходный код

(/=) :: ConstrRep -> ConstrRep -> Bool Исходный код

Show ConstrRep

С момента: base-4.0.0.0
Подробности примера

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

Методы

showsPrec :: Int -> ConstrRep -> ShowS Исходный код

show :: ConstrRep -> String Исходный код

showList :: [ConstrRep] -> ShowS Исходный код

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 :: forall m a. (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/8.10.2/docs/html/libraries/base-4.14.1.0/Data-Data.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API