GHC.Generics

Авторские права	(c) Universiteit Utrecht 2010-2011 University of Oxford 2012-2014
Лицензия	см. libraries/base/LICENSE
Ответственный	libraries@haskell.org
Стабильность	внутренняя
Переносимость	непереносимый
Безопасный Haskell	Safe
Язык	Haskell2010

Содержание

Введение
Типы обобщённого представления
- Небоксовые типы представления
- Синонимы для удобства
Метаинформация
Обобщённые классы типов
Обобщённая обёртка

Описание

Если вы используете GHC.Generics, рассмотрите возможность использования пакета http://hackage.haskell.org/package/generic-deriving, содержащего множество полезных обобщённых функций.

С версии: base-4.6.0.0

Введение

Функции, обобщённые по типам данных, основаны на идее преобразования значений типа данных T в соответствующие значения (почти) изоморфного типа Rep T. Тип Rep T строится из ограниченного набора конструкторов типов, предоставляемых этим модулем. Функция, обобщённая по типам данных, — это перегруженная функция с экземплярами для большинства этих конструкторов типов и обёрткой, выполняющей преобразование между T и Rep T. Используя этот подход, нам нужны лишь несколько обобщённых экземпляров, чтобы реализовать функциональность, работающую для любого представимого типа.

Представимые типы объединены в классе Generic, который определяет ассоциированный тип Rep, а также функции преобразования from и to. Обычно экземпляры Generic не определяют вручную — вместо этого компилятор выводит их за вас.

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

Чтобы определять собственные функции, обобщённые по типам данных, важно понять, как представлять типы данных с помощью заданного набора конструкторов типов.

Для начала рассмотрим пример:

data Tree a = Leaf a | Node (Tree a) (Tree a)
  deriving Generic

Приведённое выше объявление (для которого требуется языковая прагма DeriveGeneric) приводит к созданию следующего представления:

instance Generic (Tree a) where
  type Rep (Tree a) =
    D1 ('MetaData "Tree" "Main" "package-name" 'False)
      (C1 ('MetaCons "Leaf" 'PrefixI 'False)
         (S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
                (Rec0 a))
       :+:
       C1 ('MetaCons "Node" 'PrefixI 'False)
         (S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
               (Rec0 (Tree a))
          :*:
          S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
               (Rec0 (Tree a))))
  ...

Подсказка: Получить сведения о коде, генерируемом GHC, можно, передав флаг -ddump-deriv. В GHCi можно раскрыть семейство типов, например Rep, с помощью команды :kind!.

Информации довольно много! Однако большая её часть — это всего лишь метаинформация, которая делает имена типов данных, конструкторов и другие сведения доступными на уровне типов.

Ниже приведено упрощённое представление Tree, из которого пока удалена почти вся метаинформация и оставлены только самые важные элементы:

instance Generic (Tree a) where
  type Rep (Tree a) =
    Rec0 a
    :+:
    (Rec0 (Tree a) :*: Rec0 (Tree a))

Тип данных Tree имеет два конструктора. Представления отдельных конструкторов объединяются с помощью бинарного конструктора типов :+:.

Первый конструктор состоит из одного поля — параметра a. Оно представлено как Rec0 a.

Второй конструктор состоит из двух полей. Оба поля рекурсивные, типа Tree a, и представлены как Rec0 (Tree a). Представления отдельных полей объединяются с помощью бинарного конструктора типов :*:.

Теперь разберём дополнительные теги, используемые в полном представлении:

Тег S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) указывает на несколько вещей. 'Nothing означает, что с этим полем конструктора не связан селектор поля записи (если бы он был, вместо этого использовалась бы метка 'Just "recordName"). Остальные типы содержат метаинформацию о строгости поля:
В исходном коде нет аннотации {-# UNPACK #-} или {-# NOUNPACK #-}, поэтому поле помечено как 'NoSourceUnpackedness.
В исходном коде нет аннотации строгости (!) или ленивости (~), поэтому поле помечено как 'NoSourceStrictness.
Компилятор выводит, что поле ленивое, поэтому оно помечено как 'DecidedLazy. Помните, что решение компилятора может значительно отличаться от написанного в исходном коде. Более подробное объяснение см. в DecidedStrictness.

Тип 'MetaSel также является экземпляром класса типов Selector, который можно использовать для получения сведений о поле на уровне значений.

Применения C1 ('MetaCons "Leaf" 'PrefixI 'False) и C1 ('MetaCons "Node" 'PrefixI 'False) указывают, что заключённая в них часть является представлением первого и второго конструктора типа данных Tree соответственно. Здесь метаинформация об именах конструкторов, их фиксированности и наличии именованных полей закодирована на уровне типов. Тип 'MetaCons также является экземпляром класса типов Constructor. Этот класс типов можно использовать для получения сведений о конструкторе на уровне значений.
Тег D1 ('MetaData "Tree" "Main" "package-name" 'False) указывает, что заключённая в нём часть является представлением типа данных Tree. И здесь метаинформация закодирована на уровне типов. Тип 'MetaData является экземпляром класса Datatype, который можно использовать для получения имени типа данных, модуля, в котором он определён, пакета, к которому он относится, а также сведений о том, был ли он определён с помощью data или newtype, на уровне значений.

Производные и фундаментальные типы представления

Многие функции, обобщённые по типам данных, не различают позиции параметров и позиции рекурсивных вызовов. Многие такие функции также не интересуются именами типов данных и конструкторов. Чтобы свести к минимуму число случаев, которые нужно рассматривать в обобщённых функциях, оказывается, что многие введённые выше конструкторы типов на самом деле являются синонимами — вариантами меньшего набора конструкторов.

Отдельные поля конструкторов: `K1`

Конструктор типов Rec0 является вариантом K1:

type Rec0 = K1 R

Здесь R — прокси на уровне типов, с которым не связаны никакие значения.

Ранее существовал ещё один вариант K1 (а именно Par0), но впоследствии он был объявлен устаревшим.

Метаинформация: `M1`

Конструкторы типов S1, C1 и D1 — это варианты M1:

type S1 = M1 S
type C1 = M1 C
type D1 = M1 D

Типы S, C и D — это, опять же, прокси на уровне типов, используемые лишь для создания нескольких вариантов M1.

Дополнительные конструкторы типов обобщённого представления

Помимо K1, M1, :+: и :*:, существуют и другие конструкторы типов, встречающиеся в представлениях других типов данных.

Пустые типы данных: `V1`

Для пустых типов данных в качестве представления используется V1. Например,

data Empty deriving Generic

даёт

instance Generic Empty where
  type Rep Empty =
    D1 ('MetaData "Empty" "Main" "package-name" 'False) V1

Конструкторы без полей: `U1`

Если у конструктора нет аргументов, в качестве его представления используется U1. Например, представление Bool имеет вид

instance Generic Bool where
  type Rep Bool =
    D1 ('MetaData "Bool" "Data.Bool" "package-name" 'False)
      (C1 ('MetaCons "False" 'PrefixI 'False) U1 :+: C1 ('MetaCons "True" 'PrefixI 'False) U1)

Представление типов со множеством конструкторов или полей

Поскольку :+: и :*: — это просто бинарные операторы, может возникнуть вопрос: что происходит, если у типа данных больше двух конструкторов или у конструктора больше двух полей? Ответ прост: операторы используются несколько раз, чтобы объединить все конструкторы и поля по мере необходимости. Однако пользователям /не следует полагаться на конкретную стратегию вложения/ при использовании :+: и :*:. Компилятор может выбрать любую предпочтительную стратегию вложения. (На практике текущая реализация старается создавать более или менее сбалансированную структуру вложения, чтобы обход структуры типа данных от корня до конкретного компонента выполнялся за логарифмическое, а не линейное время.)

Определение функций, обобщённых по типам данных

Функция, обобщённая по типам данных, состоит из двух частей:

Обобщённые экземпляры функции, реализующие её для большинства представленных выше конструкторов типов представления.
Обёртка, которая для любого типа данных, входящего в Generic, преобразует исходное значение в представление на основе Rep и обратно, а затем вызывает обобщённые экземпляры.

В качестве примера рассмотрим функцию encode, которая создаёт простое, но обратимое битовое представление значений различных типов данных. Итак, мы хотим определить функцию

encode :: Generic a => a -> [Bool]

где в качестве типа битов мы используем Bool.

Для первой части определим класс Encode'. Возможно, это покажется неожиданным, но этот класс параметризован конструктором типов f вида * -> *. Это техническая особенность: все конструкторы типов представления используют в качестве базового типа вид * -> *. Однако аргумент типа нигде не используется. Возможно, в будущем это изменится. У класса есть единственный метод; мы берём тип, который хотим получить для итоговой функции, но заменяем вхождения обобщённого аргумента типа a на f p (где p — любой аргумент; он не будет использоваться).

class Encode' f where
  encode' :: f p -> [Bool]

Чтобы encode работала для Tree и других типов данных, теперь определим экземпляры для конструкторов типов представления V1, U1, :+:, :*:, K1 и M1.

Определение типов обобщённого представления

Для этого нужно знать точные определения этих типов:

data    V1        p                       -- lifted version of Empty
data    U1        p = U1                  -- lifted version of ()
data    (:+:) f g p = L1 (f p) | R1 (g p) -- lifted version of Either
data    (:*:) f g p = (f p) :*: (g p)     -- lifted version of (,)
newtype K1    i c p = K1 { unK1 :: c }    -- a container for a c
newtype M1  i t f p = M1 { unM1 :: f p }  -- a wrapper

Таким образом, U1 — это просто единичный тип, :+: — это бинарный выбор, подобный Either, :*: — это бинарная пара, подобная конструктору пары (,), а K1 — значение определённого типа c. Наконец, M1 оборачивает значение обобщённого аргумента типа, который в поднятом мире является f p (при этом нас не интересует p).

Обобщённые экземпляры

Для обработки случая V1 используем следующий код (для которого требуется прагма EmptyCase):

instance Encode' V1 where
  encode' x = case x of { }

Значений типа V1 p, которые можно было бы передать, не существует, поэтому вызвать эту функцию невозможно. Может возникнуть вопрос: зачем в таком случае вообще определять экземпляр для V1? Дело в том, что пустой тип можно использовать как аргумент непустого типа, и при этом может понадобиться закодировать получившийся тип. В качестве несколько надуманного примера рассмотрим [Empty]: это не пустой тип, но он содержит только пустой список. Экземпляр V1 гарантирует, что мы сможем вызвать обобщённую функцию для таких типов.

У типа U1 есть ровно одно значение, поэтому для его кодирования ничего знать не нужно — можно использовать ноль битов:

instance Encode' U1 where
  encode' U1 = []

В случае :+: мы выдаём False или True в зависимости от того, находится ли конструктор предоставленного значения слева или справа:

instance (Encode' f, Encode' g) => Encode' (f :+: g) where
  encode' (L1 x) = False : encode' x
  encode' (R1 x) = True  : encode' x

(Обратите внимание, что эта стратегия кодирования может быть ненадёжной при использовании разных версий GHC. Поскольку компилятор может выбрать любое вложение :+:, если GHC выберет (a :+: b) :+: c, кодирование для a будет [False, False], для b — [False, True], а для c — [True]. Однако если GHC выберет a :+: (b :+: c), кодирование для a будет [False], для b — [True, False], а для c — [True, True].)

В случае :*: мы объединяем кодировки двух подкомпонентов:

instance (Encode' f, Encode' g) => Encode' (f :*: g) where
  encode' (x :*: y) = encode' x ++ encode' y

Случай K1 довольно интересен. Здесь мы рекурсивно вызываем итоговую функцию encode, которую ещё предстоит определить. Для неё используем другой класс типов Encode:

instance (Encode c) => Encode' (K1 i c) where
  encode' (K1 x) = encode x

Обратите внимание, что для M1 можно определить единый экземпляр, поскольку мы полностью игнорируем всю метаинформацию:

instance (Encode' f) => Encode' (M1 i t f) where
  encode' (M1 x) = encode' x

В отличие от K1, экземпляр для M1 ссылается на encode', а не на encode.

Обёртка и обобщённый метод по умолчанию

Теперь определим класс Encode для самой функции encode:

class Encode a where
  encode :: a -> [Bool]
  default encode :: (Generic a, Encode' (Rep a)) => a -> [Bool]
  encode x = encode' (from x)

Входное значение x преобразуется с помощью from, после чего мы вызываем обобщённые экземпляры с помощью encode'. Это определение используется как значение encode по умолчанию. Сигнатура default encode необходима, поскольку обычные методы Haskell по умолчанию не должны вводить дополнительные ограничения класса, а наш обобщённый метод по умолчанию это делает.

Теперь определить конкретный экземпляр так же просто, как написать

instance (Encode a) => Encode (Tree a)

Используется обобщённый метод по умолчанию. В будущем, возможно, удастся использовать также deriving Encode, но GHC пока не поддерживает такой синтаксис в этом случае.

Наличие Encode в качестве класса даёт преимущество: можно определять необобщённые частные случаи. Это особенно полезно для абстрактных типов данных, не имеющих структурного представления. Например, при наличии подходящей функции целочисленного кодирования encodeInt можно определить

instance Encode Int where
  encode = encodeInt

Пропуск обобщённых экземпляров

Не всегда требуется предоставлять экземпляры для всех типов обобщённого представления, однако пропуск экземпляров ограничивает набор типов данных, для которых будут работать функции:

Если экземпляр :+: не задан, функция может работать с пустыми типами данных или типами данных с одним конструктором, но не будет работать с типами данных, содержащими более одного конструктора.
Если экземпляр :*: не задан, функция может работать с типами данных, у каждого конструктора которых ноль или одно поле, в частности с перечислениями.
Если экземпляр K1 не задан, функция может работать с перечислениями, у конструкторов которых нет полей.
Если экземпляр V1 не задан, функция может работать с любым непустым типом данных.
Если экземпляр U1 не задан, функция может работать с любым типом данных, у каждого конструктора которого есть хотя бы одно поле.

Экземпляр M1 требуется всегда (но он может просто игнорировать метаинформацию, как это сделано выше для encode).

* Обобщённые классы конструкторов

Описанные выше функции, обобщённые по типам данных, работают с широким набором типов данных, включая параметризованные типы. (Выше в качестве примера мы использовали Tree вида * -> *.) Однако класс Generic охватывает типы вида *, поэтому результирующие обобщённые функции (например, encode) должны быть параметризованы обобщённым аргументом типа вида *.

Что, если мы хотим определить обобщённые классы, охватывающие конструкторы типов (например, Functor, Traversable или Foldable)?

Класс `Generic1`

Подобно Generic, существует класс Generic1, определяющий представление Rep1 и функции преобразования from1 и to1. Разница лишь в том, что Generic1 охватывает типы вида * -> *. (В более общем случае он может охватывать типы вида k -> * для любого вида k, если включено расширение PolyKinds. Подробнее об этом — ниже.) Класс Generic1 также можно вывести автоматически.

Представление Rep1 лишь немного отличается от Rep. Снова рассмотрим в качестве примера Tree:

data Tree a = Leaf a | Node (Tree a) (Tree a)
  deriving Generic1

Приведённое выше объявление приводит к созданию следующего представления:

instance Generic1 Tree where
  type Rep1 Tree =
    D1 ('MetaData "Tree" "Main" "package-name" 'False)
      (C1 ('MetaCons "Leaf" 'PrefixI 'False)
         (S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
               Par1)
       :+:
       C1 ('MetaCons "Node" 'PrefixI 'False)
         (S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
               (Rec1 Tree)
          :*:
          S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
               (Rec1 Tree)))
  ...

В представлении повторно используются D1, C1, S1 (а значит, и M1), а также :+: и :*: из Rep. (Возможность повторного использования и объясняет, почему мы сохраняем фиктивный аргумент типа для типов вида *, хотя имён и без того уже достаточно, чтобы не дублировать каждое из них.)

Отличие заключается в том, что теперь мы используем Par1 для ссылки на параметр (который раньше был a) и нигде явно не называем этот параметр; а для ссылки на рекурсивное использование Tree a используем Rec1.

Представление типов `* -> *`

В отличие от Rec0, конструкторы типов Par1 и Rec1 не отображаются в K1. Они определены напрямую следующим образом:

newtype Par1   p = Par1 { unPar1 ::   p } -- gives access to parameter p
newtype Rec1 f p = Rec1 { unRec1 :: f p } -- a wrapper

В Par1 параметр p используется впервые, тогда как Rec1 просто оборачивает применение f к p.

Обратите внимание, что K1 (в виде Rec0) всё ещё может встречаться в представлении Rep1, а именно когда у типа данных есть поле, не использующее параметр.

Объявление

data WithInt a = WithInt Int a
  deriving Generic1

даёт

instance Generic1 WithInt where
  type Rep1 WithInt =
    D1 ('MetaData "WithInt" "Main" "package-name" 'False)
      (C1 ('MetaCons "WithInt" 'PrefixI 'False)
        (S1 ('MetaSel 'Nothing
                        'NoSourceUnpackedness
                        'NoSourceStrictness
                        'DecidedLazy)
              (Rec0 Int)
         :*:
         S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
              Par1))

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

data Rose a = Fork a [Rose a]

даёт

instance Generic1 Rose where
  type Rep1 Rose =
    D1 ('MetaData "Rose" "Main" "package-name" 'False)
      (C1 ('MetaCons "Fork" 'PrefixI 'False)
        (S1 ('MetaSel 'Nothing
                        'NoSourceUnpackedness
                        'NoSourceStrictness
                        'DecidedLazy)
              Par1
         :*:
         S1 ('MetaSel 'Nothing
                         'NoSourceUnpackedness
                         'NoSourceStrictness
                         'DecidedLazy)
              ([] :.: Rec1 Rose)))

где

newtype (:.:) f g p = Comp1 { unComp1 :: f (g p) }

Представление типов `k -> *`

Класс Generic1 можно обобщить так, чтобы он охватывал типы вида k -> * для любого вида k. Для этого выведите экземпляр Generic1 при включённом расширении PolyKinds. Например, объявление

data Proxy (a :: k) = Proxy deriving Generic1

даёт немного различающиеся экземпляры в зависимости от того, включено ли PolyKinds. Если скомпилировать без PolyKinds, получится Rep1 Proxy :: * -> *, а если с PolyKinds, то Rep1 Proxy :: k -> *.

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

При попытке вывести экземпляр Generic для типа данных с неприподнятым аргументом (например, 'Int#') можно было бы ожидать, что вхождение аргумента 'Int#' будет помечено как Rec0 'Int#'. Однако это не сработает, поскольку 'Int#' имеет неприподнятый вид, а Rec0 ожидает тип вида *.

Одно из решений — представить вхождение 'Int#' с помощью 'Rec0 Int'. Однако при таком подходе программист не сможет определить, является ли Int на самом деле замаскированным 'Int#'.

Вместо повторного использования Rec0 для обозначения вхождений распространённых неприподнятых типов применяется отдельное семейство данных URec:

data family URec a p

data instance URec (Ptr ()) p = UAddr   { 'uAddr#'   :: 'Addr#'   }
data instance URec Char     p = UChar   { 'uChar#'   :: 'Char#'   }
data instance URec Double   p = UDouble { 'uDouble#' :: 'Double#' }
data instance URec Int      p = UFloat  { 'uFloat#'  :: 'Float#'  }
data instance URec Float    p = UInt    { 'uInt#'    :: 'Int#'    }
data instance URec Word     p = UWord   { 'uWord#'   :: 'Word#'   }

Для удобства предоставлено несколько синонимов типов:

type UAddr   = URec (Ptr ())
type UChar   = URec Char
type UDouble = URec Double
type UFloat  = URec Float
type UInt    = URec Int
type UWord   = URec Word

Объявление

data IntHash = IntHash Int#
  deriving Generic

даёт

instance Generic IntHash where
  type Rep IntHash =
    D1 ('MetaData "IntHash" "Main" "package-name" 'False)
      (C1 ('MetaCons "IntHash" 'PrefixI 'False)
        (S1 ('MetaSel 'Nothing
                        'NoSourceUnpackedness
                        'NoSourceStrictness
                        'DecidedLazy)
              UInt))

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

Типы обобщённого представления

data V1 (p :: k) Source

Void: используется для типов данных без конструкторов

Экземпляры

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

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

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

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

Ассоциированные типы

type Rep1 (V1 :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (V1 :: k -> Type) = D1 ('MetaData "V1" "GHC.Internal.Generics" "ghc-internal" 'False) (V1 :: k -> Type)

Методы

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

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

Foldable1 (V1 :: Type -> Type) Источник

Начиная с: base-4.18.0.0

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

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

Методы

fold1 :: Semigroup m => V1 m -> m Источник

foldMap1 :: Semigroup m => (a -> m) -> V1 a -> m Источник

foldMap1' :: Semigroup m => (a -> m) -> V1 a -> m Источник

toNonEmpty :: V1 a -> NonEmpty a Источник

maximum :: Ord a => V1 a -> a Источник

minimum :: Ord a => V1 a -> a Источник

head :: V1 a -> a Источник

last :: V1 a -> a Источник

foldrMap1 :: (a -> b) -> (a -> b -> b) -> V1 a -> b Источник

foldlMap1' :: (a -> b) -> (b -> a -> b) -> V1 a -> b Источник

foldlMap1 :: (a -> b) -> (b -> a -> b) -> V1 a -> b Источник

foldrMap1' :: (a -> b) -> (a -> b -> b) -> V1 a -> b Источник

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

Начиная с: base-4.21.0.0

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

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

Методы

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

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

Начиная с: base-4.21.0.0

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

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

Методы

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

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

Начиная с: base-4.21.0.0

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

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

Методы

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

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

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

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

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

Начиная с: base-4.21.0.0

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

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

fold :: Monoid m => V1 m -> m Источник

foldMap :: Monoid m => (a -> m) -> V1 a -> m Источник

foldMap' :: Monoid m => (a -> m) -> V1 a -> m Источник

foldr :: (a -> b -> b) -> b -> V1 a -> b Источник

foldr' :: (a -> b -> b) -> b -> V1 a -> b Источник

foldl :: (b -> a -> b) -> b -> V1 a -> b Источник

foldl' :: (b -> a -> b) -> b -> V1 a -> b Источник

foldr1 :: (a -> a -> a) -> V1 a -> a Источник

foldl1 :: (a -> a -> a) -> V1 a -> a Источник

toList :: V1 a -> [a] Источник

null :: V1 a -> Bool Источник

length :: V1 a -> Int Источник

elem :: Eq a => a -> V1 a -> Bool Источник

maximum :: Ord a => V1 a -> a Источник

minimum :: Ord a => V1 a -> a Источник

sum :: Num a => V1 a -> a Источник

product :: Num a => V1 a -> a Источник

Traversable (V1 :: Type -> Type) Источник

Начиная с: base-4.9.0.0

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

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

Методы

traverse :: Applicative f => (a -> f b) -> V1 a -> f (V1 b) Источник

sequenceA :: Applicative f => V1 (f a) -> f (V1 a) Источник

mapM :: Monad m => (a -> m b) -> V1 a -> m (V1 b) Источник

sequence :: Monad m => V1 (m a) -> m (V1 a) Источник

Semigroup (V1 p) Источник

Начиная с: base-4.12.0.0

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

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

Методы

(<>) :: V1 p -> V1 p -> V1 p Источник

sconcat :: NonEmpty (V1 p) -> V1 p Источник

stimes :: Integral b => b -> V1 p -> V1 p Источник

Eq (V1 p) Источник

Начиная с: base-4.9.0.0

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

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

Методы

(==) :: V1 p -> V1 p -> Bool Источник

(/=) :: V1 p -> V1 p -> Bool Источник

Ord (V1 p) Источник

Начиная с: base-4.9.0.0

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

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

Методы

compare :: V1 p -> V1 p -> Ordering Источник

(<) :: V1 p -> V1 p -> Bool Источник

(<=) :: V1 p -> V1 p -> Bool Источник

(>) :: V1 p -> V1 p -> Bool Источник

(>=) :: V1 p -> V1 p -> Bool Источник

max :: V1 p -> V1 p -> V1 p Источник

min :: V1 p -> V1 p -> V1 p Источник

Data p => Data (V1 p) Источник

С версии: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

Generic (V1 p) Источник

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

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

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

type Rep (V1 p)	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (V1 p) = D1 ('MetaData "V1" "GHC.Internal.Generics" "ghc-internal" 'False) (V1 :: Type -> Type)

Методы

from :: V1 p -> Rep (V1 p) x Источник

to :: Rep (V1 p) x -> V1 p Источник

Read (V1 p) Источник

С версии: base-4.9.0.0

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

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

Методы

readsPrec :: Int -> ReadS (V1 p) Источник

readList :: ReadS [V1 p] Источник

readPrec :: ReadPrec (V1 p) Источник

readListPrec :: ReadPrec [V1 p] Источник

Show (V1 p) Источник

С версии: base-4.9.0.0

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

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

Методы

showsPrec :: Int -> V1 p -> ShowS Источник

show :: V1 p -> String Источник

showList :: [V1 p] -> ShowS Источник

type Rep1 (V1 :: k -> Type) Источник

С версии: base-4.9.0.0

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

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

type Rep1 (V1 :: k -> Type) = D1 ('MetaData "V1" "GHC.Internal.Generics" "ghc-internal" 'False) (V1 :: k -> Type)

type Rep (V1 p) Источник

С версии: base-4.9.0.0

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

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

type Rep (V1 p) = D1 ('MetaData "V1" "GHC.Internal.Generics" "ghc-internal" 'False) (V1 :: Type -> Type)

data U1 (p :: k) Источник

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

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

Экземпляры

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

Generic1 (U1 :: k -> Type) Исходный код

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

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

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

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

Методы

from1 :: forall (a :: k). U1 a -> Rep1 (U1 :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (U1 :: k -> Type) a -> U1 a Исходный код

Eq1 (U1 :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> U1 a -> U1 b -> Bool Исходный код

Ord1 (U1 :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> U1 a -> U1 b -> Ordering Исходный код

Read1 (U1 :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (U1 a) Исходный код

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [U1 a] Исходный код

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (U1 a) Исходный код

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [U1 a] Исходный код

Show1 (U1 :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> U1 a -> ShowS Исходный код

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [U1 a] -> ShowS Исходный код

Contravariant (U1 :: Type -> Type) Исходный код

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

Определён в Data.Functor.Contravariant

Методы

contramap :: (a' -> a) -> U1 a -> U1 a' Исходный код

(>$) :: b -> U1 b -> U1 a Исходный код

Alternative (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

empty :: U1 a Исходный код

(<|>) :: U1 a -> U1 a -> U1 a Исходный код

some :: U1 a -> U1 [a] Исходный код

many :: U1 a -> U1 [a] Исходный код

Applicative (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

pure :: a -> U1 a Исходный код

(<*>) :: U1 (a -> b) -> U1 a -> U1 b Исходный код

liftA2 :: (a -> b -> c) -> U1 a -> U1 b -> U1 c Исходный код

(*>) :: U1 a -> U1 b -> U1 b Исходный код

(<*) :: U1 a -> U1 b -> U1 a Исходный код

Functor (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

fmap :: (a -> b) -> U1 a -> U1 b Исходный код

(<$) :: a -> U1 b -> U1 a Исходный код

Monad (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

(>>=) :: U1 a -> (a -> U1 b) -> U1 b Исходный код

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

return :: a -> U1 a Исходный код

MonadPlus (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

mzero :: U1 a Исходный код

mplus :: U1 a -> U1 a -> U1 a Исходный код

MonadZip (U1 :: Type -> Type) Исходный код

Начиная с: ghc-internal-4.9.0.0

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

Определён в GHC.Internal.Control.Monad.Zip

Методы

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

mzipWith :: (a -> b -> c) -> U1 a -> U1 b -> U1 c Исходный код

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

Foldable (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

fold :: Monoid m => U1 m -> m Исходный код

foldMap :: Monoid m => (a -> m) -> U1 a -> m Исходный код

foldMap' :: Monoid m => (a -> m) -> U1 a -> m Исходный код

foldr :: (a -> b -> b) -> b -> U1 a -> b Исходный код

foldr' :: (a -> b -> b) -> b -> U1 a -> b Исходный код

foldl :: (b -> a -> b) -> b -> U1 a -> b Исходный код

foldl' :: (b -> a -> b) -> b -> U1 a -> b Исходный код

foldr1 :: (a -> a -> a) -> U1 a -> a Исходный код

foldl1 :: (a -> a -> a) -> U1 a -> a Исходный код

toList :: U1 a -> [a] Исходный код

null :: U1 a -> Bool Исходный код

length :: U1 a -> Int Исходный код

elem :: Eq a => a -> U1 a -> Bool Исходный код

maximum :: Ord a => U1 a -> a Исходный код

minimum :: Ord a => U1 a -> a Исходный код

sum :: Num a => U1 a -> a Исходный код

product :: Num a => U1 a -> a Исходный код

Traversable (U1 :: Type -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

traverse :: Applicative f => (a -> f b) -> U1 a -> f (U1 b) Исходный код

sequenceA :: Applicative f => U1 (f a) -> f (U1 a) Исходный код

mapM :: Monad m => (a -> m b) -> U1 a -> m (U1 b) Исходный код

sequence :: Monad m => U1 (m a) -> m (U1 a) Исходный код

Monoid (U1 p) Исходный код

Начиная с: base-4.12.0.0

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

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

Методы

mempty :: U1 p Исходный код

mappend :: U1 p -> U1 p -> U1 p Исходный код

mconcat :: [U1 p] -> U1 p Исходный код

Semigroup (U1 p) Исходный код

Начиная с: base-4.12.0.0

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

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

Методы

(<>) :: U1 p -> U1 p -> U1 p Исходный код

sconcat :: NonEmpty (U1 p) -> U1 p Исходный код

stimes :: Integral b => b -> U1 p -> U1 p Исходный код

Eq (U1 p) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

Ord (U1 p) Исходный код

Начиная с: base-4.7.0.0

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

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

Методы

compare :: U1 p -> U1 p -> Ordering Исходный код

(<) :: U1 p -> U1 p -> Bool Исходный код

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

(>) :: U1 p -> U1 p -> Bool Исходный код

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

max :: U1 p -> U1 p -> U1 p Исходный код

min :: U1 p -> U1 p Исходный код

Data p => Data (U1 p) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Generic (U1 p) Исходный код

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

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

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

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

Методы

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

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

Read (U1 p) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

readsPrec :: Int -> ReadS (U1 p) Исходный код

readList :: ReadS [U1 p] Исходный код

readPrec :: ReadPrec (U1 p) Исходный код

readListPrec :: ReadPrec [U1 p] Исходный код

Show (U1 p) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

type Rep1 (U1 :: k -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

type Rep1 (U1 :: k -> Type) = D1 ('MetaData "U1" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "U1" 'PrefixI 'False) (U1 :: k -> Type))

type Rep (U1 p) Исходный код

Начиная с: base-4.7.0.0

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

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

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

newtype Par1 p Исходный код

Используется для обозначения вхождений параметра

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

Par1
Поля unPar1 :: p

Экземпляры

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

Foldable1 Par1 Источник	Начиная с: base-4.18.0.0
Подробности экземпляра Определено в Data.Foldable1 Методы fold1 :: Semigroup m => Par1 m -> m Источник foldMap1 :: Semigroup m => (a -> m) -> Par1 a -> m Источник foldMap1' :: Semigroup m => (a -> m) -> Par1 a -> m Источник toNonEmpty :: Par1 a -> NonEmpty a Источник maximum :: Ord a => Par1 a -> a Источник minimum :: Ord a => Par1 a -> a Источник head :: Par1 a -> a Источник last :: Par1 a -> a Источник foldrMap1 :: (a -> b) -> (a -> b -> b) -> Par1 a -> b Источник foldlMap1' :: (a -> b) -> (b -> a -> b) -> Par1 a -> b Источник foldlMap1 :: (a -> b) -> (b -> a -> b) -> Par1 a -> b Источник foldrMap1' :: (a -> b) -> (a -> b -> b) -> Par1 a -> b Источник
Eq1 Par1 Источник	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftEq :: (a -> b -> Bool) -> Par1 a -> Par1 b -> Bool Источник
Ord1 Par1 Источник	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> Par1 a -> Par1 b -> Ordering Источник
Read1 Par1 Источник	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Par1 a) Источник liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Par1 a] Источник liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Par1 a) Источник liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Par1 a] Источник
Show1 Par1 Источник	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Par1 a -> ShowS Источник liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Par1 a] -> ShowS Источник
Applicative Par1 Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы pure :: a -> Par1 a Источник (<>) :: Par1 (a -> b) -> Par1 a -> Par1 b Источник liftA2 :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c Источник (>) :: Par1 a -> Par1 b -> Par1 b Источник (<*) :: Par1 a -> Par1 b -> Par1 a Источник
Functor Par1 Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> Par1 a -> Par1 b Источник (<$) :: a -> Par1 b -> Par1 a Источник
Monad Par1 Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (>>=) :: Par1 a -> (a -> Par1 b) -> Par1 b Источник (>>) :: Par1 a -> Par1 b -> Par1 b Источник return :: a -> Par1 a Источник
MonadFix Par1 Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Control.Monad.Fix Методы mfix :: (a -> Par1 a) -> Par1 a Источник
MonadZip Par1 Источник	Начиная с: ghc-internal-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Control.Monad.Zip Методы mzip :: Par1 a -> Par1 b -> Par1 (a, b) Источник mzipWith :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c Источник munzip :: Par1 (a, b) -> (Par1 a, Par1 b) Источник
Foldable Par1 Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => Par1 m -> m Источник foldMap :: Monoid m => (a -> m) -> Par1 a -> m Источник foldMap' :: Monoid m => (a -> m) -> Par1 a -> m Источник foldr :: (a -> b -> b) -> b -> Par1 a -> b Источник foldr' :: (a -> b -> b) -> b -> Par1 a -> b Источник foldl :: (b -> a -> b) -> b -> Par1 a -> b Источник foldl' :: (b -> a -> b) -> b -> Par1 a -> b Источник foldr1 :: (a -> a -> a) -> Par1 a -> a Источник foldl1 :: (a -> a -> a) -> Par1 a -> a Источник toList :: Par1 a -> [a] Источник null :: Par1 a -> Bool Источник length :: Par1 a -> Int Источник elem :: Eq a => a -> Par1 a -> Bool Источник maximum :: Ord a => Par1 a -> a Источник minimum :: Ord a => Par1 a -> a Источник sum :: Num a => Par1 a -> a Источник product :: Num a => Par1 a -> a Источник
Traversable Par1 Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> Par1 a -> f (Par1 b) Источник sequenceA :: Applicative f => Par1 (f a) -> f (Par1 a) Источник mapM :: Monad m => (a -> m b) -> Par1 a -> m (Par1 b) Источник sequence :: Monad m => Par1 (m a) -> m (Par1 a) Источник
Generic1 Par1 Источник

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

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

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

type Rep1 Par1	Начиная с: base-4.9.0.0
Подробности реализации Определено в GHC.Internal.Generics type Rep1 Par1 = D1 ('MetaData "Par1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

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

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

Ord p => Ord (Par1 p) Исходный код

Начиная с: base-4.7.0.0

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

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

Методы

compare :: Par1 p -> Par1 p -> Ordering Исходный код

(<) :: Par1 p -> Par1 p -> Bool Исходный код

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

(>) :: Par1 p -> Par1 p -> Bool Исходный код

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

max :: Par1 p -> Par1 p -> Par1 p Исходный код

min :: Par1 p -> Par1 p -> Par1 p Исходный код

Data p => Data (Par1 p) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

Generic (Par1 p) Исходный код

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

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

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

type Rep (Par1 p)	Начиная с: base-4.7.0.0
Подробности реализации Определено в GHC.Internal.Generics type Rep (Par1 p) = D1 ('MetaData "Par1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)))

Методы

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

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

Read p => Read (Par1 p) Исходный код

Начиная с: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS (Par1 p) Исходный код

readList :: ReadS [Par1 p] Исходный код

readPrec :: ReadPrec (Par1 p) Исходный код

readListPrec :: ReadPrec [Par1 p] Исходный код

Show p => Show (Par1 p) Исходный код

Начиная с: base-4.7.0.0

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

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

Методы

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

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

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

type Rep1 Par1 Исходный код

Начиная с: base-4.9.0.0

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

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

type Rep1 Par1 = D1 ('MetaData "Par1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

type Rep (Par1 p) Исходный код

Начиная с: base-4.7.0.0

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

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

type Rep (Par1 p) = D1 ('MetaData "Par1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Par1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPar1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 p)))

newtype Rec1 (f :: k -> Type) (p :: k) Исходный код

Рекурсивные вызовы вида * -> * (или вида k -> *, если включён PolyKinds)

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

Rec1
Поля unRec1 :: f p

Экземпляры

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

Generic1 (Rec1 f :: k -> Type) Исходный код

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

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

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

type Rep1 (Rec1 f :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (Rec1 f :: k -> Type) = D1 ('MetaData "Rec1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Rec1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRec1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

Методы

from1 :: forall (a :: k). Rec1 f a -> Rep1 (Rec1 f) a Исходный код

to1 :: forall (a :: k). Rep1 (Rec1 f) a -> Rec1 f a Исходный код

Foldable1 f => Foldable1 (Rec1 f) Исходный код

Начиная с: base-4.18.0.0

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

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

Методы

fold1 :: Semigroup m => Rec1 f m -> m Исходный код

foldMap1 :: Semigroup m => (a -> m) -> Rec1 f a -> m Исходный код

foldMap1' :: Semigroup m => (a -> m) -> Rec1 f a -> m Исходный код

toNonEmpty :: Rec1 f a -> NonEmpty a Исходный код

maximum :: Ord a => Rec1 f a -> a Исходный код

minimum :: Ord a => Rec1 f a -> a Исходный код

head :: Rec1 f a -> a Исходный код

last :: Rec1 f a -> a Исходный код

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Rec1 f a -> b Исходный код

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Rec1 f a -> b Исходный код

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Rec1 f a -> b Исходный код

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Rec1 f a -> b Исходный код

Eq1 f => Eq1 (Rec1 f) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> Rec1 f a -> Rec1 f b -> Bool Исходный код

Ord1 f => Ord1 (Rec1 f) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> Rec1 f a -> Rec1 f b -> Ordering Исходный код

Read1 f => Read1 (Rec1 f) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Rec1 f a) Исходный код

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Rec1 f a] Исходный код

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Rec1 f a) Исходный код

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Rec1 f a] Исходный код

Show1 f => Show1 (Rec1 f) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Rec1 f a -> ShowS Исходный код

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Rec1 f a] -> ShowS Исходный код

Contravariant f => Contravariant (Rec1 f) Исходный код

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

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

Методы

contramap :: (a' -> a) -> Rec1 f a -> Rec1 f a' Исходный код

(>$) :: b -> Rec1 f b -> Rec1 f a Исходный код

Alternative f => Alternative (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

empty :: Rec1 f a Исходный код

(<|>) :: Rec1 f a -> Rec1 f a -> Rec1 f a Исходный код

some :: Rec1 f a -> Rec1 f [a] Исходный код

many :: Rec1 f a -> Rec1 f [a] Исходный код

Applicative f => Applicative (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

pure :: a -> Rec1 f a Исходный код

(<*>) :: Rec1 f (a -> b) -> Rec1 f a -> Rec1 f b Исходный код

liftA2 :: (a -> b -> c) -> Rec1 f a -> Rec1 f b -> Rec1 f c Исходный код

(*>) :: Rec1 f a -> Rec1 f b -> Rec1 f b Исходный код

(<*) :: Rec1 f a -> Rec1 f b -> Rec1 f a Исходный код

Functor f => Functor (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

fmap :: (a -> b) -> Rec1 f a -> Rec1 f b Исходный код

(<$) :: a -> Rec1 f b -> Rec1 f a Исходный код

Monad f => Monad (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

(>>=) :: Rec1 f a -> (a -> Rec1 f b) -> Rec1 f b Исходный код

(>>) :: Rec1 f a -> Rec1 f b -> Rec1 f b Исходный код

return :: a -> Rec1 f a Исходный код

MonadPlus f => MonadPlus (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

mzero :: Rec1 f a Исходный код

mplus :: Rec1 f a -> Rec1 f a -> Rec1 f a Исходный код

MonadFix f => MonadFix (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

Определено в GHC.Internal.Control.Monad.Fix

Методы

mfix :: (a -> Rec1 f a) -> Rec1 f a Исходный код

MonadZip f => MonadZip (Rec1 f) Исходный код

Начиная с: ghc-internal-4.9.0.0

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

Определено в GHC.Internal.Control.Monad.Zip

Методы

mzip :: Rec1 f a -> Rec1 f b -> Rec1 f (a, b) Исходный код

mzipWith :: (a -> b -> c) -> Rec1 f a -> Rec1 f b -> Rec1 f c Исходный код

munzip :: Rec1 f (a, b) -> (Rec1 f a, Rec1 f b) Исходный код

Foldable f => Foldable (Rec1 f) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

fold :: Monoid m => Rec1 f m -> m Исходный код

foldMap :: Monoid m => (a -> m) -> Rec1 f a -> m Исходный код

foldMap' :: Monoid m => (a -> m) -> Rec1 f a -> m Исходный код

foldr :: (a -> b -> b) -> b -> Rec1 f a -> b Исходный код

foldr' :: (a -> b -> b) -> b -> Rec1 f a -> b Исходный код

foldl :: (b -> a -> b) -> b -> Rec1 f a -> b Исходный код

foldl' :: (b -> a -> b) -> b -> Rec1 f a -> b Исходный код

foldr1 :: (a -> a -> a) -> Rec1 f a -> a Исходный код

foldl1 :: (a -> a -> a) -> Rec1 f a -> a Исходный код

toList :: Rec1 f a -> [a] Исходный код

null :: Rec1 f a -> Bool Исходный код

length :: Rec1 f a -> Int Исходный код

elem :: Eq a => a -> Rec1 f a -> Bool Исходный код

maximum :: Ord a => Rec1 f a -> a Исходный код

minimum :: Ord a => Rec1 f a -> a Исходный код

sum :: Num a => Rec1 f a -> a Исходный код

product :: Num a => Rec1 f a -> a Исходный код

Traversable f => Traversable (Rec1 f) Исходный код

Since: base-4.9.0.0

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

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

Методы

traverse :: Applicative f0 => (a -> f0 b) -> Rec1 f a -> f0 (Rec1 f b) Исходный код

sequenceA :: Applicative f0 => Rec1 f (f0 a) -> f0 (Rec1 f a) Исходный код

mapM :: Monad m => (a -> m b) -> Rec1 f a -> m (Rec1 f b) Исходный код

sequence :: Monad m => Rec1 f (m a) -> m (Rec1 f a) Исходный код

Monoid (f p) => Monoid (Rec1 f p) Исходный код

Since: base-4.12.0.0

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

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

Методы

mempty :: Rec1 f p Исходный код

mappend :: Rec1 f p -> Rec1 f p -> Rec1 f p Исходный код

mconcat :: [Rec1 f p] -> Rec1 f p Исходный код

Semigroup (f p) => Semigroup (Rec1 f p) Исходный код

Since: base-4.12.0.0

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

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

Методы

(<>) :: Rec1 f p -> Rec1 f p -> Rec1 f p Исходный код

sconcat :: NonEmpty (Rec1 f p) -> Rec1 f p Исходный код

stimes :: Integral b => b -> Rec1 f p -> Rec1 f p Исходный код

Eq (f p) => Eq (Rec1 f p) Исходный код

Since: base-4.7.0.0

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

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

Методы

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

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

Ord (f p) => Ord (Rec1 f p) Исходный код

Since: base-4.7.0.0

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

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

Методы

compare :: Rec1 f p -> Rec1 f p -> Ordering Исходный код

(<) :: Rec1 f p -> Rec1 f p -> Bool Исходный код

(<=) :: Rec1 f p -> Rec1 f p -> Bool Исходный код

(>) :: Rec1 f p -> Rec1 f p -> Bool Исходный код

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

max :: Rec1 f p -> Rec1 f p -> Rec1 f p Исходный код

min :: Rec1 f p -> Rec1 f p -> Rec1 f p Исходный код

(Data (f p), Typeable f, Data p) => Data (Rec1 f p) Исходный код

Since: base-4.9.0.0

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

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

Методы

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

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

toConstr :: Rec1 f p -> Constr Исходный код

dataTypeOf :: Rec1 f p -> DataType Исходный код

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

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

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

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

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

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

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

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

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

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

Generic (Rec1 f p) Исходный код

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

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

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

type Rep (Rec1 f p)	Since: base-4.7.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (Rec1 f p) = D1 ('MetaData "Rec1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Rec1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRec1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))))

Методы

from :: Rec1 f p -> Rep (Rec1 f p) x Исходный код

to :: Rep (Rec1 f p) x -> Rec1 f p Исходный код

Read (f p) => Read (Rec1 f p) Исходный код

Since: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS (Rec1 f p) Исходный код

readList :: ReadS [Rec1 f p] Исходный код

readPrec :: ReadPrec (Rec1 f p) Исходный код

readListPrec :: ReadPrec [Rec1 f p] Исходный код

Show (f p) => Show (Rec1 f p) Исходный код

Since: base-4.7.0.0

Подробности экземпляра Определён в GHC.Internal.Generics Методы showsPrec :: Int -> Rec1 f p -> ShowS Исходный код show :: Rec1 f p -> String Исходный код showList :: [Rec1 f p] -> ShowS Исходный код
type Rep1 (Rec1 f :: k -> Type) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определён в GHC.Internal.Generics type Rep1 (Rec1 f :: k -> Type) = D1 ('MetaData "Rec1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Rec1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRec1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))
type Rep (Rec1 f p) Исходный код	Начиная с: base-4.7.0.0
Подробности экземпляра Определён в GHC.Internal.Generics type Rep (Rec1 f p) = D1 ('MetaData "Rec1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Rec1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRec1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))))

newtype K1 i c (p :: k) Исходный код

Константы, дополнительные параметры и рекурсия вида *

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

K1
Поля unK1 :: c

Экземпляры

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

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

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

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

Ассоциированные типы

type Rep1 (K1 i c :: k -> Type)	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (K1 i c :: k -> Type) = D1 ('MetaData "K1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

Методы

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

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

Bifoldable (K1 i :: Type -> Type -> Type) Источник

Since: base-4.10.0.0

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

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

Методы

bifold :: Monoid m => K1 i m m -> m Источник

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> K1 i a b -> m Источник

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> K1 i a b -> c Источник

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> K1 i a b -> c Источник

Bifunctor (K1 i :: Type -> Type -> Type) Источник

Since: base-4.9.0.0

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

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

Методы

bimap :: (a -> b) -> (c -> d) -> K1 i a c -> K1 i b d Источник

first :: (a -> b) -> K1 i a c -> K1 i b c Источник

second :: (b -> c) -> K1 i a b -> K1 i a c Источник

Bitraversable (K1 i :: Type -> Type -> Type) Источник

Since: base-4.10.0.0

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

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

Методы

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> K1 i a b -> f (K1 i c d) Источник

Eq c => Eq1 (K1 i c :: Type -> Type) Источник

Since: base-4.21.0.0

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

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

Методы

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

Ord c => Ord1 (K1 i c :: Type -> Type) Источник

Since: base-4.21.0.0

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

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

Методы

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

Read c => Read1 (K1 i c :: Type -> Type) Источник

Since: base-4.21.0.0

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

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

Методы

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

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

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

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

Show c => Show1 (K1 i c :: Type -> Type) Источник

Since: base-4.21.0.0

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

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

Методы

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

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

Contravariant (K1 i c :: Type -> Type) Источник

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

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

Методы

contramap :: (a' -> a) -> K1 i c a -> K1 i c a' Источник

(>$) :: b -> K1 i c b -> K1 i c a Источник

Monoid c => Applicative (K1 i c :: Type -> Type) Источник

Since: base-4.12.0.0

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

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

Методы

pure :: a -> K1 i c a Источник

(<*>) :: K1 i c (a -> b) -> K1 i c a -> K1 i c b Источник

liftA2 :: (a -> b -> c0) -> K1 i c a -> K1 i c b -> K1 i c c0 Источник

(*>) :: K1 i c a -> K1 i c b -> K1 i c b Источник

(<*) :: K1 i c a -> K1 i c b -> K1 i c a Источник

Functor (K1 i c :: Type -> Type) Источник

Since: base-4.9.0.0

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

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

Методы

fmap :: (a -> b) -> K1 i c a -> K1 i c b Источник

(<$) :: a -> K1 i c b -> K1 i c a Источник

Foldable (K1 i c :: Type -> Type) Источник

Since: base-4.9.0.0

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

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

Методы

fold :: Monoid m => K1 i c m -> m Источник

foldMap :: Monoid m => (a -> m) -> K1 i c a -> m Источник

foldMap' :: Monoid m => (a -> m) -> K1 i c a -> m Источник

foldr :: (a -> b -> b) -> b -> K1 i c a -> b Источник

foldr' :: (a -> b -> b) -> b -> K1 i c a -> b Источник

foldl :: (b -> a -> b) -> b -> K1 i c a -> b Источник

foldl' :: (b -> a -> b) -> b -> K1 i c a -> b Источник

foldr1 :: (a -> a -> a) -> K1 i c a -> a Источник

foldl1 :: (a -> a -> a) -> K1 i c a -> a Источник

toList :: K1 i c a -> [a] Источник

null :: K1 i c a -> Bool Источник

length :: K1 i c a -> Int Источник

elem :: Eq a => a -> K1 i c a -> Bool Источник

maximum :: Ord a => K1 i c a -> a Источник

minimum :: Ord a => K1 i c a -> a Источник

sum :: Num a => K1 i c a -> a Источник

product :: Num a => K1 i c a -> a Источник

Traversable (K1 i c :: Type -> Type) Источник

Since: base-4.9.0.0

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

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

Методы

traverse :: Applicative f => (a -> f b) -> K1 i c a -> f (K1 i c b) Источник

sequenceA :: Applicative f => K1 i c (f a) -> f (K1 i c a) Источник

mapM :: Monad m => (a -> m b) -> K1 i c a -> m (K1 i c b) Источник

sequence :: Monad m => K1 i c (m a) -> m (K1 i c a) Источник

Monoid c => Monoid (K1 i c p) Источник

С версии: base-4.12.0.0

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

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

Методы

mempty :: K1 i c p Источник

mappend :: K1 i c p -> K1 i c p -> K1 i c p Источник

mconcat :: [K1 i c p] -> K1 i c p Источник

Semigroup c => Semigroup (K1 i c p) Источник

С версии: base-4.12.0.0

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

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

Методы

(<>) :: K1 i c p -> K1 i c p -> K1 i c p Источник

sconcat :: NonEmpty (K1 i c p) -> K1 i c p Источник

stimes :: Integral b => b -> K1 i c p -> K1 i c p Источник

Eq c => Eq (K1 i c p) Источник

С версии: base-4.7.0.0

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

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

Методы

(==) :: K1 i c p -> K1 i c p -> Bool Источник

(/=) :: K1 i c p -> K1 i c p -> Bool Источник

Ord c => Ord (K1 i c p) Источник

С версии: base-4.7.0.0

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

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

Методы

compare :: K1 i c p -> K1 i c p -> Ordering Источник

(<) :: K1 i c p -> K1 i c p -> Bool Источник

(<=) :: K1 i c p -> K1 i c p -> Bool Источник

(>) :: K1 i c p -> K1 i c p -> Bool Источник

(>=) :: K1 i c p -> K1 i c p -> Bool Источник

max :: K1 i c p -> K1 i c p Источник

min :: K1 i c p -> K1 i c p Источник

(Typeable i, Data p, Data c) => Data (K1 i c p) Источник

С версии: base-4.9.0.0

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

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

Методы

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

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

toConstr :: K1 i c p -> Constr Источник

dataTypeOf :: K1 i c p -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> 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) Источник

Generic (K1 i c p) Источник

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

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

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

type Rep (K1 i c p)	С версии: base-4.7.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (K1 i c p) = D1 ('MetaData "K1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

Методы

from :: K1 i c p -> Rep (K1 i c p) x Источник

to :: Rep (K1 i c p) x -> K1 i c p Источник

Read c => Read (K1 i c p) Источник

С версии: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS (K1 i c p) Источник

readList :: ReadS [K1 i c p] Источник

readPrec :: ReadPrec (K1 i c p) Источник

readListPrec :: ReadPrec [K1 i c p] Источник

Show c => Show (K1 i c p) Источник

С версии: base-4.7.0.0

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

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

Методы

showsPrec :: Int -> K1 i c p -> ShowS Источник

show :: K1 i c p -> String Источник

showList :: [K1 i c p] -> ShowS Источник

type Rep1 (K1 i c :: k -> Type) Источник

С версии: base-4.9.0.0

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

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

type Rep1 (K1 i c :: k -> Type) = D1 ('MetaData "K1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

type Rep (K1 i c p) Источник

С версии: base-4.7.0.0

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

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

type Rep (K1 i c p) = D1 ('MetaData "K1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

newtype M1 i (c :: Meta) (f :: k -> Type) (p :: k) Источник

Метаинформация (имена конструкторов и т. д.)

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

M1
Поля unM1 :: f p

Экземпляры

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

Generic1 (M1 i c f :: k -> Type) Источник

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

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

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

type Rep1 (M1 i c f :: k -> Type)	С версии: base-4.9.0.0
Подробности экземпляра Определён в GHC.Internal.Generics type Rep1 (M1 i c f :: k -> Type) = D1 ('MetaData "M1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))

Методы

from1 :: forall (a :: k). M1 i c f a -> Rep1 (M1 i c f) a Источник

to1 :: forall (a :: k). Rep1 (M1 i c f) a -> M1 i c f a Источник

Foldable1 f => Foldable1 (M1 i c f) Источник

С версии: base-4.18.0.0

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

Определён в Data.Foldable1

Методы

fold1 :: Semigroup m => M1 i c f m -> m Источник

foldMap1 :: Semigroup m => (a -> m) -> M1 i c f a -> m Источник

foldMap1' :: Semigroup m => (a -> m) -> M1 i c f a -> m Источник

toNonEmpty :: M1 i c f a -> NonEmpty a Источник

maximum :: Ord a => M1 i c f a -> a Источник

minimum :: Ord a => M1 i c f a -> a Источник

head :: M1 i c f a -> a Источник

last :: M1 i c f a -> a Источник

foldrMap1 :: (a -> b) -> (a -> b -> b) -> M1 i c f a -> b Источник

foldlMap1' :: (a -> b) -> (b -> a -> b) -> M1 i c f a -> b Источник

foldlMap1 :: (a -> b) -> (b -> a -> b) -> M1 i c f a -> b Источник

foldrMap1' :: (a -> b) -> (a -> b -> b) -> M1 i c f a -> b Источник

Eq1 f => Eq1 (M1 i c f) Источник

С версии: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> M1 i c f a -> M1 i c f b -> Bool Источник

Ord1 f => Ord1 (M1 i c f) Источник

С версии: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> M1 i c f a -> M1 i c f b -> Ordering Источник

Read1 f => Read1 (M1 i c f) Источник

С версии: base-4.21.0.0

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

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

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (M1 i c f a) Источник

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [M1 i c f a] Источник

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (M1 i c f a) Источник

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [M1 i c f a] Источник

Show1 f => Show1 (M1 i c f) Источник

С версии: base-4.21.0.0

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

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

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> M1 i c f a -> ShowS Источник

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [M1 i c f a] -> ShowS Источник

Contravariant f => Contravariant (M1 i c f) Источник

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

Определён в Data.Functor.Contravariant

Методы

contramap :: (a' -> a) -> M1 i c f a -> M1 i c f a' Источник

(>$) :: b -> M1 i c f b -> M1 i c f a Источник

Alternative f => Alternative (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

empty :: M1 i c f a Источник

(<|>) :: M1 i c f a -> M1 i c f a -> M1 i c f a Источник

some :: M1 i c f a -> M1 i c f [a] Источник

many :: M1 i c f a -> M1 i c f [a] Источник

Applicative f => Applicative (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

pure :: a -> M1 i c f a Источник

(<*>) :: M1 i c f (a -> b) -> M1 i c f a -> M1 i c f b Источник

liftA2 :: (a -> b -> c0) -> M1 i c f a -> M1 i c f b -> M1 i c f c0 Источник

(*>) :: M1 i c f a -> M1 i c f b -> M1 i c f b Источник

(<*) :: M1 i c f a -> M1 i c f b -> M1 i c f a Источник

Functor f => Functor (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

fmap :: (a -> b) -> M1 i c f a -> M1 i c f b Источник

(<$) :: a -> M1 i c f b -> M1 i c f a Источник

Monad f => Monad (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

(>>=) :: M1 i c f a -> (a -> M1 i c f b) -> M1 i c f b Источник

(>>) :: M1 i c f a -> M1 i c f b -> M1 i c f b Источник

return :: a -> M1 i c f a Источник

MonadPlus f => MonadPlus (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

mzero :: M1 i c f a Источник

mplus :: M1 i c f a -> M1 i c f a -> M1 i c f a Источник

MonadFix f => MonadFix (M1 i c f) Источник

С версии: base-4.9.0.0

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

Определён в GHC.Internal.Control.Monad.Fix

Методы

mfix :: (a -> M1 i c f a) -> M1 i c f a Источник

MonadZip f => MonadZip (M1 i c f) Источник

С версии: ghc-internal-4.9.0.0

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

Определён в GHC.Internal.Control.Monad.Zip

Методы

mzip :: M1 i c f a -> M1 i c f b -> M1 i c f (a, b) Источник

mzipWith :: (a -> b -> c0) -> M1 i c f a -> M1 i c f b -> M1 i c f c0 Источник

munzip :: M1 i c f (a, b) -> (M1 i c f a, M1 i c f b) Источник

Foldable f => Foldable (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

fold :: Monoid m => M1 i c f m -> m Источник

foldMap :: Monoid m => (a -> m) -> M1 i c f a -> m Источник

foldMap' :: Monoid m => (a -> m) -> M1 i c f a -> m Источник

foldr :: (a -> b -> b) -> b -> M1 i c f a -> b Источник

foldr' :: (a -> b -> b) -> b -> M1 i c f a -> b Источник

foldl :: (b -> a -> b) -> b -> M1 i c f a -> b Источник

foldl' :: (b -> a -> b) -> b -> M1 i c f a -> b Источник

foldr1 :: (a -> a -> a) -> M1 i c f a -> a Источник

foldl1 :: (a -> a -> a) -> M1 i c f a -> a Источник

toList :: M1 i c f a -> [a] Источник

null :: M1 i c f a -> Bool Источник

length :: M1 i c f a -> Int Источник

elem :: Eq a => a -> M1 i c f a -> Bool Источник

maximum :: Ord a => M1 i c f a -> a Источник

minimum :: Ord a => M1 i c f a -> a Источник

sum :: Num a => M1 i c f a -> a Источник

product :: Num a => M1 i c f a -> a Источник

Traversable f => Traversable (M1 i c f) Источник

С версии: base-4.9.0.0

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

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

Методы

traverse :: Applicative f0 => (a -> f0 b) -> M1 i c f a -> f0 (M1 i c f b) Источник

sequenceA :: Applicative f0 => M1 i c f (f0 a) -> f0 (M1 i c f a) Источник

mapM :: Monad m => (a -> m b) -> M1 i c f a -> m (M1 i c f b) Источник

sequence :: Monad m => M1 i c f (m a) -> m (M1 i c f a) Источник

Monoid (f p) => Monoid (M1 i c f p) Источник

С версии: base-4.12.0.0

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

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

Методы

mempty :: M1 i c f p Источник

mappend :: M1 i c f p -> M1 i c f p -> M1 i c f p Источник

mconcat :: [M1 i c f p] -> M1 i c f p Источник

Semigroup (f p) => Semigroup (M1 i c f p) Источник

С версии: base-4.12.0.0

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

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

Методы

(<>) :: M1 i c f p -> M1 i c f p -> M1 i c f p Источник

sconcat :: NonEmpty (M1 i c f p) -> M1 i c f p Источник

stimes :: Integral b => b -> M1 i c f p -> M1 i c f p Источник

Eq (f p) => Eq (M1 i c f p) Источник

С версии: base-4.7.0.0

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

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

Методы

(==) :: M1 i c f p -> M1 i c f p -> Bool Источник

(/=) :: M1 i c f p -> M1 i c f p -> Bool Источник

Ord (f p) => Ord (M1 i c f p) Источник

С версии: base-4.7.0.0

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

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

Методы

compare :: M1 i c f p -> M1 i c f p -> Ordering Источник

(<) :: M1 i c f p -> M1 i c f p -> Bool Источник

(<=) :: M1 i c f p -> M1 i c f p -> Bool Источник

(>) :: M1 i c f p -> M1 i c f p -> Bool Источник

(>=) :: M1 i c f p -> M1 i c f p -> Bool Источник

max :: M1 i c f p -> M1 i c f p -> M1 i c f p Источник

min :: M1 i c f p -> M1 i c f p -> M1 i c f p Источник

(Data p, Data (f p), Typeable c, Typeable i, Typeable f) => Data (M1 i c f p) Источник

С версии: base-4.9.0.0

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

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

Методы

gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> M1 i c f p -> c0 (M1 i c f p) Источник

gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (M1 i c f p) Источник

toConstr :: M1 i c f p -> Constr Источник

dataTypeOf :: M1 i c f p -> DataType Источник

dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> 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) Источник

Generic (M1 i c f p) Источник

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

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

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

type Rep (M1 i c f p)	С версии: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (M1 i c f p) = D1 ('MetaData "M1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))))

Методы

from :: M1 i c f p -> Rep (M1 i c f p) x Источник

to :: Rep (M1 i c f p) x -> M1 i c f p Источник

Read (f p) => Read (M1 i c f p) Источник

С версии: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS (M1 i c f p) Источник

readList :: ReadS [M1 i c f p] Источник

readPrec :: ReadPrec (M1 i c f p) Источник

readListPrec :: ReadPrec [M1 i c f p] Источник

Show (f p) => Show (M1 i c f p) Источник	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Int -> M1 i c f p -> ShowS Источник show :: M1 i c f p -> String Источник showList :: [M1 i c f p] -> ShowS Источник
type Rep1 (M1 i c f :: k -> Type) Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (M1 i c f :: k -> Type) = D1 ('MetaData "M1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)))
type Rep (M1 i c f p) Источник	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (M1 i c f p) = D1 ('MetaData "M1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "M1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unM1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))))

data ((f :: k -> Type) :+: (g :: k -> Type)) (p :: k) infixr 5 Источник

Суммы: кодируют выбор между конструкторами

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

L1 (f p)
R1 (g p)

Экземпляры

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

Generic1 (f :+: g :: k -> Type) Исходный код

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

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

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

type Rep1 (f :+: g :: k -> Type)

Начиная с: base-4.9.0.0

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

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

type Rep1 (f :+: g :: k -> Type) = D1 ('MetaData ":+:" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))

Методы

from1 :: forall (a :: k). (f :+: g) a -> Rep1 (f :+: g) a Исходный код

to1 :: forall (a :: k). Rep1 (f :+: g) a -> (f :+: g) a Исходный код

(Foldable1 f, Foldable1 g) => Foldable1 (f :+: g) Исходный код

Начиная с: base-4.18.0.0

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

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

Методы

fold1 :: Semigroup m => (f :+: g) m -> m Исходный код

foldMap1 :: Semigroup m => (a -> m) -> (f :+: g) a -> m Исходный код

foldMap1' :: Semigroup m => (a -> m) -> (f :+: g) a -> m Исходный код

toNonEmpty :: (f :+: g) a -> NonEmpty a Исходный код

maximum :: Ord a => (f :+: g) a -> a Исходный код

minimum :: Ord a => (f :+: g) a -> a Исходный код

head :: (f :+: g) a -> a Исходный код

last :: (f :+: g) a -> a Исходный код

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :+: g) a -> b Исходный код

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :+: g) a -> b Исходный код

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :+: g) a -> b Исходный код

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :+: g) a -> b Исходный код

(Eq1 f, Eq1 g) => Eq1 (f :+: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> (f :+: g) a -> (f :+: g) b -> Bool Исходный код

(Ord1 f, Ord1 g) => Ord1 (f :+: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> (f :+: g) a -> (f :+: g) b -> Ordering Исходный код

(Read1 f, Read1 g) => Read1 (f :+: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :+: g) a) Исходный код

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :+: g) a] Исходный код

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :+: g) a) Исходный код

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :+: g) a] Исходный код

(Show1 f, Show1 g) => Show1 (f :+: g) Исходный код

Начиная с: base-4.21.0.0

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

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

fold :: Monoid m => (f :+: g) m -> m Исходный код

foldMap :: Monoid m => (a -> m) -> (f :+: g) a -> m Исходный код

foldMap' :: Monoid m => (a -> m) -> (f :+: g) a -> m Исходный код

foldr :: (a -> b -> b) -> b -> (f :+: g) a -> b Исходный код

foldr' :: (a -> b -> b) -> b -> (f :+: g) a -> b Исходный код

foldl :: (b -> a -> b) -> b -> (f :+: g) a -> b Исходный код

foldl' :: (b -> a -> b) -> b -> (f :+: g) a -> b Исходный код

foldr1 :: (a -> a -> a) -> (f :+: g) a -> a Исходный код

foldl1 :: (a -> a -> a) -> (f :+: g) a -> a Исходный код

toList :: (f :+: g) a -> [a] Исходный код

null :: (f :+: g) a -> Bool Исходный код

length :: (f :+: g) a -> Int Исходный код

elem :: Eq a => a -> (f :+: g) a -> Bool Исходный код

maximum :: Ord a => (f :+: g) a -> a Исходный код

minimum :: Ord a => (f :+: g) a -> a Исходный код

sum :: Num a => (f :+: g) a -> a Исходный код

product :: Num a => (f :+: g) a -> a Исходный код

(Traversable f, Traversable g) => Traversable (f :+: g) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

traverse :: Applicative f0 => (a -> f0 b) -> (f :+: g) a -> f0 ((f :+: g) b) Исходный код

sequenceA :: Applicative f0 => (f :+: g) (f0 a) -> f0 ((f :+: g) a) Исходный код

mapM :: Monad m => (a -> m b) -> (f :+: g) a -> m ((f :+: g) b) Исходный код

sequence :: Monad m => (f :+: g) (m a) -> m ((f :+: g) a) Исходный код

(Eq (f p), Eq (g p)) => Eq ((f :+: g) p) Исходный код

Начиная с: base-4.7.0.0

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

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

Методы

(==) :: (f :+: g) p -> (f :+: g) p -> Bool Источник

(/=) :: (f :+: g) p -> (f :+: g) p -> Bool Источник

(Ord (f p), Ord (g p)) => Ord ((f :+: g) p) Источник

Начиная с: base-4.7.0.0

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

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

Методы

compare :: (f :+: g) p -> (f :+: g) p -> Ordering Источник

(<) :: (f :+: g) p -> (f :+: g) p -> Bool Источник

(<=) :: (f :+: g) p -> (f :+: g) p -> Bool Источник

(>) :: (f :+: g) p -> (f :+: g) p -> Bool Источник

(>=) :: (f :+: g) p -> (f :+: g) p -> Bool Источник

max :: (f :+: g) p -> (f :+: g) p -> (f :+: g) p Источник

min :: (f :+: g) p -> (f :+: g) p -> (f :+: g) p Источник

(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :+: g) p) Источник

Начиная с: base-4.9.0.0

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

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

Методы

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

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

toConstr :: (f :+: g) p -> Constr Источник

dataTypeOf :: (f :+: g) p -> DataType Источник

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

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

gmapT :: (forall b. Data b => b -> b) -> (f :+: g) p -> (f :+: g) p Источник

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

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

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

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

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

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

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

Generic ((f :+: g) p) Источник

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

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

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

type Rep ((f :+: g) p)

Начиная с: base-4.7.0.0

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

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

type Rep ((f :+: g) p) = D1 ('MetaData ":+:" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))

Методы

from :: (f :+: g) p -> Rep ((f :+: g) p) x Источник

to :: Rep ((f :+: g) p) x -> (f :+: g) p Источник

(Read (f p), Read (g p)) => Read ((f :+: g) p) Источник

Начиная с: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS ((f :+: g) p) Источник

readList :: ReadS [(f :+: g) p] Источник

readPrec :: ReadPrec ((f :+: g) p) Источник

readListPrec :: ReadPrec [(f :+: g) p] Источник

(Show (f p), Show (g p)) => Show ((f :+: g) p) Источник

Начиная с: base-4.7.0.0

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

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

Методы

showsPrec :: Int -> (f :+: g) p -> ShowS Источник

show :: (f :+: g) p -> String Источник

showList :: [(f :+: g) p] -> ShowS Источник

type Rep1 (f :+: g :: k -> Type) Источник

Начиная с: base-4.9.0.0

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

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

type Rep ((f :+: g) p) Источник

Начиная с: base-4.7.0.0

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

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

data ((f :: k -> Type) :*: (g :: k -> Type)) (p :: k) infixr 6 Источник

Произведения: кодируют несколько аргументов конструкторов

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

(f p) :*: (g p) infixr 6

Экземпляры

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

Generic1 (f :*: g :: k -> Type) Исходный код

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

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

Ассоциированные типы

type Rep1 (f :*: g :: k -> Type)

С версии: base-4.9.0.0

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

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

type Rep1 (f :*: g :: k -> Type) = D1 ('MetaData ":*:" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons ":*:" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))

Методы

from1 :: forall (a :: k). (f :*: g) a -> Rep1 (f :*: g) a Исходный код

to1 :: forall (a :: k). Rep1 (f :*: g) a -> (f :*: g) a Исходный код

(Foldable1 f, Foldable1 g) => Foldable1 (f :*: g) Исходный код

С версии: base-4.18.0.0

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

Определён в Data.Foldable1

Методы

fold1 :: Semigroup m => (f :*: g) m -> m Исходный код

foldMap1 :: Semigroup m => (a -> m) -> (f :*: g) a -> m Исходный код

foldMap1' :: Semigroup m => (a -> m) -> (f :*: g) a -> m Исходный код

toNonEmpty :: (f :*: g) a -> NonEmpty a Исходный код

maximum :: Ord a => (f :*: g) a -> a Исходный код

minimum :: Ord a => (f :*: g) a -> a Исходный код

head :: (f :*: g) a -> a Исходный код

last :: (f :*: g) a -> a Исходный код

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :*: g) a -> b Исходный код

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :*: g) a -> b Исходный код

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :*: g) a -> b Исходный код

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :*: g) a -> b Исходный код

(Eq1 f, Eq1 g) => Eq1 (f :*: g) Исходный код

С версии: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> (f :*: g) a -> (f :*: g) b -> Bool Исходный код

(Ord1 f, Ord1 g) => Ord1 (f :*: g) Исходный код

С версии: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> (f :*: g) a -> (f :*: g) b -> Ordering Исходный код

(Read1 f, Read1 g) => Read1 (f :*: g) Исходный код

С версии: base-4.21.0.0

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

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

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :*: g) a) Исходный код

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :*: g) a] Исходный код

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :*: g) a) Исходный код

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :*: g) a] Исходный код

(Show1 f, Show1 g) => Show1 (f :*: g) Исходный код

С версии: base-4.21.0.0

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

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

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :*: g) a -> ShowS Исходный код

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [(f :*: g) a] -> ShowS Исходный код

(Contravariant f, Contravariant g) => Contravariant (f :*: g) Исходный код

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

Определён в Data.Functor.Contravariant

Методы

contramap :: (a' -> a) -> (f :*: g) a -> (f :*: g) a' Исходный код

(>$) :: b -> (f :*: g) b -> (f :*: g) a Исходный код

(Alternative f, Alternative g) => Alternative (f :*: g) Исходный код

С версии: base-4.9.0.0

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

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

Методы

empty :: (f :*: g) a Исходный код

(<|>) :: (f :*: g) a -> (f :*: g) a -> (f :*: g) a Исходный код

some :: (f :*: g) a -> (f :*: g) [a] Исходный код

many :: (f :*: g) a -> (f :*: g) [a] Исходный код

(Applicative f, Applicative g) => Applicative (f :*: g) Исходный код

С версии: base-4.9.0.0

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

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

Методы

pure :: a -> (f :*: g) a Исходный код

(<*>) :: (f :*: g) (a -> b) -> (f :*: g) a -> (f :*: g) b Исходный код

liftA2 :: (a -> b -> c) -> (f :*: g) a -> (f :*: g) b -> (f :*: g) c Исходный код

(*>) :: (f :*: g) a -> (f :*: g) b -> (f :*: g) b Исходный код

(<*) :: (f :*: g) a -> (f :*: g) b -> (f :*: g) a Исходный код

(Functor f, Functor g) => Functor (f :*: g) Исходный код

С версии: base-4.9.0.0

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

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

Методы

fmap :: (a -> b) -> (f :*: g) a -> (f :*: g) b Исходный код

(<$) :: a -> (f :*: g) b -> (f :*: g) a Исходный код

(Monad f, Monad g) => Monad (f :*: g) Исходный код

С версии: base-4.9.0.0

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

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

Методы

(>>=) :: (f :*: g) a -> (a -> (f :*: g) b) -> (f :*: g) b Исходный код

(>>) :: (f :*: g) a -> (f :*: g) b -> (f :*: g) b Исходный код

return :: a -> (f :*: g) a Исходный код

(MonadPlus f, MonadPlus g) => MonadPlus (f :*: g) Исходный код

С версии: base-4.9.0.0

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

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

Методы

mzero :: (f :*: g) a Исходный код

mplus :: (f :*: g) a -> (f :*: g) a -> (f :*: g) a Исходный код

(MonadFix f, MonadFix g) => MonadFix (f :*: g) Исходный код

С версии: base-4.9.0.0

Сведения об экземпляре Определено в GHC.Internal.Control.Monad.Fix Методы mfix :: (a -> (f :: g) a) -> (f :: g) a Источник
(MonadZip f, MonadZip g) => MonadZip (f :*: g) Источник	Начиная с: ghc-internal-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Control.Monad.Zip Методы mzip :: (f :: g) a -> (f :: g) b -> (f :: g) (a, b) Источник mzipWith :: (a -> b -> c) -> (f :: g) a -> (f :: g) b -> (f :: g) c Источник munzip :: (f :: g) (a, b) -> ((f :: g) a, (f :*: g) b) Источник
(Foldable f, Foldable g) => Foldable (f :*: g) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => (f :: g) m -> m Источник foldMap :: Monoid m => (a -> m) -> (f :: g) a -> m Источник foldMap' :: Monoid m => (a -> m) -> (f :: g) a -> m Источник foldr :: (a -> b -> b) -> b -> (f :: g) a -> b Источник foldr' :: (a -> b -> b) -> b -> (f :: g) a -> b Источник foldl :: (b -> a -> b) -> b -> (f :: g) a -> b Источник foldl' :: (b -> a -> b) -> b -> (f :: g) a -> b Источник foldr1 :: (a -> a -> a) -> (f :: g) a -> a Источник foldl1 :: (a -> a -> a) -> (f :: g) a -> a Источник toList :: (f :: g) a -> [a] Источник null :: (f :: g) a -> Bool Источник length :: (f :: g) a -> Int Источник elem :: Eq a => a -> (f :: g) a -> Bool Источник maximum :: Ord a => (f :: g) a -> a Источник minimum :: Ord a => (f :: g) a -> a Источник sum :: Num a => (f :: g) a -> a Источник product :: Num a => (f :*: g) a -> a Источник
(Traversable f, Traversable g) => Traversable (f :*: g) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f0 => (a -> f0 b) -> (f :: g) a -> f0 ((f :: g) b) Источник sequenceA :: Applicative f0 => (f :: g) (f0 a) -> f0 ((f :: g) a) Источник mapM :: Monad m => (a -> m b) -> (f :: g) a -> m ((f :: g) b) Источник sequence :: Monad m => (f :: g) (m a) -> m ((f :: g) a) Источник
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p) Источник	Начиная с: base-4.12.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы mempty :: (f :: g) p Источник mappend :: (f :: g) p -> (f :: g) p -> (f :: g) p Источник mconcat :: [(f :: g) p] -> (f :: g) p Источник
(Semigroup (f p), Semigroup (g p)) => Semigroup ((f :*: g) p) Источник	Начиная с: base-4.12.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы (<>) :: (f :: g) p -> (f :: g) p -> (f :: g) p Источник sconcat :: NonEmpty ((f :: g) p) -> (f :: g) p Источник stimes :: Integral b => b -> (f :: g) p -> (f :*: g) p Источник
(Eq (f p), Eq (g p)) => Eq ((f :*: g) p) Источник	Начиная с: base-4.7.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы (==) :: (f :: g) p -> (f :: g) p -> Bool Источник (/=) :: (f :: g) p -> (f :: g) p -> Bool Источник
(Ord (f p), Ord (g p)) => Ord ((f :*: g) p) Источник	Начиная с: base-4.7.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы compare :: (f :: g) p -> (f :: g) p -> Ordering Источник (<) :: (f :: g) p -> (f :: g) p -> Bool Источник (<=) :: (f :: g) p -> (f :: g) p -> Bool Источник (>) :: (f :: g) p -> (f :: g) p -> Bool Источник (>=) :: (f :: g) p -> (f :: g) p -> Bool Источник max :: (f :: g) p -> (f :: g) p -> (f :: g) p Источник min :: (f :: g) p -> (f :: g) p -> (f :: g) p Источник
(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :*: g) p) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :: g) p -> c ((f :: g) p) Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :: g) p) Источник toConstr :: (f :: g) p -> Constr Источник dataTypeOf :: (f :: g) p -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :: g) p)) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :: g) p)) Источник gmapT :: (forall b. Data b => b -> b) -> (f :: g) p -> (f :: g) p Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :: g) p -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :: g) p -> r Источник gmapQ :: (forall d. Data d => d -> u) -> (f :: g) p -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :: g) p -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :: g) p) Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :: g) p) Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :*: g) p) Источник
Generic ((f :*: g) p) Источник

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

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

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

type Rep ((f :*: g) p)

С версии: base-4.7.0.0

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

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

type Rep ((f :*: g) p) = D1 ('MetaData ":*:" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons ":*:" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))

Методы

from :: (f :*: g) p -> Rep ((f :*: g) p) x Исходный код

to :: Rep ((f :*: g) p) x -> (f :*: g) p Исходный код

(Read (f p), Read (g p)) => Read ((f :*: g) p) Исходный код

С версии: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS ((f :*: g) p) Исходный код

readList :: ReadS [(f :*: g) p] Исходный код

readPrec :: ReadPrec ((f :*: g) p) Исходный код

readListPrec :: ReadPrec [(f :*: g) p] Исходный код

(Show (f p), Show (g p)) => Show ((f :*: g) p) Исходный код

С версии: base-4.7.0.0

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

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

Методы

showsPrec :: Int -> (f :*: g) p -> ShowS Исходный код

show :: (f :*: g) p -> String Исходный код

showList :: [(f :*: g) p] -> ShowS Исходный код

type Rep1 (f :*: g :: k -> Type) Исходный код

С версии: base-4.9.0.0

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

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

type Rep ((f :*: g) p) Исходный код

С версии: base-4.7.0.0

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

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

newtype ((f :: k2 -> Type) :.: (g :: k1 -> k2)) (p :: k1) infixr 7 Исходный код

Композиция функторов

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

Comp1
Поля unComp1 :: f (g p)

Экземпляры

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

Functor f => Generic1 (f :.: g :: k -> Type) Исходный код

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

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

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

type Rep1 (f :.: g :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определён в GHC.Internal.Generics type Rep1 (f :.: g :: k -> Type) = D1 ('MetaData ":.:" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (f :.: Rec1 g)))

Методы

from1 :: forall (a :: k). (f :.: g) a -> Rep1 (f :.: g) a Исходный код

to1 :: forall (a :: k). Rep1 (f :.: g) a -> (f :.: g) a Исходный код

(Foldable1 f, Foldable1 g) => Foldable1 (f :.: g) Исходный код

Начиная с: base-4.18.0.0

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

Определён в Data.Foldable1

Методы

fold1 :: Semigroup m => (f :.: g) m -> m Исходный код

foldMap1 :: Semigroup m => (a -> m) -> (f :.: g) a -> m Исходный код

foldMap1' :: Semigroup m => (a -> m) -> (f :.: g) a -> m Исходный код

toNonEmpty :: (f :.: g) a -> NonEmpty a Исходный код

maximum :: Ord a => (f :.: g) a -> a Исходный код

minimum :: Ord a => (f :.: g) a -> a Исходный код

head :: (f :.: g) a -> a Исходный код

last :: (f :.: g) a -> a Исходный код

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b Исходный код

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b Исходный код

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b Исходный код

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b Исходный код

(Eq1 f, Eq1 g) => Eq1 (f :.: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool Исходный код

(Ord1 f, Ord1 g) => Ord1 (f :.: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering Исходный код

(Read1 f, Read1 g) => Read1 (f :.: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS ((f :.: g) a) Исходный код

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [(f :.: g) a] Исходный код

liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec ((f :.: g) a) Исходный код

liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [(f :.: g) a] Исходный код

(Show1 f, Show1 g) => Show1 (f :.: g) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> (f :.: g) a -> ShowS Исходный код

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [(f :.: g) a] -> ShowS Исходный код

(Functor f, Contravariant g) => Contravariant (f :.: g) Исходный код

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

Определён в Data.Functor.Contravariant

Методы

contramap :: (a' -> a) -> (f :.: g) a -> (f :.: g) a' Исходный код

(>$) :: b -> (f :.: g) b -> (f :.: g) a Исходный код

(Alternative f, Applicative g) => Alternative (f :.: g) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

empty :: (f :.: g) a Исходный код

(<|>) :: (f :.: g) a -> (f :.: g) a -> (f :.: g) a Исходный код

some :: (f :.: g) a -> (f :.: g) [a] Исходный код

many :: (f :.: g) a -> (f :.: g) [a] Исходный код

(Applicative f, Applicative g) => Applicative (f :.: g) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

pure :: a -> (f :.: g) a Исходный код

(<*>) :: (f :.: g) (a -> b) -> (f :.: g) a -> (f :.: g) b Исходный код

liftA2 :: (a -> b -> c) -> (f :.: g) a -> (f :.: g) b -> (f :.: g) c Исходный код

(*>) :: (f :.: g) a -> (f :.: g) b -> (f :.: g) b Исходный код

(<*) :: (f :.: g) a -> (f :.: g) b -> (f :.: g) a Исходный код

(Functor f, Functor g) => Functor (f :.: g) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

fmap :: (a -> b) -> (f :.: g) a -> (f :.: g) b Исходный код

(<$) :: a -> (f :.: g) b -> (f :.: g) a Исходный код

(Foldable f, Foldable g) => Foldable (f :.: g) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

fold :: Monoid m => (f :.: g) m -> m Источник

foldMap :: Monoid m => (a -> m) -> (f :.: g) a -> m Источник

foldMap' :: Monoid m => (a -> m) -> (f :.: g) a -> m Источник

foldr :: (a -> b -> b) -> b -> (f :.: g) a -> b Источник

foldr' :: (a -> b -> b) -> b -> (f :.: g) a -> b Источник

foldl :: (b -> a -> b) -> b -> (f :.: g) a -> b Источник

foldl' :: (b -> a -> b) -> b -> (f :.: g) a -> b Источник

foldr1 :: (a -> a -> a) -> (f :.: g) a -> a Источник

foldl1 :: (a -> a -> a) -> (f :.: g) a -> a Источник

toList :: (f :.: g) a -> [a] Источник

null :: (f :.: g) a -> Bool Источник

length :: (f :.: g) a -> Int Источник

elem :: Eq a => a -> (f :.: g) a -> Bool Источник

maximum :: Ord a => (f :.: g) a -> a Источник

minimum :: Ord a => (f :.: g) a -> a Источник

sum :: Num a => (f :.: g) a -> a Источник

product :: Num a => (f :.: g) a -> a Источник

(Traversable f, Traversable g) => Traversable (f :.: g) Источник

Начиная с: base-4.9.0.0

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

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

Методы

traverse :: Applicative f0 => (a -> f0 b) -> (f :.: g) a -> f0 ((f :.: g) b) Источник

sequenceA :: Applicative f0 => (f :.: g) (f0 a) -> f0 ((f :.: g) a) Источник

mapM :: Monad m => (a -> m b) -> (f :.: g) a -> m ((f :.: g) b) Источник

sequence :: Monad m => (f :.: g) (m a) -> m ((f :.: g) a) Источник

Monoid (f (g p)) => Monoid ((f :.: g) p) Источник

Начиная с: base-4.12.0.0

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

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

Методы

mempty :: (f :.: g) p Источник

mappend :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Источник

mconcat :: [(f :.: g) p] -> (f :.: g) p Источник

Semigroup (f (g p)) => Semigroup ((f :.: g) p) Источник

Начиная с: base-4.12.0.0

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

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

Методы

(<>) :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Источник

sconcat :: NonEmpty ((f :.: g) p) -> (f :.: g) p Источник

stimes :: Integral b => b -> (f :.: g) p -> (f :.: g) p Источник

Eq (f (g p)) => Eq ((f :.: g) p) Источник

Начиная с: base-4.7.0.0

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

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

Методы

(==) :: (f :.: g) p -> (f :.: g) p -> Bool Источник

(/=) :: (f :.: g) p -> (f :.: g) p -> Bool Источник

Ord (f (g p)) => Ord ((f :.: g) p) Источник

Начиная с: base-4.7.0.0

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

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

Методы

compare :: (f :.: g) p -> (f :.: g) p -> Ordering Источник

(<) :: (f :.: g) p -> (f :.: g) p -> Bool Источник

(<=) :: (f :.: g) p -> (f :.: g) p -> Bool Источник

(>) :: (f :.: g) p -> (f :.: g) p -> Bool Источник

(>=) :: (f :.: g) p -> (f :.: g) p -> Bool Источник

max :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Источник

min :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Источник

(Typeable f, Typeable g, Data p, Data (f (g p))) => Data ((f :.: g) p) Источник

Начиная с: base-4.9.0.0

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

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

Методы

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

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

toConstr :: (f :.: g) p -> Constr Источник

dataTypeOf :: (f :.: g) p -> DataType Источник

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

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

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

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

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

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

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

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

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

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

Generic ((f :.: g) p) Источник

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

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

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

type Rep ((f :.: g) p)	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep ((f :.: g) p) = D1 ('MetaData ":.:" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (g p)))))

Методы

from :: (f :.: g) p -> Rep ((f :.: g) p) x Источник

to :: Rep ((f :.: g) p) x -> (f :.: g) p Источник

Read (f (g p)) => Read ((f :.: g) p) Источник

Начиная с: base-4.7.0.0

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

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

Методы

readsPrec :: Int -> ReadS ((f :.: g) p) Источник

readList :: ReadS [(f :.: g) p] Источник

readPrec :: ReadPrec ((f :.: g) p) Источник

readListPrec :: ReadPrec [(f :.: g) p] Источник

Show (f (g p)) => Show ((f :.: g) p) Источник	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Int -> (f :.: g) p -> ShowS Источник show :: (f :.: g) p -> String Источник showList :: [(f :.: g) p] -> ShowS Источник
type Rep1 (f :.: g :: k -> Type) Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (f :.: g :: k -> Type) = D1 ('MetaData ":.:" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (f :.: Rec1 g)))
type Rep ((f :.: g) p) Источник	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep ((f :.: g) p) = D1 ('MetaData ":.:" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "Comp1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unComp1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f (g p)))))

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

data family URec a (p :: k) Источник

Константы неподнятых родов

Начиная с: base-4.9.0.0

Экземпляры

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

Generic1 (URec (Ptr ()) :: k -> Type) Исходный код

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

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

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

type Rep1 (URec (Ptr ()) :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec (Ptr ()) :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: k -> Type)))

Методы

from1 :: forall (a :: k). URec (Ptr ()) a -> Rep1 (URec (Ptr ()) :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec (Ptr ()) :: k -> Type) a -> URec (Ptr ()) a Исходный код

Generic1 (URec Char :: k -> Type) Исходный код

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

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

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

type Rep1 (URec Char :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Char :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: k -> Type)))

Методы

from1 :: forall (a :: k). URec Char a -> Rep1 (URec Char :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Char :: k -> Type) a -> URec Char a Исходный код

Generic1 (URec Double :: k -> Type) Исходный код

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

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

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

type Rep1 (URec Double :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Double :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Type)))

Методы

from1 :: forall (a :: k). URec Double a -> Rep1 (URec Double :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Double :: k -> Type) a -> URec Double a Исходный код

Generic1 (URec Float :: k -> Type) Исходный код

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

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

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

type Rep1 (URec Float :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Float :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Type)))

Методы

from1 :: forall (a :: k). URec Float a -> Rep1 (URec Float :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Float :: k -> Type) a -> URec Float a Исходный код

Generic1 (URec Int :: k -> Type) Исходный код

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

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

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

type Rep1 (URec Int :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))

Методы

from1 :: forall (a :: k). URec Int a -> Rep1 (URec Int :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Int :: k -> Type) a -> URec Int a Исходный код

Generic1 (URec Word :: k -> Type) Исходный код

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

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

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

type Rep1 (URec Word :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))

Методы

from1 :: forall (a :: k). URec Word a -> Rep1 (URec Word :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Word :: k -> Type) a -> URec Word a Исходный код

Eq1 (UAddr :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> UAddr a -> UAddr b -> Bool Исходный код

Eq1 (UChar :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> UChar a -> UChar b -> Bool Исходный код

Eq1 (UDouble :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> UDouble a -> UDouble b -> Bool Исходный код

Eq1 (UFloat :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> UFloat a -> UFloat b -> Bool Исходный код

Eq1 (UInt :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> UInt a -> UInt b -> Bool Исходный код

Eq1 (UWord :: Type -> Type) Исходный код

Начиная с: base-4.21.0.0

Подробности экземпляра Определено в Data.Functor.Classes Методы liftEq :: (a -> b -> Bool) -> UWord a -> UWord b -> Bool Исходный код
Ord1 (UAddr :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> UAddr a -> UAddr b -> Ordering Исходный код
Ord1 (UChar :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> UChar a -> UChar b -> Ordering Исходный код
Ord1 (UDouble :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> UDouble a -> UDouble b -> Ordering Исходный код
Ord1 (UFloat :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> UFloat a -> UFloat b -> Ordering Исходный код
Ord1 (UInt :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> UInt a -> UInt b -> Ordering Исходный код
Ord1 (UWord :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> UWord a -> UWord b -> Ordering Исходный код
Show1 (UAddr :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UAddr a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UAddr a] -> ShowS Исходный код
Show1 (UChar :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UChar a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UChar a] -> ShowS Исходный код
Show1 (UDouble :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UDouble a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UDouble a] -> ShowS Исходный код
Show1 (UFloat :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UFloat a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UFloat a] -> ShowS Исходный код
Show1 (UInt :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UInt a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UInt a] -> ShowS Исходный код
Show1 (UWord :: Type -> Type) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UWord a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UWord a] -> ShowS Исходный код
Foldable (UAddr :: Type -> Type) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => UAddr m -> m Исходный код foldMap :: Monoid m => (a -> m) -> UAddr a -> m Исходный код foldMap' :: Monoid m => (a -> m) -> UAddr a -> m Исходный код foldr :: (a -> b -> b) -> b -> UAddr a -> b Исходный код foldr' :: (a -> b -> b) -> b -> UAddr a -> b Исходный код foldl :: (b -> a -> b) -> b -> UAddr a -> b Исходный код foldl' :: (b -> a -> b) -> b -> UAddr a -> b Исходный код foldr1 :: (a -> a -> a) -> UAddr a -> a Исходный код foldl1 :: (a -> a -> a) -> UAddr a -> a Исходный код toList :: UAddr a -> [a] Исходный код null :: UAddr a -> Bool Исходный код length :: UAddr a -> Int Исходный код elem :: Eq a => a -> UAddr a -> Bool Исходный код maximum :: Ord a => UAddr a -> a Исходный код minimum :: Ord a => UAddr a -> a Исходный код sum :: Num a => UAddr a -> a Исходный код product :: Num a => UAddr a -> a Исходный код
Foldable (UChar :: Type -> Type) Исходный код	Начиная с: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => UChar m -> m Источник foldMap :: Monoid m => (a -> m) -> UChar a -> m Источник foldMap' :: Monoid m => (a -> m) -> UChar a -> m Источник foldr :: (a -> b -> b) -> b -> UChar a -> b Источник foldr' :: (a -> b -> b) -> b -> UChar a -> b Источник foldl :: (b -> a -> b) -> b -> UChar a -> b Источник foldl' :: (b -> a -> b) -> b -> UChar a -> b Источник foldr1 :: (a -> a -> a) -> UChar a -> a Источник foldl1 :: (a -> a -> a) -> UChar a -> a Источник toList :: UChar a -> [a] Источник null :: UChar a -> Bool Источник length :: UChar a -> Int Источник elem :: Eq a => a -> UChar a -> Bool Источник maximum :: Ord a => UChar a -> a Источник minimum :: Ord a => UChar a -> a Источник sum :: Num a => UChar a -> a Источник product :: Num a => UChar a -> a Источник
Foldable (UDouble :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => UDouble m -> m Источник foldMap :: Monoid m => (a -> m) -> UDouble a -> m Источник foldMap' :: Monoid m => (a -> m) -> UDouble a -> m Источник foldr :: (a -> b -> b) -> b -> UDouble a -> b Источник foldr' :: (a -> b -> b) -> b -> UDouble a -> b Источник foldl :: (b -> a -> b) -> b -> UDouble a -> b Источник foldl' :: (b -> a -> b) -> b -> UDouble a -> b Источник foldr1 :: (a -> a -> a) -> UDouble a -> a Источник foldl1 :: (a -> a -> a) -> UDouble a -> a Источник toList :: UDouble a -> [a] Источник null :: UDouble a -> Bool Источник length :: UDouble a -> Int Источник elem :: Eq a => a -> UDouble a -> Bool Источник maximum :: Ord a => UDouble a -> a Источник minimum :: Ord a => UDouble a -> a Источник sum :: Num a => UDouble a -> a Источник product :: Num a => UDouble a -> a Источник
Foldable (UFloat :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => UFloat m -> m Источник foldMap :: Monoid m => (a -> m) -> UFloat a -> m Источник foldMap' :: Monoid m => (a -> m) -> UFloat a -> m Источник foldr :: (a -> b -> b) -> b -> UFloat a -> b Источник foldr' :: (a -> b -> b) -> b -> UFloat a -> b Источник foldl :: (b -> a -> b) -> b -> UFloat a -> b Источник foldl' :: (b -> a -> b) -> b -> UFloat a -> b Источник foldr1 :: (a -> a -> a) -> UFloat a -> a Источник foldl1 :: (a -> a -> a) -> UFloat a -> a Источник toList :: UFloat a -> [a] Источник null :: UFloat a -> Bool Источник length :: UFloat a -> Int Источник elem :: Eq a => a -> UFloat a -> Bool Источник maximum :: Ord a => UFloat a -> a Источник minimum :: Ord a => UFloat a -> a Источник sum :: Num a => UFloat a -> a Источник product :: Num a => UFloat a -> a Источник
Foldable (UInt :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => UInt m -> m Источник foldMap :: Monoid m => (a -> m) -> UInt a -> m Источник foldMap' :: Monoid m => (a -> m) -> UInt a -> m Источник foldr :: (a -> b -> b) -> b -> UInt a -> b Источник foldr' :: (a -> b -> b) -> b -> UInt a -> b Источник foldl :: (b -> a -> b) -> b -> UInt a -> b Источник foldl' :: (b -> a -> b) -> b -> UInt a -> b Источник foldr1 :: (a -> a -> a) -> UInt a -> a Источник foldl1 :: (a -> a -> a) -> UInt a -> a Источник toList :: UInt a -> [a] Источник null :: UInt a -> Bool Источник length :: UInt a -> Int Источник elem :: Eq a => a -> UInt a -> Bool Источник maximum :: Ord a => UInt a -> a Источник minimum :: Ord a => UInt a -> a Источник sum :: Num a => UInt a -> a Источник product :: Num a => UInt a -> a Источник
Foldable (UWord :: Type -> Type) Источник	Начиная с: base-4.9.0.0

Сведения об экземпляре Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => UWord m -> m Источник foldMap :: Monoid m => (a -> m) -> UWord a -> m Источник foldMap' :: Monoid m => (a -> m) -> UWord a -> m Источник foldr :: (a -> b -> b) -> b -> UWord a -> b Источник foldr' :: (a -> b -> b) -> b -> UWord a -> b Источник foldl :: (b -> a -> b) -> b -> UWord a -> b Источник foldl' :: (b -> a -> b) -> b -> UWord a -> b Источник foldr1 :: (a -> a -> a) -> UWord a -> a Источник foldl1 :: (a -> a -> a) -> UWord a -> a Источник toList :: UWord a -> [a] Источник null :: UWord a -> Bool Источник length :: UWord a -> Int Источник elem :: Eq a => a -> UWord a -> Bool Источник maximum :: Ord a => UWord a -> a Источник minimum :: Ord a => UWord a -> a Источник sum :: Num a => UWord a -> a Источник product :: Num a => UWord a -> a Источник
Traversable (UAddr :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UAddr a -> f (UAddr b) Источник sequenceA :: Applicative f => UAddr (f a) -> f (UAddr a) Источник mapM :: Monad m => (a -> m b) -> UAddr a -> m (UAddr b) Источник sequence :: Monad m => UAddr (m a) -> m (UAddr a) Источник
Traversable (UChar :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UChar a -> f (UChar b) Источник sequenceA :: Applicative f => UChar (f a) -> f (UChar a) Источник mapM :: Monad m => (a -> m b) -> UChar a -> m (UChar b) Источник sequence :: Monad m => UChar (m a) -> m (UChar a) Источник
Traversable (UDouble :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UDouble a -> f (UDouble b) Источник sequenceA :: Applicative f => UDouble (f a) -> f (UDouble a) Источник mapM :: Monad m => (a -> m b) -> UDouble a -> m (UDouble b) Источник sequence :: Monad m => UDouble (m a) -> m (UDouble a) Источник
Traversable (UFloat :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UFloat a -> f (UFloat b) Источник sequenceA :: Applicative f => UFloat (f a) -> f (UFloat a) Источник mapM :: Monad m => (a -> m b) -> UFloat a -> m (UFloat b) Источник sequence :: Monad m => UFloat (m a) -> m (UFloat a) Источник
Traversable (UInt :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UInt a -> f (UInt b) Источник sequenceA :: Applicative f => UInt (f a) -> f (UInt a) Источник mapM :: Monad m => (a -> m b) -> UInt a -> m (UInt b) Источник sequence :: Monad m => UInt (m a) -> m (UInt a) Источник
Traversable (UWord :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) Источник sequenceA :: Applicative f => UWord (f a) -> f (UWord a) Источник mapM :: Monad m => (a -> m b) -> UWord a -> m (UWord b) Источник sequence :: Monad m => UWord (m a) -> m (UWord a) Источник
Functor (URec (Ptr ()) :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> URec (Ptr ()) a -> URec (Ptr ()) b Источник (<$) :: a -> URec (Ptr ()) b -> URec (Ptr ()) a Источник
Functor (URec Char :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> URec Char a -> URec Char b Источник (<$) :: a -> URec Char b -> URec Char a Источник
Functor (URec Double :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> URec Double a -> URec Double b Источник (<$) :: a -> URec Double b -> URec Double a Источник
Functor (URec Float :: Type -> Type) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> URec Float a -> URec Float b Источник (<$) :: a -> URec Float b -> URec Float a Источник
Functor (URec Int :: Type -> Type) Источник	Начиная с: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> URec Int a -> URec Int b Исходный код (<$) :: a -> URec Int b -> URec Int a Исходный код
Functor (URec Word :: Type -> Type) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> URec Word a -> URec Word b Исходный код (<$) :: a -> URec Word b -> URec Word a Исходный код
Show (UAddr p) Исходный код	Начиная с: base-4.21.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Int -> UAddr p -> ShowS Исходный код show :: UAddr p -> String Исходный код showList :: [UAddr p] -> ShowS Исходный код
Eq (URec (Ptr ()) p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Исходный код (/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Исходный код
Eq (URec Char p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: URec Char p -> URec Char p -> Bool Исходный код (/=) :: URec Char p -> URec Char p -> Bool Исходный код
Eq (URec Double p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: URec Double p -> URec Double p -> Bool Исходный код (/=) :: URec Double p -> URec Double p -> Bool Исходный код
Eq (URec Float p) Исходный код
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: URec Float p -> URec Float p -> Bool Исходный код (/=) :: URec Float p -> URec Float p -> Bool Исходный код
Eq (URec Int p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: URec Int p -> URec Int p -> Bool Исходный код (/=) :: URec Int p -> URec Int p -> Bool Исходный код
Eq (URec Word p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: URec Word p -> URec Word p -> Bool Исходный код (/=) :: URec Word p -> URec Word p -> Bool Исходный код
Ord (URec (Ptr ()) p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: URec (Ptr ()) p -> URec (Ptr ()) p -> Ordering Исходный код (<) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Исходный код (<=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Исходный код (>) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Исходный код (>=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Исходный код max :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Исходный код min :: URec (Ptr ()) p -> URec (Ptr ()) p -> URec (Ptr ()) p Исходный код
Ord (URec Char p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: URec Char p -> URec Char p -> Ordering Исходный код (<) :: URec Char p -> URec Char p -> Bool Исходный код (<=) :: URec Char p -> URec Char p -> Bool Исходный код (>) :: URec Char p -> URec Char p -> Bool Исходный код (>=) :: URec Char p -> URec Char p -> Bool Исходный код max :: URec Char p -> URec Char p -> URec Char p Исходный код min :: URec Char p -> URec Char p -> URec Char p Исходный код
Ord (URec Double p) Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: URec Double p -> URec Double p -> Ordering Исходный код (<) :: URec Double p -> URec Double p -> Bool Исходный код (<=) :: URec Double p -> URec Double p -> Bool Исходный код (>) :: URec Double p -> URec Double p -> Bool Исходный код (>=) :: URec Double p -> URec Double p -> Bool Исходный код max :: URec Double p -> URec Double p -> URec Double p Исходный код min :: URec Double p -> URec Double p -> URec Double p Исходный код
Ord (URec Float p) Исходный код

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

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

Методы

compare :: URec Float p -> URec Float p -> Ordering Источник

(<) :: URec Float p -> URec Float p -> Bool Источник

(<=) :: URec Float p -> URec Float p -> Bool Источник

(>) :: URec Float p -> URec Float p -> Bool Источник

(>=) :: URec Float p -> URec Float p -> Bool Источник

max :: URec Float p -> URec Float p -> URec Float p Источник

min :: URec Float p -> URec Float p -> URec Float p Источник

Ord (URec Int p) Источник

Начиная с: base-4.9.0.0

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

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

Методы

compare :: URec Int p -> URec Int p -> Ordering Источник

(<) :: URec Int p -> URec Int p -> Bool Источник

(<=) :: URec Int p -> URec Int p -> Bool Источник

(>) :: URec Int p -> URec Int p -> Bool Источник

(>=) :: URec Int p -> URec Int p -> Bool Источник

max :: URec Int p -> URec Int p -> URec Int p Источник

min :: URec Int p -> URec Int p -> URec Int p Источник

Ord (URec Word p) Источник

Начиная с: base-4.9.0.0

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

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

Методы

compare :: URec Word p -> URec Word p -> Ordering Источник

(<) :: URec Word p -> URec Word p -> Bool Источник

(<=) :: URec Word p -> URec Word p -> Bool Источник

(>) :: URec Word p -> URec Word p -> Bool Источник

(>=) :: URec Word p -> URec Word p -> Bool Источник

max :: URec Word p -> URec Word p -> URec Word p Источник

min :: URec Word p -> URec Word p -> URec Word p Источник

Generic (URec (Ptr ()) p) Источник

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

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

Ассоциированные типы

type Rep (URec (Ptr ()) p)	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec (Ptr ()) p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: Type -> Type)))

Методы

from :: URec (Ptr ()) p -> Rep (URec (Ptr ()) p) x Источник

to :: Rep (URec (Ptr ()) p) x -> URec (Ptr ()) p Источник

Generic (URec Char p) Источник

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

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

Ассоциированные типы

type Rep (URec Char p)	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Char p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: Type -> Type)))

Методы

from :: URec Char p -> Rep (URec Char p) x Источник

to :: Rep (URec Char p) x -> URec Char p Источник

Generic (URec Double p) Источник

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

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

Ассоциированные типы

type Rep (URec Double p)	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Double p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: Type -> Type)))

Методы

from :: URec Double p -> Rep (URec Double p) x Источник

to :: Rep (URec Double p) x -> URec Double p Источник

Generic (URec Float p) Источник

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

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

Ассоциированные типы

type Rep (URec Float p)
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Float p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: Type -> Type)))

Методы

from :: URec Float p -> Rep (URec Float p) x Источник

to :: Rep (URec Float p) x -> URec Float p Источник

Generic (URec Int p) Источник

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

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

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

type Rep (URec Int p)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))

Методы

from :: URec Int p -> Rep (URec Int p) x Исходный код

to :: Rep (URec Int p) x -> URec Int p Исходный код

Generic (URec Word p) Исходный код

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

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

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

type Rep (URec Word p)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

Методы

from :: URec Word p -> Rep (URec Word p) x Исходный код

to :: Rep (URec Word p) x -> URec Word p Исходный код

Show (URec Char p) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

showsPrec :: Int -> URec Char p -> ShowS Исходный код

show :: URec Char p -> String Исходный код

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

Show (URec Double p) Исходный код

Начиная с: base-4.9.0.0

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

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

showsPrec :: Int -> URec Word p -> ShowS Исходный код

show :: URec Word p -> String Исходный код

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

data URec Char (p :: k) Исходный код

Используется для обозначения вхождений Char#

Начиная с: base-4.9.0.0

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

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

data URec Char (p :: k) = UChar {

uChar# :: Char#

}

data URec Double (p :: k) Исходный код

Используется для обозначения вхождений Double#

Начиная с: base-4.9.0.0

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

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

data URec Double (p :: k) = UDouble {

uDouble# :: Double#

}

data URec Float (p :: k) Исходный код

Используется для обозначения вхождений Float#

Начиная с: base-4.9.0.0

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

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

data URec Float (p :: k) = UFloat {

uFloat# :: Float#

}

data URec Int (p :: k) Исходный код

Используется для обозначения вхождений Int#

Начиная с: base-4.9.0.0

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

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

data URec Int (p :: k) = UInt {

uInt# :: Int#

}

data URec Word (p :: k) Исходный код

Используется для обозначения вхождений Word#

Начиная с: base-4.9.0.0

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

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

data URec Word (p :: k) = UWord {

uWord# :: Word#

}

data URec (Ptr ()) (p :: k) Исходный код

Используется для обозначения вхождений Addr#

Начиная с: base-4.9.0.0

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

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

data URec (Ptr ()) (p :: k) = UAddr {

uAddr# :: Addr#

}

type Rep1 (URec (Ptr ()) :: k -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

type Rep1 (URec (Ptr ()) :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: k -> Type)))

type Rep1 (URec Char :: k -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

type Rep1 (URec Char :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: k -> Type)))

type Rep1 (URec Double :: k -> Type) Исходный код

Начиная с: base-4.9.0.0

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

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

type Rep1 (URec Double :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Type)))

type Rep1 (URec Float :: k -> Type) Исходный код

Начиная с: base-4.9.0.0

Сведения об экземпляре Определено в GHC.Internal.Generics type Rep1 (URec Float :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Type)))
type Rep1 (URec Int :: k -> Type) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep1 (URec Int :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Type)))
type Rep1 (URec Word :: k -> Type) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep1 (URec Word :: k -> Type) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Type)))
type Rep (URec (Ptr ()) p) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec (Ptr ()) p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: Type -> Type)))
type Rep (URec Char p) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Char p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: Type -> Type)))
type Rep (URec Double p) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Double p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: Type -> Type)))
type Rep (URec Float p) Исходный код
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Float p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: Type -> Type)))
type Rep (URec Int p) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Int p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: Type -> Type)))
type Rep (URec Word p) Исходный код	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep (URec Word p) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: Type -> Type)))

type UAddr = URec (Ptr ()) :: k -> Type Исходный код

Синоним типа для URec Addr#

Начиная с: base-4.9.0.0

type UChar = URec Char :: k -> Type Исходный код

Синоним типа для URec Char#

Начиная с: base-4.9.0.0

type UDouble = URec Double :: k -> Type Исходный код

Синоним типа для URec Double#

Начиная с: base-4.9.0.0

type UFloat = URec Float :: k -> Type Исходный код

Синоним типа для URec Float#

Начиная с: base-4.9.0.0

type UInt = URec Int :: k -> Type Исходный код

Синоним типа для URec Int#

Начиная с: base-4.9.0.0

type UWord = URec Word :: k -> Type Исходный код

Синоним типа для URec Word#

Начиная с: base-4.9.0.0

Удобные синонимы

type Rec0 = K1 R :: Type -> k -> Type Исходный код

Синоним типа для кодирования рекурсии (вида Type)

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

Тег для K1: рекурсия (вида Type)

type D1 = M1 D :: Meta -> (k -> Type) -> k -> Type Исходный код

Синоним типа для кодирования метаинформации о типах данных

type C1 = M1 C :: Meta -> (k -> Type) -> k -> Type Исходный код

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

type S1 = M1 S :: Meta -> (k -> Type) -> k -> Type Исходный код

Синоним типа для кодирования метаинформации о селекторах записей

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

Тег для M1: тип данных

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

Тег для M1: конструктор

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

Тег для M1: селектор записи

Метаинформация

class Datatype (d :: k) where Исходный код

Класс для типов, представляющих типы данных

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

datatypeName, moduleName, packageName

Методы

datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] Исходный код

Имя типа данных (без квалификатора)

moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] Исходный код

Полное имя модуля, в котором объявлен тип

packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] Исходный код

Имя пакета модуля, в котором объявлен тип

Начиная с: base-4.9.0.0

isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> Bool Исходный код

Указывает, является ли тип данных на самом деле newtype

Начиная с: base-4.7.0.0

Экземпляры

Сведения об экземплярах

(KnownSymbol n, KnownSymbol m, KnownSymbol p, SingI nt) => Datatype ('MetaData n m p nt :: Meta) Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Исходный код

moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Исходный код

packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Исходный код

isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> Bool Исходный код

class Constructor (c :: k) where Исходный код

Класс для типов данных, представляющих конструкторы данных

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

conName

Методы

conName :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> [Char] Источник

selName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> [Char] Источник

selSourceUnpackedness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceUnpackedness Источник

selSourceStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceStrictness Источник

selDecidedStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> DecidedStrictness Источник

data Fixity Источник

Тип данных для представления фиксности конструктора. Инфиксное объявление | напрямую соответствует применению Infix.

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

Prefix
Infix Associativity Int

Экземпляры

Сведения об экземплярах

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

Начиная с: base-4.6.0.0

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

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

Методы

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

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

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

Начиная с: base-4.6.0.0

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

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

Методы

compare :: Fixity -> Fixity -> Ordering Исходный код

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

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

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

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

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

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

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

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

type Rep Fixity

Начиная с: base-4.7.0.0

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

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

type Rep Fixity = D1 ('MetaData "Fixity" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "Prefix" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Infix" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Методы

from :: Fixity -> Rep Fixity x Исходный код

to :: Rep Fixity x -> Fixity Исходный код

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

Начиная с: base-4.6.0.0

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

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

Методы

readsPrec :: Int -> ReadS Fixity Исходный код

readList :: ReadS [Fixity] Исходный код

readPrec :: ReadPrec Fixity Исходный код

readListPrec :: ReadPrec [Fixity] Исходный код

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

Начиная с: base-4.6.0.0

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

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

Методы

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

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

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

type Rep Fixity Исходный код

Начиная с: base-4.7.0.0

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

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

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

Этот вариант Fixity представлен на уровне типов.

Начиная с: base-4.9.0.0

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

PrefixI
InfixI Associativity Nat

Экземпляры

Сведения об экземплярах

SingKind FixityI

Начиная с: base-4.9.0.0

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

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

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

type DemoteRep FixityI
Сведения об экземпляре Определён в GHC.Internal.Generics type DemoteRep FixityI = Fixity

Методы

fromSing :: forall (a :: FixityI). Sing a -> DemoteRep FixityI

SingI 'PrefixI

Начиная с: base-4.9.0.0

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

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

Методы

sing :: Sing 'PrefixI

(SingI a, KnownNat n) => SingI ('InfixI a n :: FixityI)

Начиная с: base-4.9.0.0

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

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

Методы

sing :: Sing ('InfixI a n)

type DemoteRep FixityI Исходный код

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

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

type DemoteRep FixityI = Fixity

data Sing (a :: FixityI) Исходный код

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

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

data Sing (a :: FixityI) where

SPrefix :: Sing 'PrefixI
SInfix :: forall (a1 :: Associativity) (n :: Nat). Sing a1 -> Integer -> Sing ('InfixI a1 n)

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

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

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

LeftAssociative
RightAssociative
NotAssociative

Экземпляры

Сведения об экземплярах

Eq Associativity Исходный код

Начиная с: base-4.6.0.0

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

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

Методы

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

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

Ord Associativity Исходный код

Начиная с: base-4.6.0.0

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

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

Методы

compare :: Associativity -> Associativity -> Ordering Исходный код

(<) :: Associativity -> Associativity -> Bool Исходный код

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

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

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

max :: Associativity -> Associativity -> Associativity Исходный код

min :: Associativity -> Associativity -> Associativity Исходный код

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

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bounded Associativity Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

minBound :: Associativity Исходный код

maxBound :: Associativity Исходный код

Enum Associativity Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

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

Generic Associativity Исходный код

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

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

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

type Rep Associativity

Начиная с: base-4.7.0.0

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

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

type Rep Associativity = D1 ('MetaData "Associativity" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "LeftAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotAssociative" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: Associativity -> Rep Associativity x Исходный код

to :: Rep Associativity x -> Associativity Исходный код

SingKind Associativity

Начиная с: base-4.0.0.0

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

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

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

type DemoteRep Associativity
Сведения об экземпляре Определено в GHC.Internal.Generics type DemoteRep Associativity = Associativity

Методы

fromSing :: forall (a :: Associativity). Sing a -> DemoteRep Associativity

Ix Associativity Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

Read Associativity Исходный код

Начиная с: base-4.6.0.0

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

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

Методы

readsPrec :: Int -> ReadS Associativity Исходный код

readList :: ReadS [Associativity] Исходный код

readPrec :: ReadPrec Associativity Исходный код

readListPrec :: ReadPrec [Associativity] Исходный код

Show Associativity Исходный код

Начиная с: base-4.6.0.0

Подробности экземпляра Определён в GHC.Internal.Generics Методы showsPrec :: Int -> Associativity -> ShowS Источник show :: Associativity -> String Источник showList :: [Associativity] -> ShowS Источник
SingI 'LeftAssociative	Начиная с: base-4.9.0.0
Подробности экземпляра Определён в GHC.Internal.Generics Методы sing :: Sing 'LeftAssociative
SingI 'NotAssociative	Начиная с: base-4.9.0.0
Подробности экземпляра Определён в GHC.Internal.Generics Методы sing :: Sing 'NotAssociative
SingI 'RightAssociative	Начиная с: base-4.9.0.0
Подробности экземпляра Определён в GHC.Internal.Generics Методы sing :: Sing 'RightAssociative
type DemoteRep Associativity Источник
Подробности экземпляра Определён в GHC.Internal.Generics type DemoteRep Associativity = Associativity
type Rep Associativity Источник	Начиная с: base-4.7.0.0
Подробности экземпляра Определён в GHC.Internal.Generics type Rep Associativity = D1 ('MetaData "Associativity" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "LeftAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RightAssociative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotAssociative" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: Associativity) Источник
Подробности экземпляра Определён в GHC.Internal.Generics data Sing (a :: Associativity) where SLeftAssociative :: Sing 'LeftAssociative SRightAssociative :: Sing 'RightAssociative SNotAssociative :: Sing 'NotAssociative

prec :: Fixity -> Int Источник

Получить приоритет значения Fixity.

data SourceUnpackedness Источник

Распаковка поля в том виде, в котором пользователь указал её в исходном коде. Например, в следующем типе данных:

data E = ExampleConstructor     Int
           {-# NOUNPACK #-} Int
           {-#   UNPACK #-} Int

Поля ExampleConstructor имеют соответственно NoSourceUnpackedness, SourceNoUnpack и SourceUnpack.

Начиная с: base-4.9.0.0

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

NoSourceUnpackedness
SourceNoUnpack
SourceUnpack

Экземпляры

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

Eq SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

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

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

Ord SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

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

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

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

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bounded SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

minBound :: SourceUnpackedness Исходный код

maxBound :: SourceUnpackedness Исходный код

Enum SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

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

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

Generic SourceUnpackedness Исходный код

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

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

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

type Rep SourceUnpackedness

Начиная с: base-4.9.0.0

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

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

type Rep SourceUnpackedness = D1 ('MetaData "SourceUnpackedness" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "NoSourceUnpackedness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceNoUnpack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: SourceUnpackedness -> Rep SourceUnpackedness x Исходный код

to :: Rep SourceUnpackedness x -> SourceUnpackedness Исходный код

SingKind SourceUnpackedness

Начиная с: base-4.9.0.0

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

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

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

type DemoteRep SourceUnpackedness
Подробности экземпляра Определён в GHC.Internal.Generics type DemoteRep SourceUnpackedness = SourceUnpackedness

Методы

fromSing :: forall (a :: SourceUnpackedness). Sing a -> DemoteRep SourceUnpackedness

Ix SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

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

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

Read SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

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

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

Методы

readsPrec :: Int -> ReadS SourceUnpackedness Исходный код

readList :: ReadS [SourceUnpackedness] Исходный код

readPrec :: ReadPrec SourceUnpackedness Исходный код

readListPrec :: ReadPrec [SourceUnpackedness] Исходный код

Show SourceUnpackedness Исходный код

Начиная с: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Int -> SourceUnpackedness -> ShowS Исходный код show :: SourceUnpackedness -> String Исходный код showList :: [SourceUnpackedness] -> ShowS Исходный код
SingI 'NoSourceUnpackedness	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы sing :: Sing 'NoSourceUnpackedness
SingI 'SourceNoUnpack	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы sing :: Sing 'SourceNoUnpack
SingI 'SourceUnpack	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы sing :: Sing 'SourceUnpack
type DemoteRep SourceUnpackedness Исходный код
Подробности экземпляра Определено в GHC.Internal.Generics type DemoteRep SourceUnpackedness = SourceUnpackedness
type Rep SourceUnpackedness Исходный код	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep SourceUnpackedness = D1 ('MetaData "SourceUnpackedness" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "NoSourceUnpackedness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceNoUnpack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: SourceUnpackedness) Исходный код
Подробности экземпляра Определено в GHC.Internal.Generics data Sing (a :: SourceUnpackedness) where SNoSourceUnpackedness :: Sing 'NoSourceUnpackedness SSourceNoUnpack :: Sing 'SourceNoUnpack SSourceUnpack :: Sing 'SourceUnpack

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

Строгость поля в том виде, в каком пользователь записал его в исходном коде. Например, в следующем типе данных:

data E = ExampleConstructor Int ~Int !Int

Поля ExampleConstructor имеют соответственно NoSourceStrictness, SourceLazy и SourceStrict.

Начиная с: base-4.9.0.0

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

NoSourceStrictness
SourceLazy
SourceStrict

Экземпляры

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

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

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

Начиная с: base-4.9.0.0

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

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

Методы

compare :: SourceStrictness -> SourceStrictness -> Ordering Исходный код

(<) :: SourceStrictness -> SourceStrictness -> Bool Исходный код

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

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

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

max :: SourceStrictness -> SourceStrictness -> SourceStrictness Исходный код

min :: SourceStrictness -> SourceStrictness -> SourceStrictness Исходный код

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

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Начиная с: base-4.9.0.0

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

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

Методы

minBound :: SourceStrictness Исходный код

maxBound :: SourceStrictness Исходный код

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

Начиная с: base-4.9.0.0

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

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

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

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

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

Ассоциированные типы

type Rep SourceStrictness

Начиная с: base-4.9.0.0

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

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

type Rep SourceStrictness = D1 ('MetaData "SourceStrictness" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "NoSourceStrictness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceStrict" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: SourceStrictness -> Rep SourceStrictness x Исходный код

to :: Rep SourceStrictness x -> SourceStrictness Исходный код

SingKind SourceStrictness

Начиная с: base-4.9.0.0

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

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

Ассоциированные типы

type DemoteRep SourceStrictness
Подробности экземпляра Определено в GHC.Internal.Generics type DemoteRep SourceStrictness = SourceStrictness

Методы

fromSing :: forall (a :: SourceStrictness). Sing a -> DemoteRep SourceStrictness

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

Начиная с: base-4.9.0.0

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

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

Методы

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

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

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

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

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

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

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

Начиная с: base-4.9.0.0

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

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

Методы

readsPrec :: Int -> ReadS SourceStrictness Исходный код

readList :: ReadS [SourceStrictness] Исходный код

readPrec :: ReadPrec SourceStrictness Исходный код

readListPrec :: ReadPrec [SourceStrictness] Исходный код

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

Начиная с: base-4.9.0.0

Сведения об экземпляре Определён в GHC.Internal.Generics Методы showsPrec :: Int -> SourceStrictness -> ShowS Источник show :: SourceStrictness -> String Источник showList :: [SourceStrictness] -> ShowS Источник
SingI 'NoSourceStrictness	Начиная с: base-4.9.0.0
Сведения об экземпляре Определён в GHC.Internal.Generics Методы sing :: Sing 'NoSourceStrictness
SingI 'SourceLazy	Начиная с: base-4.9.0.0
Сведения об экземпляре Определён в GHC.Internal.Generics Методы sing :: Sing 'SourceLazy
SingI 'SourceStrict	Начиная с: base-4.9.0.0
Сведения об экземпляре Определён в GHC.Internal.Generics Методы sing :: Sing 'SourceStrict
type DemoteRep SourceStrictness Источник
Сведения об экземпляре Определён в GHC.Internal.Generics type DemoteRep SourceStrictness = SourceStrictness
type Rep SourceStrictness Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определён в GHC.Internal.Generics type Rep SourceStrictness = D1 ('MetaData "SourceStrictness" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "NoSourceStrictness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceStrict" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: SourceStrictness) Источник
Сведения об экземпляре Определён в GHC.Internal.Generics data Sing (a :: SourceStrictness) where SNoSourceStrictness :: Sing 'NoSourceStrictness SSourceLazy :: Sing 'SourceLazy SSourceStrict :: Sing 'SourceStrict

data DecidedStrictness Источник

Строгость, которую GHC выводит для поля во время компиляции. Хотя существует девять различных сочетаний SourceUnpackedness и SourceStrictness, строгость, которую в итоге выбирает GHC, будет ленивой, строгой или распакованной. На выбор GHC влияют как записи пользователя в исходном коде, так и флаги GHC. В качестве примера рассмотрим этот тип данных:

data E = ExampleConstructor {-# UNPACK #-} !Int !Int Int

Если скомпилировать без оптимизации и других языковых расширений, поля ExampleConstructor будут иметь DecidedStrict, DecidedStrict и DecidedLazy соответственно.
Если скомпилировать с включённым -XStrictData, поля будут иметь DecidedStrict, DecidedStrict и DecidedStrict соответственно.
Если скомпилировать с включённым -O2, поля будут иметь DecidedUnpack, DecidedStrict и DecidedLazy соответственно.

Начиная с: base-4.9.0.0

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

DecidedLazy
DecidedStrict
DecidedUnpack

Экземпляры

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

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

С версии: base-4.9.0.0

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

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

Методы

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

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

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

С версии: base-4.9.0.0

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

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

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

С версии: base-4.9.0.0

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

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

Методы

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

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

toConstr :: DecidedStrictness -> Constr Исходный код

dataTypeOf :: DecidedStrictness -> DataType Исходный код

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecidedStrictness) Исходный код

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecidedStrictness) Исходный код

gmapT :: (forall b. Data b => b -> b) -> DecidedStrictness -> DecidedStrictness Исходный код

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r Исходный код

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r Исходный код

gmapQ :: (forall d. Data d => d -> u) -> DecidedStrictness -> [u] Исходный код

gmapQi :: Int -> (forall d. Data d => d -> u) -> DecidedStrictness -> u Исходный код

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Исходный код

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Исходный код

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness Исходный код

Bounded DecidedStrictness Исходный код

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Методы

minBound :: DecidedStrictness Исходный код

maxBound :: DecidedStrictness Исходный код

Enum DecidedStrictness Исходный код

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Generic DecidedStrictness Исходный код

Подробности экземпляра

Определено в GHC.Internal.Generics

Связанные типы

type Rep DecidedStrictness

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep DecidedStrictness = D1 ('MetaData "DecidedStrictness" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "DecidedLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DecidedStrict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecidedUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: DecidedStrictness -> Rep DecidedStrictness x Исходный код

to :: Rep DecidedStrictness x -> DecidedStrictness Исходный код

SingKind DecidedStrictness

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Связанные типы

type DemoteRep DecidedStrictness
Подробности экземпляра Определено в GHC.Internal.Generics type DemoteRep DecidedStrictness = DecidedStrictness

Методы

fromSing :: forall (a :: DecidedStrictness). Sing a -> DemoteRep DecidedStrictness

Ix DecidedStrictness Исходный код

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Read DecidedStrictness Исходный код

С версии: base-4.9.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

Методы

readsPrec :: Int -> ReadS DecidedStrictness Исходный код

readList :: ReadS [DecidedStrictness] Исходный код

readPrec :: ReadPrec DecidedStrictness Исходный код

readListPrec :: ReadPrec [DecidedStrictness] Исходный код

Show DecidedStrictness Исходный код

С версии: base-4.9.0.0

Сведения об экземпляре Определено в GHC.Internal.Generics Методы showsPrec :: Int -> DecidedStrictness -> ShowS Источник show :: DecidedStrictness -> String Источник showList :: [DecidedStrictness] -> ShowS Источник
SingI 'DecidedLazy	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы sing :: Sing 'DecidedLazy
SingI 'DecidedStrict	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы sing :: Sing 'DecidedStrict
SingI 'DecidedUnpack	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы sing :: Sing 'DecidedUnpack
type DemoteRep DecidedStrictness Источник
Сведения об экземпляре Определено в GHC.Internal.Generics type DemoteRep DecidedStrictness = DecidedStrictness
type Rep DecidedStrictness Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep DecidedStrictness = D1 ('MetaData "DecidedStrictness" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "DecidedLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DecidedStrict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecidedUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))
data Sing (a :: DecidedStrictness) Источник
Сведения об экземпляре Определено в GHC.Internal.Generics data Sing (a :: DecidedStrictness) where SDecidedLazy :: Sing 'DecidedLazy SDecidedStrict :: Sing 'DecidedStrict SDecidedUnpack :: Sing 'DecidedUnpack

data Meta Источник

Тип данных для представления метаданных, связанных с типом данных (MetaData), конструктором (MetaCons) или селектором поля (MetaSel).

В MetaData n m p nt значение n — это имя типа данных, m — модуль, в котором определён тип данных, p — пакет, в котором определён тип данных, а nt равно 'True, если тип данных является newtype.
В MetaCons n f s значение n — это имя конструктора, f — его фиксити, а s равно 'True, если конструктор содержит селекторы записей.
В MetaSel mn su ss ds, если поле использует синтаксис записей, то mn равно Just имени записи. В противном случае mn равно Nothing. su и ss — это аннотации распаковки и строгой вычисляемости поля, а ds — строгая вычисляемость, которую GHC выводит для поля.

Начиная с: base-4.9.0.0

Конструкторы

MetaData Symbol Symbol Symbol Bool
MetaCons Symbol FixityI Bool
MetaSel (Maybe Symbol) SourceUnpackedness SourceStrictness DecidedStrictness

Экземпляры

Сведения об экземплярах

(KnownSymbol n, SingI f, SingI r) => Constructor ('MetaCons n f r :: Meta) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы conName :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> [Char] Источник conFixity :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> Fixity Источник conIsRecord :: forall k1 t (f0 :: k1 -> Type) (a :: k1). t ('MetaCons n f r) f0 a -> Bool Источник
(KnownSymbol n, KnownSymbol m, KnownSymbol p, SingI nt) => Datatype ('MetaData n m p nt :: Meta) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Источник moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Источник packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Источник isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> Bool Источник
(SingI mn, SingI su, SingI ss, SingI ds) => Selector ('MetaSel mn su ss ds :: Meta) Источник	Начиная с: base-4.9.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics Методы selName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> [Char] Источник selSourceUnpackedness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceUnpackedness Источник selSourceStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceStrictness Источник selDecidedStrictness :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaSel mn su ss ds) f a -> DecidedStrictness Источник

Обобщённые классы типов

class Generic a where Источник

Представимые типы рода *. В GHC для этого класса можно автоматически выводить экземпляры, если включён флаг DeriveGeneric.

Экземпляр Generic должен удовлетворять следующим законам:

from . to ≡ id
to . from ≡ id

Связанные типы

type Rep a :: Type -> Type Источник

Тип обобщённого представления

Методы

from :: a -> Rep a x Источник

Преобразует тип данных в его представление

to :: Rep a x -> a Источник

Преобразует представление в тип данных

Методы

from :: DoTrace -> Rep DoTrace x Исходный код

to :: Rep DoTrace x -> DoTrace Исходный код

Generic GCFlags Исходный код

Подробное описание экземпляра

Определено в GHC.RTS.Flags

type Rep TickyFlags

type Rep ClosureType
Сведения об экземпляре Определено в GHC.Internal.ClosureTypes

type Rep ClosureType = D1 ('MetaData "ClosureType" "GHC.Internal.ClosureTypes" "ghc-internal" 'False) ((((((C1 ('MetaCons "INVALID_OBJECT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CONSTR_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR_0_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "CONSTR_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR_1_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CONSTR_0_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CONSTR_NOCAF" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "FUN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FUN_1_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FUN_0_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FUN_2_0" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "FUN_1_1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FUN_0_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FUN_STATIC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((C1 ('MetaCons "THUNK_1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK_0_1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "THUNK_2_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK_1_1" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "THUNK_0_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "THUNK_STATIC" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "THUNK_SELECTOR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BCO" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "AP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PAP" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AP_STACK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IND" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "IND_STATIC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RET_BCO" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RET_SMALL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RET_BIG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RET_FUN" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "UPDATE_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CATCH_FRAME" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UNDERFLOW_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STOP_FRAME" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "BLOCKING_QUEUE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BLACKHOLE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MVAR_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MVAR_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "TVAR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ARR_WORDS" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MUT_ARR_PTRS_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MUT_ARR_PTRS_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MUT_ARR_PTRS_FROZEN_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MUT_ARR_PTRS_FROZEN_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MUT_VAR_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MUT_VAR_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WEAK" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "PRIM" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MUT_PRIM" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TSO" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "STACK" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TREC_CHUNK" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ATOMICALLY_FRAME" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CATCH_RETRY_FRAME" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CATCH_STM_FRAME" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "WHITEHOLE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SMALL_MUT_ARR_PTRS_CLEAN" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SMALL_MUT_ARR_PTRS_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SMALL_MUT_ARR_PTRS_FROZEN_DIRTY" 'PrefixI 'False) (U1 :: Type -> Type)))

type Rep Version

Начиная с: base-4.9.0.0

Сведения об экземпляре

Определено в GHC.Internal.Data.Version

type Rep Version = D1 ('MetaData "Version" "GHC.Internal.Data.Version" "ghc-internal" 'False) (C1 ('MetaCons "Version" 'PrefixI 'True) (S1 ('MetaSel ('Just "versionBranch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int]) :*: S1 ('MetaSel ('Just "versionTags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String])))

Методы

from :: Version -> Rep Version x Исходный код

to :: Rep Version x -> Version Исходный код

Generic Fingerprint Исходный код

Сведения об экземпляре

Определено в GHC.Internal.Generics

Связанные типы

type Rep Fingerprint

type Rep CostCentre

Сведения об экземпляре

Определено в GHC.Internal.Heap.ProfInfo.Types

Методы

from :: CostCentre -> Rep CostCentre x Исходный код

to :: Rep CostCentre x -> CostCentre Исходный код

Generic CostCentreStack Исходный код

Сведения об экземпляре

Определено в GHC.Internal.Heap.ProfInfo.Types

Ассоциированные типы

type Rep CostCentreStack

Сведения об экземпляре

Определено в GHC.Internal.Heap.ProfInfo.Types

Методы

from :: CostCentreStack -> Rep CostCentreStack x Исходный код

to :: Rep CostCentreStack x -> CostCentreStack Исходный код

Generic IndexTable Исходный код

Подробности экземпляра

Определено в GHC.Internal.Heap.ProfInfo.Types

Связанные типы

type Rep IndexTable

Подробности экземпляра

Определено в GHC.Internal.Heap.ProfInfo.Types

type Rep IndexTable = D1 ('MetaData "IndexTable" "GHC.Internal.Heap.ProfInfo.Types" "ghc-internal" 'False) (C1 ('MetaCons "IndexTable" 'PrefixI 'True) ((S1 ('MetaSel ('Just "it_cc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostCentre) :*: S1 ('MetaSel ('Just "it_ccs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CostCentreStack))) :*: (S1 ('MetaSel ('Just "it_next") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IndexTable)) :*: S1 ('MetaSel ('Just "it_back_edge") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Методы

from :: IndexTable -> Rep IndexTable x Исходный код

to :: Rep IndexTable x -> IndexTable Исходный код

Generic StgTSOProfInfo Исходный код

Подробности экземпляра

Определено в GHC.Internal.Heap.ProfInfo.Types

Связанные типы

type Rep StgTSOProfInfo
Подробности экземпляра Определено в GHC.Internal.Heap.ProfInfo.Types type Rep StgTSOProfInfo = D1 ('MetaData "StgTSOProfInfo" "GHC.Internal.Heap.ProfInfo.Types" "ghc-internal" 'True) (C1 ('MetaCons "StgTSOProfInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "cccs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CostCentreStack))))

type Rep CCFlags = D1 ('MetaData "CCFlags" "GHC.Internal.RTS.Flags" "ghc-internal" 'False) (C1 ('MetaCons "CCFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "doCostCentres") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DoCostCentres) :*: (S1 ('MetaSel ('Just "profilerTicks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "msecsPerTick") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

Методы

from :: CCFlags -> Rep CCFlags x Источник

to :: Rep CCFlags x -> CCFlags Источник

Generic ConcFlags Источник

Сведения об экземпляре

Определено в GHC.Internal.RTS.Flags

Ассоциированные типы

type Rep ConcFlags

Начиная с: base-4.15.0.0

Сведения об экземпляре

Определено в GHC.Internal.RTS.Flags

type Rep ConcFlags = D1 ('MetaData "ConcFlags" "GHC.Internal.RTS.Flags" "ghc-internal" 'False) (C1 ('MetaCons "ConcFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctxtSwitchTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RtsTime) :*: S1 ('MetaSel ('Just "ctxtSwitchTicks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Методы

from :: ConcFlags -> Rep ConcFlags x Источник

to :: Rep ConcFlags x -> ConcFlags Источник

Generic DebugFlags Источник

Сведения об экземпляре

Определено в GHC.Internal.RTS.Flags

type Rep DoTrace	С версии: base-4.15.0.0
Сведения об экземпляре Определено в GHC.Internal.RTS.Flags type Rep DoTrace = D1 ('MetaData "DoTrace" "GHC.Internal.RTS.Flags" "ghc-internal" 'False) (C1 ('MetaCons "TraceNone" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TraceEventLog" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TraceStderr" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: DoTrace -> Rep DoTrace x Источник

to :: Rep DoTrace x -> DoTrace Источник

Generic GCFlags Источник

Сведения об экземпляре

Определено в GHC.Internal.RTS.Flags

type Rep TickyFlags

С версии: base-4.15.0.0

Сведения об экземпляре

Определено в GHC.Internal.RTS.Flags

type Rep TickyFlags = D1 ('MetaData "TickyFlags" "GHC.Internal.RTS.Flags" "ghc-internal" 'False) (C1 ('MetaCons "TickyFlags" 'PrefixI 'True) (S1 ('MetaSel ('Just "showTickyStats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "tickyFile") 'NoSourceUnpackedness 'NoSourceStrictness 'Rec0 (Maybe FilePath))))

Методы

from :: TickyFlags -> Rep TickyFlags x Исходный код

to :: Rep TickyFlags x -> TickyFlags Исходный код

Generic TraceFlags Исходный код

Сведения об экземпляре

Определено в GHC.Internal.RTS.Flags

type Rep BndrVis
Сведения об экземпляре Определено в GHC.Internal.TH.Syntax type Rep BndrVis = D1 ('MetaData "BndrVis" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "BndrReq" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BndrInvis" 'PrefixI 'False) (U1 :: Type -> Type))

from :: Con -> Rep Con x Исходный код

to :: Rep Con x -> Con Исходный код

Generic Dec Исходный код

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep Dec
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

Методы

from :: DocLoc -> Rep DocLoc x Источник

to :: Rep DocLoc x -> DocLoc Источник

Generic Exp Источник

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Ассоциированные типы

type Rep Exp
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

Методы

from :: Exp -> Rep Exp x Источник

to :: Rep Exp x -> Exp Источник

Generic FamilyResultSig Источник

Сведения об экземпляре

Определён в GHC.Internal.TH.Syntax

Связанные типы

type Rep FamilyResultSig

Сведения об экземпляре

Определён в GHC.Internal.TH.Syntax

type Rep FamilyResultSig = D1 ('MetaData "FamilyResultSig" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "NoSig" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KindSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)) :+: C1 ('MetaCons "TyVarSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyVarBndr ())))))

Методы

from :: FamilyResultSig -> Rep FamilyResultSig x Источник

to :: Rep FamilyResultSig x -> FamilyResultSig Источник

Generic Fixity Источник

Сведения об экземпляре

Определён в GHC.Internal.TH.Syntax

Связанные типы

type Rep Fixity

Сведения об экземпляре

Определён в GHC.Internal.TH.Syntax

type Rep Fixity = D1 ('MetaData "Fixity" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Fixity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FixityDirection)))

Методы

from :: Fixity -> Rep Fixity x Источник

to :: Rep Fixity x -> Fixity Источник

Generic FixityDirection Источник

Сведения об экземпляре

Определён в GHC.Internal.TH.Syntax

Связанные типы

type Rep FixityDirection
Сведения об экземпляре Определён в GHC.Internal.TH.Syntax type Rep FixityDirection = D1 ('MetaData "FixityDirection" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "InfixL" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InfixR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InfixN" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: FixityDirection -> Rep FixityDirection x Источник

to :: Rep FixityDirection x -> FixityDirection Источник

Generic Foreign Источник

Сведения об экземпляре

Определён в GHC.Internal.TH.Syntax

type Rep Info

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Методы

from :: Info -> Rep Info x Источник

to :: Rep Info x -> Info Источник

Generic InjectivityAnn Источник

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep InjectivityAnn

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

type Rep InjectivityAnn = D1 ('MetaData "InjectivityAnn" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "InjectivityAnn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])))

Методы

from :: InjectivityAnn -> Rep InjectivityAnn x Источник

to :: Rep InjectivityAnn x -> InjectivityAnn Источник

Generic Inline Источник

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Ассоциированные типы

type Rep Inline
Сведения об экземпляре Определено в GHC.Internal.TH.Syntax type Rep Inline = D1 ('MetaData "Inline" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "NoInline" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Inline" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Inlinable" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: Inline -> Rep Inline x Источник

to :: Rep Inline x -> Inline Источник

Generic Lit Источник

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

type Rep ModName
Сведения об экземпляре Определено в GHC.Internal.TH.Syntax type Rep ModName = D1 ('MetaData "ModName" "GHC.Internal.TH.Syntax" "ghc-internal" 'True) (C1 ('MetaCons "ModName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Методы

from :: ModName -> Rep ModName x Источник

to :: Rep ModName x -> ModName Источник

Generic Module Источник

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Ассоциированные типы

type Rep Module

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

type Rep Module = D1 ('MetaData "Module" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Module" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModName)))

Методы

from :: Module -> Rep Module x Источник

to :: Rep Module x -> Module Источник

Generic ModuleInfo Источник

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Ассоциированные типы

type Rep ModuleInfo
Сведения об экземпляре Определено в GHC.Internal.TH.Syntax type Rep ModuleInfo = D1 ('MetaData "ModuleInfo" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "ModuleInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Module])))

Методы

from :: NamespaceSpecifier -> Rep NamespaceSpecifier x Источник

to :: Rep NamespaceSpecifier x -> NamespaceSpecifier Источник

Generic OccName Источник

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep OccName
Подробности экземпляра Определено в GHC.Internal.TH.Syntax type Rep OccName = D1 ('MetaData "OccName" "GHC.Internal.TH.Syntax" "ghc-internal" 'True) (C1 ('MetaCons "OccName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Методы

from :: OccName -> Rep OccName x Источник

to :: Rep OccName x -> OccName Источник

Generic Overlap Источник

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep Overlap

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

type Rep Overlap = D1 ('MetaData "Overlap" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((C1 ('MetaCons "Overlappable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Overlapping" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Overlaps" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incoherent" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: Overlap -> Rep Overlap x Источник

to :: Rep Overlap x -> Overlap Источник

Generic Pat Источник

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep Pat
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

type Rep Phases = D1 ('MetaData "Phases" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "AllPhases" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FromPhase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "BeforePhase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))

Методы

from :: Phases -> Rep Phases x Источник

to :: Rep Phases x -> Phases Источник

Generic PkgName Источник

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep PkgName
Подробности экземпляра Определено в GHC.Internal.TH.Syntax type Rep PkgName = D1 ('MetaData "PkgName" "GHC.Internal.TH.Syntax" "ghc-internal" 'True) (C1 ('MetaCons "PkgName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

type Rep Role = D1 ('MetaData "Role" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((C1 ('MetaCons "NominalR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RepresentationalR" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PhantomR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InferR" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: Role -> Rep Role x Исходный код

to :: Rep Role x -> Role Исходный код

Generic RuleBndr Исходный код

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep RuleBndr

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

type Rep SourceStrictness

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

type Rep SourceStrictness = D1 ('MetaData "SourceStrictness" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "NoSourceStrictness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceLazy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceStrict" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: SourceStrictness -> Rep SourceStrictness x Исходный код

to :: Rep SourceStrictness x -> SourceStrictness Исходный код

Generic SourceUnpackedness Исходный код

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep SourceUnpackedness

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

type Rep SourceUnpackedness = D1 ('MetaData "SourceUnpackedness" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "NoSourceUnpackedness" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SourceNoUnpack" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceUnpack" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: SourceUnpackedness -> Rep SourceUnpackedness x Исходный код

to :: Rep SourceUnpackedness x -> SourceUnpackedness Исходный код

Generic Specificity Исходный код

Подробности экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep Specificity
Подробности экземпляра Определено в GHC.Internal.TH.Syntax type Rep Specificity = D1 ('MetaData "Specificity" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "SpecifiedSpec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InferredSpec" 'PrefixI 'False) (U1 :: Type -> Type))

Методы

from :: TySynEqn -> Rep TySynEqn x Source

to :: Rep TySynEqn x -> TySynEqn Source

Generic Type Source

Подробное описание экземпляра

Определено в GHC.Internal.TH.Syntax

Связанные типы

type Rep Type
Подробное описание экземпляра Определено в GHC.Internal.TH.Syntax

False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ListT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PromotedTupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))))) :+: ((C1 ('MetaCons "PromotedNilT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PromotedConsT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StarT" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ConstraintT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LitT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TyLit))) :+: (C1 ('MetaCons "WildCardT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImplicitParamT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))))))

Методы

from :: Type -> Rep Type x Источник

to :: Rep Type x -> Type Источник

Generic TypeFamilyHead Source

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

Ассоциированные типы

type Rep TypeFamilyHead

Сведения об экземпляре

Определено в GHC.Internal.TH.Syntax

type Rep TypeFamilyHead = D1 ('MetaData "TypeFamilyHead" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "TypeFamilyHead" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis])) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FamilyResultSig) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InjectivityAnn)))))

Методы

from :: TypeFamilyHead -> Rep TypeFamilyHead x Источник

to :: Rep TypeFamilyHead x -> TypeFamilyHead Источник

Generic Ordering Источник

Сведения об экземпляре

Определено в GHC.Internal.Generics

Ассоциированные типы

type Rep Ordering	Начиная с: base-4.6.0.0
Сведения об экземпляре Определено в GHC.Internal.Generics type Rep Ordering = D1 ('MetaData "Ordering" "GHC.Internal.Types" "ghc-internal" 'False) (C1 ('MetaCons "LT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EQ" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GT" 'PrefixI 'False) (U1 :: Type -> Type)))

Методы

from :: Ordering -> Rep Ordering x Источник

to :: Rep Ordering x -> Ordering Источник

Generic GeneralCategory Источник

Сведения об экземпляре

Определено в GHC.Internal.Generics

Связанные типы

type Rep GeneralCategory

Начиная с: base-4.15.0.0

Сведения об экземпляре

Определено в GHC.Internal.Generics

type Rep (Complex a)

Начиная с: base-4.9.0.0

Сведения об экземпляре

Определено в Data.Complex

type Rep (NonEmpty a)

Начиная с: base-4.6.0.0

Сведения об экземпляре

Определён в GHC.Internal.Generics

type Rep (GenStackField b)

Сведения об экземпляре

Определено в GHC.Internal.Heap.Closures

type Rep (GenStackField b) = D1 ('MetaData "GenStackField" "GHC.Internal.Heap.Closures" "ghc-internal" 'False) (C1 ('MetaCons "StackWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word)) :+: C1 ('MetaCons "StackBox" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b)))

Методы

from :: GenStackField b -> Rep (GenStackField b) x Исходный код

to :: Rep (GenStackField b) x -> GenStackField b Исходный код

Generic (GenStackFrame b) Исходный код

Подробности экземпляра

Определено в GHC.Internal.Heap.Closures

type Rep [a]

Начиная с: base-4.6.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep [a] = D1 ('MetaData "List" "GHC.Internal.Types" "ghc-internal" 'False) (C1 ('MetaCons "[]" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons ":" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))

Методы

from :: [a] -> Rep [a] x Источник

to :: Rep [a] x -> [a] Источник

Generic (WrappedMonad m a) Источник

Подробности экземпляра

Определено в Control.Applicative

Связанные типы

type Rep (WrappedMonad m a)	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в Control.Applicative type Rep (WrappedMonad m a) = D1 ('MetaData "WrappedMonad" "Control.Applicative" "base-4.22.0.0-66f8" 'True) (C1 ('MetaCons "WrapMonad" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapMonad") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (m a))))

Методы

from :: WrappedMonad m a -> Rep (WrappedMonad m a) x Источник

to :: Rep (WrappedMonad m a) x -> WrappedMonad m a Источник

Generic (Arg a b) Источник

Подробности экземпляра

Определено в Data.Semigroup

Связанные типы

type Rep (Arg a b)

Начиная с: base-4.9.0.0

Подробности экземпляра

Определено в Data.Semigroup

type Rep (Arg a b) = D1 ('MetaData "Arg" "Data.Semigroup" "base-4.22.0.0-66f8" 'False) (C1 ('MetaCons "Arg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

Методы

from :: Arg a b -> Rep (Arg a b) x Исходный код

to :: Rep (Arg a b) x -> Arg a b Исходный код

Generic (Either a b) Исходный код

Подробности экземпляра

Определено в GHC.Internal.Generics

Связанные типы

type Rep (Either a b)

Начиная с: base-4.6.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep (a, b)

Начиная с: base-4.6.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep (K1 i c p)	Начиная с: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (K1 i c p) = D1 ('MetaData "K1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

Методы

from :: K1 i c p -> Rep (K1 i c p) x Источник

to :: Rep (K1 i c p) x -> K1 i c p Источник

Generic (a, b, c, d) Источник

Подробности экземпляра

Определён в GHC.Internal.Generics

Ассоциированные типы

type Rep (a, b, c, d)

Since: base-4.6.0.0

Подробности экземпляра

Определён в GHC.Internal.Generics

Связанные типы

type Rep1 (f :: k -> Type) :: k -> Type Исходный код

Тип обобщённого представления

Методы

from1 :: forall (a :: k). f a -> Rep1 f a Исходный код

Преобразует значение типа данных в его представление

to1 :: forall (a :: k). Rep1 f a -> f a Исходный код

Преобразует представление в значение типа данных

Экземпляры

Подробности экземпляров

Generic1 Complex Источник

Подробности экземпляра

Определён в Data.Complex

Связанные типы

type Rep1 Complex

Начиная с: base-4.9.0.0

Подробности экземпляра

Определён в Data.Complex

type Rep1 NonEmpty

Начиная с: base-4.6.0.0

Подробности экземпляра

Определён в GHC.Internal.Generics

type Rep1 []

С версии: base-4.6.0.0

Подробности экземпляра

Определён в GHC.Internal.Generics

type Rep1 [] = D1 ('MetaData "List" "GHC.Internal.Types" "ghc-internal" 'False) (C1 ('MetaCons "[]" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons ":" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 [])))

Методы

from1 :: [a] -> Rep1 [] a Исходный код

to1 :: Rep1 [] a -> [a] Исходный код

Generic1 (WrappedMonad m :: Type -> Type) Исходный код

Подробности экземпляра

Определён в Control.Applicative

Ассоциированные типы

type Rep1 (WrappedMonad m :: Type -> Type)	С версии: base-4.7.0.0
Подробности экземпляра Определён в Control.Applicative type Rep1 (WrappedMonad m :: Type -> Type) = D1 ('MetaData "WrappedMonad" "Control.Applicative" "base-4.22.0.0-66f8" 'True) (C1 ('MetaCons "WrapMonad" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapMonad") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 m)))

type Rep1 ((,,) a b :: Type -> Type)

С версии: base-4.6.0.0

Сведения об экземпляре

Определено в GHC.Internal.Generics

type Rep1 (K1 i c :: k -> Type)	Начиная с: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (K1 i c :: k -> Type) = D1 ('MetaData "K1" "GHC.Internal.Generics" "ghc-internal" 'True) (C1 ('MetaCons "K1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unK1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)))

Методы

from1 :: forall (a :: k). K1 i c a -> Rep1 (K1 i c :: k -> Type) a Исходный код

to1 :: forall (a :: k). Rep1 (K1 i c :: k -> Type) a -> K1 i c a Исходный код

Generic1 ((,,,,) a b c d :: Type -> Type) Исходный код

Подробности экземпляра

Определено в GHC.Internal.Generics

Ассоциированные типы

type Rep1 ((,,,,) a b c d :: Type -> Type)

Начиная с: base-4.6.0.0

Подробности экземпляра

Определено в GHC.Internal.Generics

type Rep1 ((,,,,,) a b c d e :: Type -> Type)

Начиная с: base-4.6.0.0

Сведения об экземпляре

Определено в GHC.Internal.Generics

type Rep1 ((,,,,,) a b c d e :: Type -> Type) = D1 ('MetaData "Tuple6" "GHC.Internal.Tuple" "ghc-internal" 'False) (C1 ('MetaCons "(,,,,,)" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 d) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))))

Методы

from1 :: (a, b, c, d, e, a0) -> Rep1 ((,,,,,) a b c d e) a0 Исходный код

to1 :: Rep1 ((,,,,,) a b c d e) a0 -> (a, b, c, d, e, a0) Исходный код

Generic1 ((,,,,,,) a b c d e f :: Type -> Type) Исходный код

Сведения об экземпляре

Определено в GHC.Internal.Generics

Связанные типы

type Rep1 ((,,,,,,) a b c d e f :: Type -> Type)

type Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Type -> Type)

Начиная с: base-4.16.0.0

Подробное описание экземпляра

Определён в GHC.Internal.Generics

Методы

from1 :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, a0) -> Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) a0 Источник

to1 :: Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, a0) Источник

Обёртка Generic

newtype Generically a Источник

Тип данных, экземпляры которого определены обобщённо с использованием представления Generic. Generically1 — версия Generically с конструктором высшего рода, использующая Generic1.

Обобщённые экземпляры можно вывести с помощью Generically A, используя -XDerivingVia.

{-# LANGUAGE DeriveGeneric      #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DerivingVia        #-}

import GHC.Generics (Generic)

data V4 a = V4 a a a a
  deriving stock Generic

  deriving (Semigroup, Monoid)
  via Generically (V4 a)

Это соответствует экземплярам Semigroup и Monoid, определённым посредством поточечного подъёма:

instance Semigroup a => Semigroup (V4 a) where
  (<>) :: V4 a -> V4 a -> V4 a
  V4 a1 b1 c1 d1 <> V4 a2 b2 c2 d2 =
    V4 (a1 <> a2) (b1 <> b2) (c1 <> c2) (d1 <> d2)

instance Monoid a => Monoid (V4 a) where
  mempty :: V4 a
  mempty = V4 mempty mempty mempty mempty

Ранее для этого требовалось изменить класс типов, добавив определения обобщённых методов (-XDefaultSignatures), и вывести его с помощью стратегии anyclass (-XDeriveAnyClass). Наличие /типа-посредника/, такого как Generically, отделяет экземпляр от класса типов.

Начиная с: base-4.17.0.0

Конструкторы

Generically a

Экземпляры

Подробное описание экземпляров

(Generic a, Monoid (Rep a ())) => Monoid (Generically a) Источник	Начиная с: base-4.17.0.0
Подробное описание экземпляра Определён в GHC.Internal.Generics Методы mempty :: Generically a Источник mappend :: Generically a -> Generically a -> Generically a Источник mconcat :: [Generically a] -> Generically a Источник
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) Источник	Начиная с: base-4.17.0.0
Подробное описание экземпляра Определён в GHC.Internal.Generics Методы (<>) :: Generically a -> Generically a -> Generically a Источник sconcat :: NonEmpty (Generically a) -> Generically a Источник stimes :: Integral b => b -> Generically a -> Generically a Источник

newtype Generically1 (f :: k -> Type) (a :: k) where Источник

Тип, экземпляры которого определены обобщённо с использованием представления Generic1. Generically1 — версия Generically с конструктором высшего рода, использующая Generic.

Обобщённые экземпляры для конструкторов типов можно вывести с помощью Generically1 F, используя -XDerivingVia.

{-# LANGUAGE DeriveGeneric      #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DerivingVia        #-}

import GHC.Generics (Generic)

data V4 a = V4 a a a a
  deriving stock (Functor, Generic1)

  deriving Applicative
  via Generically1 V4

Это соответствует экземплярам Applicative, определённым посредством поточечного подъёма:

instance Applicative V4 where
  pure :: a -> V4 a
  pure a = V4 a a a a

  liftA2 :: (a -> b -> c) -> (V4 a -> V4 b -> V4 c)
  liftA2 (·) (V4 a1 b1 c1 d1) (V4 a2 b2 c2 d2) =
    V4 (a1 · a2) (b1 · b2) (c1 · c2) (d1 · d2)

Ранее для этого требовалось изменить класс типов, добавив определения обобщённых методов (-XDefaultSignatures), и вывести его с помощью стратегии anyclass (-XDeriveAnyClass). Наличие /типа-посредника/, такого как Generically1, отделяет экземпляр от класса типов.

Начиная с: base-4.17.0.0

Конструкторы

Generically1 :: forall {k} (f :: k -> Type) (a :: k). f a -> Generically1 f a

Экземпляры

Подробности экземпляров

(Generic1 f, Eq1 (Rep1 f)) => Eq1 (Generically1 f) Исходный код	Начиная с: base-4.17.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftEq :: (a -> b -> Bool) -> Generically1 f a -> Generically1 f b -> Bool Исходный код
(Generic1 f, Ord1 (Rep1 f)) => Ord1 (Generically1 f) Исходный код	Начиная с: base-4.17.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Ordering) -> Generically1 f a -> Generically1 f b -> Ordering Исходный код
(Generic1 f, Alternative (Rep1 f)) => Alternative (Generically1 f) Исходный код	Начиная с: base-4.17.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы empty :: Generically1 f a Исходный код (<\|>) :: Generically1 f a -> Generically1 f a -> Generically1 f a Исходный код some :: Generically1 f a -> Generically1 f [a] Исходный код many :: Generically1 f a -> Generically1 f [a] Исходный код
(Generic1 f, Applicative (Rep1 f)) => Applicative (Generically1 f) Исходный код	Начиная с: base-4.17.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы pure :: a -> Generically1 f a Исходный код (<>) :: Generically1 f (a -> b) -> Generically1 f a -> Generically1 f b Исходный код liftA2 :: (a -> b -> c) -> Generically1 f a -> Generically1 f b -> Generically1 f c Исходный код (>) :: Generically1 f a -> Generically1 f b -> Generically1 f b Исходный код (<*) :: Generically1 f a -> Generically1 f b -> Generically1 f a Исходный код
(Generic1 f, Functor (Rep1 f)) => Functor (Generically1 f) Исходный код	Начиная с: base-4.17.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> Generically1 f a -> Generically1 f b Исходный код (<$) :: a -> Generically1 f b -> Generically1 f a Исходный код
(Generic1 f, Eq (Rep1 f a)) => Eq (Generically1 f a) Исходный код	Начиная с: base-4.18.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: Generically1 f a -> Generically1 f a -> Bool Исходный код (/=) :: Generically1 f a -> Generically1 f a -> Bool Исходный код
(Generic1 f, Ord (Rep1 f a)) => Ord (Generically1 f a) Исходный код	Начиная с: base-4.18.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: Generically1 f a -> Generically1 f a -> Ordering Исходный код (<) :: Generically1 f a -> Generically1 f a -> Bool Исходный код (<=) :: Generically1 f a -> Generically1 f a -> Bool Исходный код (>) :: Generically1 f a -> Generically1 f a -> Bool Исходный код (>=) :: Generically1 f a -> Generically1 f a -> Bool Исходный код max :: Generically1 f a -> Generically1 f a -> Generically1 f a Исходный код min :: Generically1 f a -> Generically1 f a -> Generically1 f a Исходный код

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/base-4.22.0.0-66f8/GHC-Generics.html

GHC.Generics

Содержание

Описание

Введение

Представление типов данных

Производные и фундаментальные типы представления

Отдельные поля конструкторов: K1

Метаинформация: M1

Дополнительные конструкторы типов обобщённого представления

Пустые типы данных: V1

Конструкторы без полей: U1

Представление типов со множеством конструкторов или полей

Определение функций, обобщённых по типам данных

Определение типов обобщённого представления

Обобщённые экземпляры

Обёртка и обобщённый метод по умолчанию

Пропуск обобщённых экземпляров

Класс Generic1

Представление типов * -> *

Представление типов k -> *

Представление неприподнятых типов

Типы обобщённого представления

Экземпляры

Ассоциированные типы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Связанные типы

Методы

Методы

Методы

Конструкторы

Экземпляры

Связанные типы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Связанные типы

Методы

Методы

Методы

Конструкторы

Поля

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Отдельные поля конструкторов: `K1`

Метаинформация: `M1`

Пустые типы данных: `V1`

Конструкторы без полей: `U1`

Класс `Generic1`

Представление типов `* -> *`

Представление типов `k -> *`