GHC.Generics

Copyright	(с) Universiteit Utrecht 2010-2011 University of Oxford 2012-2014
License	см. libraries/base/LICENSE
Maintainer	libraries@haskell.org
Stability	internal
Portability	непортабельно
Safe Haskell	Safe
Language	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 в качестве нашего типа для битов.

Для части 1 мы определяем класс 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 мы используем следующий код (который требует пragma 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), нигде не упоминается явно по имени; и мы используем Rec1 для ссылки на рекурсивное использование Tree a.

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

В отличие от 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) Source

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

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

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

type Rep1 (V1 :: k -> Type)	Since: 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 Source

to1 :: forall (a :: k). Rep1 (V1 :: k -> Type) a -> V1 a Source

Foldable1 (V1 :: Type -> Type) Source

Since: base-4.18.0.0

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

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

Методы

fold1 :: Semigroup m => V1 m -> m Source

foldMap1 :: Semigroup m => (a -> m) -> V1 a -> m Source

foldMap1' :: Semigroup m => (a -> m) -> V1 a -> m Source

toNonEmpty :: V1 a -> NonEmpty a Source

maximum :: Ord a => V1 a -> a Source

minimum :: Ord a => V1 a -> a Source

head :: V1 a -> a Source

last :: V1 a -> a Source

foldrMap1 :: (a -> b) -> (a -> b -> b) -> V1 a -> b Source

foldlMap1' :: (a -> b) -> (b -> a -> b) -> V1 a -> b Source

foldlMap1 :: (a -> b) -> (b -> a -> b) -> V1 a -> b Source

foldrMap1' :: (a -> b) -> (a -> b -> b) -> V1 a -> b Source

Eq1 (V1 :: Type -> Type) Source

Since: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> V1 a -> V1 b -> Bool Source

Ord1 (V1 :: Type -> Type) Source

Since: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> V1 a -> V1 b -> Ordering Source

Read1 (V1 :: Type -> Type) Source

Since: 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 Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> V1 a -> ShowS Исходный код liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [V1 a] -> ShowS Исходный код
Contravariant (V1 :: Type -> Type) Исходный код
Подробности экземпляра Определено в Data.Functor.Contravariant Методы contramap :: (a' -> a) -> V1 a -> V1 a' Исходный код (>$) :: b -> V1 b -> V1 a Исходный код
Functor (V1 :: Type -> Type) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> V1 a -> V1 b Исходный код (<$) :: a -> V1 b -> V1 a Исходный код
Foldable (V1 :: Type -> Type) Исходный код	С момента: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы 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 :: Тип -> Тип) Исходный код	С момента: 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) Исходный код
Полугруппа (V1 p) Исходный код	С момента: base-4.12.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (<>) :: V1 p -> V1 p -> V1 p Исходный код sconcat :: Непустой список (V1 p) -> V1 p Исходный код stimes :: Целочисленный b => b -> V1 p -> V1 p Исходный код
Данные p => Данные (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) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Int -> V1 p -> ShowS Source show :: V1 p -> Строка Source showList :: [V1 p] -> ShowS Source
Eq (V1 p) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: V1 p -> V1 p -> Булево Source (/=) :: V1 p -> V1 p -> Булево Source
Ord (V1 p) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: V1 p -> V1 p -> Порядок Source (<) :: V1 p -> V1 p -> Булево Source (<=) :: V1 p -> V1 p -> Булево Source (>) :: V1 p -> V1 p -> Булево Source (>=) :: V1 p -> V1 p -> Булево Source max :: V1 p -> V1 p -> V1 p Source min :: V1 p -> V1 p -> V1 p Source
type Rep1 (V1 :: k -> Тип) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (V1 :: k -> Тип) = D1 ('MetaData "V1" "GHC.Internal.Generics" "ghc-internal" 'False) (V1 :: k -> Тип)
type Rep (V1 p) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (V1 p) = D1 ('MetaData "V1" "GHC.Internal.Generics" "ghc-internal" 'False) (V1 :: Тип -> Тип)

data U1 (p :: k) Source

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

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

Экземпляры

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

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 :: Тип -> Тип) Исходный код	С момента выпуска: 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 :: Тип -> Тип) Исходный код	С момента выпуска: 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 :: Тип -> Тип) Исходный код	С момента выпуска: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> U1 a -> U1 b Исходный код (<$) :: a -> U1 b -> U1 a Исходный код
Monad (U1 :: Тип -> Тип) Исходный код	С момента выпуска: 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 :: Тип -> Тип) Исходный код	С момента выпуска: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы mzero :: U1 a Исходный код mplus :: U1 a -> U1 a -> U1 a Исходный код
MonadZip (U1 :: Тип -> Тип) Исходный код	С момента выпуска: ghc-internal-4.9.0.0

Instance details Defined in GHC.Internal.Control.Monad.Zip Краткое описание методов mzip :: U1 a -> U1 b -> U1 (a, b) Source mzipWith :: (a -> b -> c) -> U1 a -> U1 b -> U1 c Source munzip :: U1 (a, b) -> (U1 a, U1 b) Source
Foldable (U1 :: Type -> Type) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Foldable Краткое описание методов fold :: Monoid m => U1 m -> m Source foldMap :: Monoid m => (a -> m) -> U1 a -> m Source foldMap' :: Monoid m => (a -> m) -> U1 a -> m Source foldr :: (a -> b -> b) -> b -> U1 a -> b Source foldr' :: (a -> b -> b) -> b -> U1 a -> b Source foldl :: (b -> a -> b) -> b -> U1 a -> b Source foldl' :: (b -> a -> b) -> b -> U1 a -> b Source foldr1 :: (a -> a -> a) -> U1 a -> a Source foldl1 :: (a -> a -> a) -> U1 a -> a Source toList :: U1 a -> [a] Source null :: U1 a -> Bool Source length :: U1 a -> Int Source elem :: Eq a => a -> U1 a -> Bool Source maximum :: Ord a => U1 a -> a Source minimum :: Ord a => U1 a -> a Source sum :: Num a => U1 a -> a Source product :: Num a => U1 a -> a Source
Traversable (U1 :: Type -> Type) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Traversable Краткое описание методов traverse :: Applicative f => (a -> f b) -> U1 a -> f (U1 b) Source sequenceA :: Applicative f => U1 (f a) -> f (U1 a) Source mapM :: Monad m => (a -> m b) -> U1 a -> m (U1 b) Source sequence :: Monad m => U1 (m a) -> m (U1 a) Source
Monoid (U1 p) Source	Since: 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) Источник	Since: 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 Источник
Data p => Data (U1 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) -> 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 Источник

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

type Rep1 (U1 :: k -> Тип) Источник	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (U1 :: k -> Тип) = D1 ('MetaData "U1" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "U1" 'PrefixI 'False) (U1 :: k -> Тип))
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 :: Тип -> Тип))

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 Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Generics Методы pure :: a -> Par1 a Source (<>) :: Par1 (a -> b) -> Par1 a -> Par1 b Source liftA2 :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c Source (>) :: Par1 a -> Par1 b -> Par1 b Source (<*) :: Par1 a -> Par1 b -> Par1 a Source
Functor Par1 Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> Par1 a -> Par1 b Source (<$) :: a -> Par1 b -> Par1 a Source
Monad Par1 Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Generics Методы (>>=) :: Par1 a -> (a -> Par1 b) -> Par1 b Source (>>) :: Par1 a -> Par1 b -> Par1 b Source return :: a -> Par1 a Source
MonadFix Par1 Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Control.Monad.Fix Методы mfix :: (a -> Par1 a) -> Par1 a Source
MonadZip Par1 Source	Since: ghc-internal-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Control.Monad.Zip Методы mzip :: Par1 a -> Par1 b -> Par1 (a, b) Source mzipWith :: (a -> b -> c) -> Par1 a -> Par1 b -> Par1 c Source munzip :: Par1 (a, b) -> (Par1 a, Par1 b) Source
Foldable Par1 Source	Since: 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))

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 :: Целое число -> 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 :: Целое число -> Par1 p -> ShowS Исходный код show :: Par1 p -> Строка Исходный код showList :: [Par1 p] -> ShowS Исходный код
Eq p => Eq (Par1 p) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: Par1 p -> Par1 p -> Булево Исходный код (/=) :: Par1 p -> Par1 p -> Булево Исходный код
Ord p => Ord (Par1 p) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: Par1 p -> Par1 p -> Порядок Исходный код (<) :: Par1 p -> Par1 p -> Булево Исходный код (<=) :: Par1 p -> Par1 p -> Булево Исходный код (>) :: Par1 p -> Par1 p -> Булево Исходный код (>=) :: Par1 p -> Par1 p -> Булево Исходный код max :: Par1 p -> Par1 p -> Par1 p Исходный код min :: Par1 p -> Par1 p -> Par1 p Исходный код
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) Source

Рекурсивные вызовы типа * -> * (или типа 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) Исходный код	С момента: 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) Исходный код	С момента: 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) Исходный код	С момента: 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 Исходный код
(Data (f p), Typeable f, Data p) => Data (Rec1 f p) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rec1 f p -> c (Rec1 f p) Исходный код gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Rec1 f p) Исходный код toConstr :: Rec1 f p -> Constr Исходный код dataTypeOf :: Rec1 f p -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Rec1 f p)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Rec1 f p)) Исходный код gmapT :: (forall b. Data b => b -> b) -> Rec1 f p -> Rec1 f p Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rec1 f p -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rec1 f p -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> Rec1 f p -> [u] Исходный код gmapQi :: Int -> (forall d. Data d => d -> u) -> Rec1 f p -> u Исходный код gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rec1 f p -> m (Rec1 f p) Исходный код gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rec1 f p -> m (Rec1 f p) Исходный код gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rec1 f p -> m (Rec1 f p) Исходный код
Generic (Rec1 f p) Исходный код

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

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

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

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))))

Методы

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

С момента: 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) Источник

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

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

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

Методы

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

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

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

Eq (f p) => Eq (Rec1 f p) Источник

С момента: 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) Источник

С момента: 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 Источник
type Rep1 (Rec1 f :: k -> Тип) Источник	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (Rec1 f :: k -> Тип) = 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) Source

Instance details

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

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

type Rep1 (K1 i c :: k -> Type)	Since: base-4.9.0.0
Instance details Определено в 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 Source

to1 :: forall (a :: k). Rep1 (K1 i c :: k -> Type) a -> K1 i c a Source

Bifoldable (K1 i :: Type -> Type -> Type) Source

Since: base-4.10.0.0

Instance details

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

Методы

bifold :: Monoid m => K1 i m m -> m Source

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> K1 i a b -> m Source

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> K1 i a b -> c Source

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> K1 i a b -> c Source

Bifunctor (K1 i :: Type -> Type -> Type) Source

Since: base-4.9.0.0

Instance details

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

Методы

bimap :: (a -> b) -> (c -> d) -> K1 i a c -> K1 i b d Source

first :: (a -> b) -> K1 i a c -> K1 i b c Source

second :: (b -> c) -> K1 i a b -> K1 i a c Source

Bitraversable (K1 i :: Type -> Type -> Type) Source

Since: base-4.10.0.0

Instance details

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

Методы

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> K1 i a b -> f (K1 i c d) Source

Eq c => Eq1 (K1 i c :: Type -> Type) Source

Since: base-4.21.0.0

Instance details

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

Методы

liftEq :: (a -> b -> Bool) -> K1 i c a -> K1 i c b -> Bool Source

Ord c => Ord1 (K1 i c :: Type -> Type) Source

Since: base-4.21.0.0

Instance details

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

Методы

liftCompare :: (a -> b -> Ordering) -> K1 i c a -> K1 i c b -> Ordering Source

Read c => Read1 (K1 i c :: Type -> Type) Source	Since: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (K1 i c a) Source liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [K1 i c a] Source liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (K1 i c a) Source liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [K1 i c a] Source
Show c => Show1 (K1 i c :: Type -> Type) Source	Since: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> K1 i c a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [K1 i c a] -> ShowS Source
Contravariant (K1 i c :: Type -> Type) Source
Подробности экземпляра Определено в Data.Functor.Contravariant Методы contramap :: (a' -> a) -> K1 i c a -> K1 i c a' Source (>$) :: b -> K1 i c b -> K1 i c a Source
Monoid c => Applicative (K1 i c :: Type -> Type) Source	Since: base-4.12.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы pure :: a -> K1 i c a Source (<>) :: K1 i c (a -> b) -> K1 i c a -> K1 i c b Source liftA2 :: (a -> b -> c0) -> K1 i c a -> K1 i c b -> K1 i c c0 Source (>) :: K1 i c a -> K1 i c b -> K1 i c b Source (<*) :: K1 i c a -> K1 i c b -> K1 i c a Source
Functor (K1 i c :: Type -> Type) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы fmap :: (a -> b) -> K1 i c a -> K1 i c b Source (<$) :: a -> K1 i c b -> K1 i c a Source
Foldable (K1 i c :: Type -> Type) Source	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 -> Boolean Исходный код length :: K1 i c a -> Число Исходный код elem :: Eq a => a -> K1 i c a -> Boolean Исходный код 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 :: Тип -> Тип) Исходный код	С момента: 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 Исходный код
(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 Исходный код

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 -> K1 i c p Исходный код min :: K1 i c p -> K1 i c p -> K1 i c p Исходный код
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 Исходный код
(Data p, Data (f p), Typeable c, Typeable i, Typeable f) => Data (M1 i c f p) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c0 (d -> b) -> d -> c0 b) -> (forall g. g -> c0 g) -> M1 i c f p -> c0 (M1 i c f p) Исходный код gunfold :: (forall b r. Data b => c0 (b -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (M1 i c f p) Исходный код toConstr :: M1 i c f p -> Constr Исходный код dataTypeOf :: M1 i c f p -> DataType Исходный код dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Может (c0 (M1 i c f p)) Исходный код dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Может (c0 (M1 i c f p)) Исходный код gmapT :: (forall b. Data b => b -> b) -> M1 i c f p -> M1 i c f p Исходный код gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> M1 i c f p -> r Исходный код gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> M1 i c f p -> r Исходный код gmapQ :: (forall d. Data d => d -> u) -> M1 i c f p -> [u] Исходный код gmapQi :: Целое -> (forall d. Data d => d -> u) -> M1 i c f p -> u Исходный код gmapM :: Моноид m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код gmapMp :: Моноид с объединением m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код gmapMo :: Моноид с объединением m => (forall d. Data d => d -> m d) -> M1 i c f p -> m (M1 i c f p) Исходный код
Обобщённый (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 Источник

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

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

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

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

type Rep1 (f :+: g :: k -> Тип)

С версии: base-4.9.0.0

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

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

type Rep1 (f :+: g :: k -> Тип) = D1 ('MetaData ":+:" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "L1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)) :+: C1 ('MetaCons "R1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) '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 Исходный код

Подробности экземпляра Определено в Data.Functor.Classes Методы liftCompare :: (a -> b -> Порядок) -> (f :+: g) a -> (f :+: g) b -> Порядок Исходный код
(Read1 f, Read1 g) => Read1 (f :+: g) Исходный код	С момента: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftReadsPrec :: (Целое -> ReadS a) -> ReadS [a] -> Целое -> ReadS ((f :+: g) a) Исходный код liftReadList :: (Целое -> 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 :: (Целое -> a -> ShowS) -> ([a] -> ShowS) -> Целое -> (f :+: g) a -> ShowS Исходный код liftShowList :: (Целое -> 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 Исходный код
(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) Исходный код
(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 Исходный код
(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 Исходный код
type Rep1 (f :+: g :: k -> Тип) Исходный код	С версии: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Generics тип Rep1 (f :+: g :: k -> Тип) = D1 ('MetaData ":+:" "GHC.Internal.Generics" "ghc-internal" 'Ложь) (C1 ('MetaCons "L1" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f)) :+: C1 ('MetaCons "R1" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 g)))
тип Rep ((f :+: g) p) Исходный код	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Generics тип Rep ((f :+: g) p) = D1 ('MetaData ":+:" "GHC.Internal.Generics" "ghc-internal" 'Ложь) (C1 ('MetaCons "L1" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p))) :+: C1 ('MetaCons "R1" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))

данные ((f :: k -> Тип) :*: (g :: k -> Тип)) (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 -> Порядок) -> (f :: g) a -> (f :: g) b -> Порядок Исходный код
(Read1 f, Read1 g) => Read1 (f :*: g) Исходный код	С момента: base-4.21.0.0
Подробности экземпляра Определено в Data.Functor.Classes Методы liftReadsPrec :: (Целое -> ReadS a) -> ReadS [a] -> Целое -> ReadS ((f :: g) a) Исходный код liftReadList :: (Целое -> 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 :: (Целое -> a -> ShowS) -> ([a] -> ShowS) -> Целое -> (f :: g) a -> ShowS Исходный код liftShowList :: (Целое -> 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 Источник
(Монад f, Монад g) => Монад (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 Источник
(МонадПлюс f, МонадПлюс g) => МонадПлюс (f :*: g) Источник	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы mzero :: (f :: g) a Источник mplus :: (f :: g) a -> (f :: g) a -> (f :: g) a Источник
(МонадФикс f, МонадФикс g) => МонадФикс (f :*: g) Источник	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Control.Monad.Fix Методы mfix :: (a -> (f :: g) a) -> (f :: g) a Источник
(МонадЗип f, МонадЗип g) => МонадЗип (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) Source	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Monoid m => (f :: g) m -> m Source foldMap :: Monoid m => (a -> m) -> (f :: g) a -> m Source foldMap' :: Monoid m => (a -> m) -> (f :: g) a -> m Source foldr :: (a -> b -> b) -> b -> (f :: g) a -> b Source foldr' :: (a -> b -> b) -> b -> (f :: g) a -> b Source foldl :: (b -> a -> b) -> b -> (f :: g) a -> b Source foldl' :: (b -> a -> b) -> b -> (f :: g) a -> b Source foldr1 :: (a -> a -> a) -> (f :: g) a -> a Source foldl1 :: (a -> a -> a) -> (f :: g) a -> a Source toList :: (f :: g) a -> [a] Source null :: (f :: g) a -> Bool Source length :: (f :: g) a -> Int Source elem :: Eq a => a -> (f :: g) a -> Bool Source maximum :: Ord a => (f :: g) a -> a Source minimum :: Ord a => (f :: g) a -> a Source sum :: Num a => (f :: g) a -> a Source product :: Num a => (f :*: g) a -> a Source
(Traversable f, Traversable g) => Traversable (f :*: g) Source	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f0 => (a -> f0 b) -> (f :: g) a -> f0 ((f :: g) b) Source sequenceA :: Applicative f0 => (f :: g) (f0 a) -> f0 ((f :: g) a) Source mapM :: Monad m => (a -> m b) -> (f :: g) a -> m ((f :: g) b) Source sequence :: Monad m => (f :: g) (m a) -> m ((f :: g) a) Source
(Monoid (f p), Monoid (g p)) => Monoid ((f :*: g) p) Source	С момента: base-4.12.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы mempty :: (f :: g) p Source mappend :: (f :: g) p -> (f :: g) p -> (f :: g) p Source mconcat :: [(f :: g) p] -> (f :: g) p Source

(Semigroup (f p), Semigroup (g p)) => Semigroup ((f :*: g) p) Source	Since: base-4.12.0.0
Instance details Defined in GHC.Internal.Generics Methods (<>) :: (f :: g) p -> (f :: g) p -> (f :: g) p Source sconcat :: NonEmpty ((f :: g) p) -> (f :: g) p Source stimes :: Integral b => b -> (f :: g) p -> (f :*: g) p Source
(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :*: g) p) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g0. g0 -> c g0) -> (f :: g) p -> c ((f :: g) p) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :: g) p) Source toConstr :: (f :: g) p -> Constr Source dataTypeOf :: (f :: g) p -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :: g) p)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :: g) p)) Source gmapT :: (forall b. Data b => b -> b) -> (f :: g) p -> (f :: g) p Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :: g) p -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :: g) p -> r Source gmapQ :: (forall d. Data d => d -> u) -> (f :: g) p -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :: g) p -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :: g) p) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :: g) p) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :: g) p -> m ((f :*: g) p) Source
Generic ((f :*: g) p) Source

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

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

(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 Исходный код
type Rep1 (f :*: g :: k -> Тип) Исходный код	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (f :: g :: k -> Тип) = D1 ('MetaData "::" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "::" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 f) :: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (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" 'False) (C1 ('MetaCons "::" ('InfixI 'RightAssociative 6) 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (f p)) :: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (g p))))

newtype ((f :: k2 -> Тип) :.: (g :: k1 -> k2)) (p :: k1) infixr 7 Исходный код

Составление функторов

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

Comp1
Поля unComp1 :: f (g p)

Экземпляры

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

Functor f => Generic1 (f :.: g :: k -> Type) Source

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

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

to1 :: forall (a :: k). Rep1 (f :.: g) a -> (f :.: g) a Source

(Foldable1 f, Foldable1 g) => Foldable1 (f :.: g) Source

С версии: base-4.18.0.0

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

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

Методы

fold1 :: Semigroup m => (f :.: g) m -> m Source

foldMap1 :: Semigroup m => (a -> m) -> (f :.: g) a -> m Source

foldMap1' :: Semigroup m => (a -> m) -> (f :.: g) a -> m Source

toNonEmpty :: (f :.: g) a -> NonEmpty a Source

maximum :: Ord a => (f :.: g) a -> a Source

minimum :: Ord a => (f :.: g) a -> a Source

head :: (f :.: g) a -> a Source

last :: (f :.: g) a -> a Source

foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b Source

foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b Source

foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b Source

foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b Source

(Eq1 f, Eq1 g) => Eq1 (f :.: g) Source

С версии: base-4.21.0.0

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

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

Методы

liftEq :: (a -> b -> Bool) -> (f :.: g) a -> (f :.: g) b -> Bool Source

(Ord1 f, Ord1 g) => Ord1 (f :.: g) Source

С версии: base-4.21.0.0

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

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

Методы

liftCompare :: (a -> b -> Ordering) -> (f :.: g) a -> (f :.: g) b -> Ordering Source

(Read1 f, Read1 g) => Read1 (f :.: g) Source

С версии: 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) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics Методы fmap :: (a -> b) -> (f :.: g) a -> (f :.: g) b Source (<$) :: a -> (f :.: g) b -> (f :.: g) a Source
(Foldable f, Foldable g) => Foldable (f :.: g) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Foldable Методы fold :: Monoid m => (f :.: g) m -> m Source foldMap :: Monoid m => (a -> m) -> (f :.: g) a -> m Source foldMap' :: Monoid m => (a -> m) -> (f :.: g) a -> m Source foldr :: (a -> b -> b) -> b -> (f :.: g) a -> b Source foldr' :: (a -> b -> b) -> b -> (f :.: g) a -> b Source foldl :: (b -> a -> b) -> b -> (f :.: g) a -> b Source foldl' :: (b -> a -> b) -> b -> (f :.: g) a -> b Source foldr1 :: (a -> a -> a) -> (f :.: g) a -> a Source foldl1 :: (a -> a -> a) -> (f :.: g) a -> a Source toList :: (f :.: g) a -> [a] Source null :: (f :.: g) a -> Bool Source length :: (f :.: g) a -> Int Source elem :: Eq a => a -> (f :.: g) a -> Bool Source maximum :: Ord a => (f :.: g) a -> a Source minimum :: Ord a => (f :.: g) a -> a Source sum :: Num a => (f :.: g) a -> a Source product :: Num a => (f :.: g) a -> a Source
(Traversable f, Traversable g) => Traversable (f :.: g) Source	Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Data.Traversable Методы traverse :: Applicative f0 => (a -> f0 b) -> (f :.: g) a -> f0 ((f :.: g) b) Source sequenceA :: Applicative f0 => (f :.: g) (f0 a) -> f0 ((f :.: g) a) Source mapM :: Monad m => (a -> m b) -> (f :.: g) a -> m ((f :.: g) b) Source sequence :: Monad m => (f :.: g) (m a) -> m ((f :.: g) a) Source
Monoid (f (g p)) => Monoid ((f :.: g) p) Source	Since: base-4.12.0.0

Instance details Определено в GHC.Internal.Generics Краткое описание методов mempty :: (f :.: g) p Source mappend :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Source mconcat :: [(f :.: g) p] -> (f :.: g) p Source
Semigroup (f (g p)) => Semigroup ((f :.: g) p) Source	Since: base-4.12.0.0
Instance details Определено в GHC.Internal.Generics Краткое описание методов (<>) :: (f :.: g) p -> (f :.: g) p -> (f :.: g) p Source sconcat :: NonEmpty ((f :.: g) p) -> (f :.: g) p Source stimes :: Integral b => b -> (f :.: g) p -> (f :.: g) p Source
(Typeable f, Typeable g, Data p, Data (f (g p))) => Data ((f :.: g) p) Source	Since: base-4.9.0.0
Instance details Определено в 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) Source gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((f :.: g) p) Source toConstr :: (f :.: g) p -> Constr Source dataTypeOf :: (f :.: g) p -> DataType Source dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ((f :.: g) p)) Source dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ((f :.: g) p)) Source gmapT :: (forall b. Data b => b -> b) -> (f :.: g) p -> (f :.: g) p Source gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (f :.: g) p -> r Source gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (f :.: g) p -> r Source gmapQ :: (forall d. Data d => d -> u) -> (f :.: g) p -> [u] Source gmapQi :: Int -> (forall d. Data d => d -> u) -> (f :.: g) p -> u Source gmapM :: Monad m => (forall d. Data d => d -> m d) -> (f :.: g) p -> m ((f :.: g) p) Source gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :.: g) p -> m ((f :.: g) p) Source gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (f :.: g) p -> m ((f :.: g) p) Source
Generic ((f :.: g) p) Source

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

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

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 Источник
type Rep1 (f :.: g :: k -> Тип) Источник	С версии: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (f :.: g :: k -> Тип) = 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 (Указатель ()) :: k -> Тип) Исходный код

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

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

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

type Rep1 (URec (Указатель ()) :: k -> Тип)	С момента: base-4.9.0.0
Подробности реализации Определено в GHC.Internal.Generics type Rep1 (URec (Указатель ()) :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UAddr" 'PrefixI 'True) (S1 ('MetaSel ('Just "uAddr#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UAddr :: k -> Тип)))

Методы

from1 :: forall (a :: k). URec (Указатель ()) a -> Rep1 (URec (Указатель ()) :: k -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (URec (Указатель ()) :: k -> Тип) a -> URec (Указатель ()) a Исходный код

Generic1 (URec Символ :: k -> Тип) Исходный код

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

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

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

type Rep1 (URec Символ :: k -> Тип)	С момента: base-4.9.0.0
Подробности реализации Определено в GHC.Internal.Generics type Rep1 (URec Символ :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UChar" 'PrefixI 'True) (S1 ('MetaSel ('Just "uChar#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UChar :: k -> Тип)))

Методы

from1 :: forall (a :: k). URec Символ a -> Rep1 (URec Символ :: k -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Символ :: k -> Тип) a -> URec Символ a Исходный код

Generic1 (URec Двойное :: k -> Тип) Исходный код

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

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

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

type Rep1 (URec Double :: k -> Тип)	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Double :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "uDouble#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UDouble :: k -> Тип)))

Методы

from1 :: forall (a :: k). URec Double a -> Rep1 (URec Double :: k -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Double :: k -> Тип) a -> URec Double a Исходный код

Generic1 (URec Float :: k -> Тип) Исходный код

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

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

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

type Rep1 (URec Float :: k -> Тип)	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Float :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Тип)))

Методы

from1 :: forall (a :: k). URec Float a -> Rep1 (URec Float :: k -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Float :: k -> Тип) a -> URec Float a Исходный код

Generic1 (URec Int :: k -> Тип) Исходный код

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

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

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

type Rep1 (URec Int :: k -> Тип)	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Int :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Тип)))

Методы

from1 :: forall (a :: k). URec Int a -> Rep1 (URec Int :: k -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Int :: k -> Тип) a -> URec Int a Исходный код

Generic1 (URec Word :: k -> Тип) Исходный код

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

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

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

type Rep1 (URec Word :: k -> Тип)	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (URec Word :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Тип)))

Методы

from1 :: forall (a :: k). URec Word a -> Rep1 (URec Word :: k -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (URec Word :: k -> Тип) a -> URec Word a Исходный код

Eq1 (UAddr :: Тип -> Тип) Исходный код

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

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

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

Методы

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

Eq1 (UChar :: Тип -> Тип) Исходный код

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

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

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

Методы

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

Eq1 (UDouble :: Тип -> Тип) Исходный код

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

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

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

Методы

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

Eq1 (UFloat :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool) -> UFloat a -> UFloat b -> Bool Source
Eq1 (UInt :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool) -> UInt a -> UInt b -> Bool Source
Eq1 (UWord :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool) -> UWord a -> UWord b -> Bool Source
Ord1 (UAddr :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> UAddr a -> UAddr b -> Ordering Source
Ord1 (UChar :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> UChar a -> UChar b -> Ordering Source
Ord1 (UDouble :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> UDouble a -> UDouble b -> Ordering Source
Ord1 (UFloat :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> UFloat a -> UFloat b -> Ordering Source
Ord1 (UInt :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> UInt a -> UInt b -> Ordering Source
Ord1 (UWord :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> UWord a -> UWord b -> Ordering Source

Show1 (UAddr :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UAddr a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UAddr a] -> ShowS Source
Show1 (UChar :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UChar a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UChar a] -> ShowS Source
Show1 (UDouble :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UDouble a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UDouble a] -> ShowS Source
Show1 (UFloat :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UFloat a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UFloat a] -> ShowS Source
Show1 (UInt :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UInt a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UInt a] -> ShowS Source
Show1 (UWord :: Type -> Type) Source	Since: base-4.21.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> UWord a -> ShowS Source liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [UWord a] -> ShowS Source

Foldable (UAddr :: Type -> Type) Source	Since: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Foldable Методы fold :: Моноид m => UAddr m -> m Source foldMap :: Моноид m => (a -> m) -> UAddr a -> m Source foldMap' :: Моноид m => (a -> m) -> UAddr a -> m Source foldr :: (a -> b -> b) -> b -> UAddr a -> b Source foldr' :: (a -> b -> b) -> b -> UAddr a -> b Source foldl :: (b -> a -> b) -> b -> UAddr a -> b Source foldl' :: (b -> a -> b) -> b -> UAddr a -> b Source foldr1 :: (a -> a -> a) -> UAddr a -> a Source foldl1 :: (a -> a -> a) -> UAddr a -> a Source toList :: UAddr a -> [a] Source null :: UAddr a -> Boolean Source length :: UAddr a -> Целое Source elem :: Eq a => a -> UAddr a -> Boolean Source maximum :: Ord a => UAddr a -> a Source minimum :: Ord a => UAddr a -> a Source sum :: Число a => UAddr a -> a Source product :: Число a => UAddr a -> a Source
Foldable (UChar :: Type -> Type) Source	Since: 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 Источник

сумма :: Num a => UChar a -> a Источник

произведение :: Num a => UChar a -> a Источник

Foldable (UDouble :: Тип -> Тип) Источник

С: base-4.9.0.0

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

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

Методы

fold :: Моноид m => UDouble m -> m Исходный код

foldMap :: Моноид m => (a -> m) -> UDouble a -> m Исходный код

foldMap' :: Моноид 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 -> Булево Исходный код

length :: UDouble a -> Целое Исходный код

elem :: Eq a => a -> UDouble a -> Булево Исходный код

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

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

sum :: Число a => UDouble a -> a Исходный код

product :: Число a => UDouble a -> a Исходный код

Foldable (UFloat :: Тип -> Тип) Исходный код

С момента: 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 -> Булево Исходный код

length :: UFloat a -> Целое Исходный код

elem :: Eq a => a -> UFloat a -> Булево Исходный код

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

С момента: 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 :: Тип -> Тип) Исходный код	С момента: 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 :: Тип -> Тип) Исходный код	С момента: 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) Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UDouble a -> f (UDouble b) Source sequenceA :: Applicative f => UDouble (f a) -> f (UDouble a) Source mapM :: Monad m => (a -> m b) -> UDouble a -> m (UDouble b) Source sequence :: Monad m => UDouble (m a) -> m (UDouble a) Source
Traversable (UFloat :: Type -> Type) Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UFloat a -> f (UFloat b) Source sequenceA :: Applicative f => UFloat (f a) -> f (UFloat a) Source mapM :: Monad m => (a -> m b) -> UFloat a -> m (UFloat b) Source sequence :: Monad m => UFloat (m a) -> m (UFloat a) Source
Traversable (UInt :: Type -> Type) Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UInt a -> f (UInt b) Source sequenceA :: Applicative f => UInt (f a) -> f (UInt a) Source mapM :: Monad m => (a -> m b) -> UInt a -> m (UInt b) Source sequence :: Monad m => UInt (m a) -> m (UInt a) Source
Traversable (UWord :: Type -> Type) Source	Since: base-4.9.0.0
Подробные сведения об экземпляре Определено в GHC.Internal.Data.Traversable Методы traverse :: Applicative f => (a -> f b) -> UWord a -> f (UWord b) Source sequenceA :: Applicative f => UWord (f a) -> f (UWord a) Source mapM :: Monad m => (a -> m b) -> UWord a -> m (UWord b) Source sequence :: Monad m => UWord (m a) -> m (UWord a) Source
Functor (URec (Ptr ()) :: Type -> Type) Source	Since: 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 Исходный код

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

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

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

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

Информация о экземпляре

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

Методы

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

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

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

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

С версии: base-4.9.0.0

Информация о экземпляре

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

Методы

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

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

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

Show (URec Word p) Source	Since: base-4.9.0.0
Информация об экземпляре Определено в GHC.Internal.Generics Методы showsPrec :: Int -> URec Word p -> ShowS Source show :: URec Word p -> String Source showList :: [URec Word p] -> ShowS Source
Eq (URec (Ptr ()) p) Source	Since: base-4.9.0.0
Информация об экземпляре Определено в GHC.Internal.Generics Методы (==) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source (/=) :: URec (Ptr ()) p -> URec (Ptr ()) p -> Bool Source
Eq (URec Char p) Source	Since: base-4.9.0.0
Информация об экземпляре Определено в GHC.Internal.Generics Методы (==) :: URec Char p -> URec Char p -> Bool Source (/=) :: URec Char p -> URec Char p -> Bool Source
Eq (URec Double p) Source	Since: base-4.9.0.0
Информация об экземпляре Определено в GHC.Internal.Generics Методы (==) :: URec Double p -> URec Double p -> Bool Source (/=) :: URec Double p -> URec Double p -> Bool Source
Eq (URec Float p) Source
Информация об экземпляре Определено в GHC.Internal.Generics Методы (==) :: URec Float p -> URec Float p -> Bool Source (/=) :: URec Float p -> URec Float p -> Bool Source
Eq (URec Int p) Source	Since: base-4.9.0.0
Информация об экземпляре Определено в GHC.Internal.Generics Методы (==) :: URec Int p -> URec Int p -> Bool Source (/=) :: URec Int p -> URec Int p -> Bool Source
Eq (URec Word p) Source	Since: 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 Источник
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) Source	Используется для маркировки вхождений `Int#` Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics data URec Int (p :: k) = UInt { uInt# :: Int# }
data URec Word (p :: k) Source	Используется для маркировки вхождений `Word#` Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics data URec Word (p :: k) = UWord { uWord# :: Word# }
data URec (Ptr ()) (p :: k) Source	Используется для маркировки вхождений `Addr#` Since: base-4.9.0.0
Instance details Defined in GHC.Internal.Generics data URec (Ptr ()) (p :: k) = UAddr { uAddr# :: Addr# }
type Rep1 (URec (Ptr ()) :: k -> Type) Source	Since: base-4.9.0.0
Instance details Defined in 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) Source	Since: base-4.9.0.0
Instance details Defined in 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) Source	Since: base-4.9.0.0
Instance details Defined in 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) Source	Since: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Generics тип Rep1 (URec Float :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UFloat" 'PrefixI 'True) (S1 ('MetaSel ('Just "uFloat#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UFloat :: k -> Тип)))
тип Rep1 (URec Int :: k -> Тип) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics тип Rep1 (URec Int :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "uInt#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UInt :: k -> Тип)))
тип Rep1 (URec Word :: k -> Тип) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics тип Rep1 (URec Word :: k -> Тип) = D1 ('MetaData "URec" "GHC.Internal.Generics" "ghc-internal" 'False) (C1 ('MetaCons "UWord" 'PrefixI 'True) (S1 ('MetaSel ('Just "uWord#") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (UWord :: k -> Тип)))
тип Rep (URec (Ptr ()) p) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics тип 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 :: Тип -> Тип)))
тип Rep (URec Char p) Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics тип 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 :: Тип -> Тип)))
тип 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 Source

Синоним типа для кодирования метаданных для типов данных

type C1 = M1 C :: Meta -> (k -> Type) -> k -> Type Source

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

type S1 = M1 S :: Meta -> (k -> Type) -> k -> Type Source

Синоним типа для кодирования метаданных для селекторов записей

data D Source

Тег для M1: тип данных

data C Source

Тег для M1: конструктор

data S Source

Тег для M1: селектор записи

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

class Datatype (d :: k) where Source

Класс для типов данных, представляющих типы данных

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

datatypeName, moduleName, packageName

Методы

datatypeName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] Source

Имя типа данных (без квалификатора)

moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] Source

Полное имя модуля, в котором объявлен тип

packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> [Char] Source

Имя пакета модуля, в котором объявлен тип

С: base-4.9.0.0

isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t d f a -> Bool Source

Указывает, является ли тип данных новым типом

С: base-4.7.0.0

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

(KnownSymbol n, KnownSymbol m, KnownSymbol p, SingI nt) => Datatype ('MetaData n m p nt :: Meta) Source

С: 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] Source

moduleName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Source

packageName :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> [Char] Source

isNewtype :: forall k1 t (f :: k1 -> Type) (a :: k1). t ('MetaData n m p nt) f a -> Bool Source

class Constructor (c :: k) where Source

Класс для типов данных, представляющих конструкторы данных

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

conName

Методы

conName :: forall k1 t (f :: k1 -> Type) (a :: k1). t c f a -> [Char] Source

selName :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> [Символ] Исходный код

selSourceUnpackedness :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceUnpackedness Исходный код

selSourceStrictness :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceStrictness Исходный код

selDecidedStrictness :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> DecidedStrictness Исходный код

data Фиксированность Исходный код

Тип данных для представления фиксированности конструктора. Декларация `infix |` напрямую соответствует применению Infix.

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

Префикс
Инфикс Ассоциативность Целое число

Экземпляры

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

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

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

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

Этот вариант Fixity появляется на уровне типов.

С версии: base-4.9.0.0

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

PrefixI
InfixI Ассоциативность 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 Ассоциативность Исходный код

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

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

Левоассоциативный
Правоассоциативный
Неассоциативный

Экземпляры

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

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 :: (Ассоциативность, Ассоциативность) -> [Ассоциативность] Исходный код index :: (Ассоциативность, Ассоциативность) -> Ассоциативность -> Int Исходный код unsafeIndex :: (Ассоциативность, Ассоциативность) -> Ассоциативность -> Int Исходный код inRange :: (Ассоциативность, Ассоциативность) -> Ассоциативность -> Bool Исходный код rangeSize :: (Ассоциативность, Ассоциативность) -> Int Исходный код unsafeRangeSize :: (Ассоциативность, Ассоциативность) -> Int Исходный код
Read Ассоциативность Исходный код	С момента: base-4.6.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы readsPrec :: Int -> ReadS Ассоциативность Исходный код readList :: ReadS [Ассоциативность] Исходный код readPrec :: ReadPrec Ассоциативность Исходный код readListPrec :: ReadPrec [Ассоциативность] Исходный код
Show Ассоциативность Исходный код	С момента: base-4.6.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Int -> Ассоциативность -> ShowS Исходный код show :: Ассоциативность -> String Исходный код showList :: [Ассоциативность] -> ShowS Исходный код
Eq Ассоциативность Исходный код	С момента: base-4.6.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: Ассоциативность -> Ассоциативность -> Bool Исходный код (/=) :: Ассоциативность -> Ассоциативность -> Bool Исходный код
Ord Ассоциативность Исходный код	С момента: 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 Исходный код
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 Исходный код

Получение приоритета значения фиксированности.

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

Распакованность поля, как пользователь её написал в исходном коде. Например, в следующем типе данных:

data E = ExampleConstructor     Int
           {-# NOUNPACK #-} Int
           {-#   UNPACK #-} Int

Поля ExampleConstructor имеют NoSourceUnpackedness, SourceNoUnpack и SourceUnpack соответственно.

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

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

NoSourceUnpackedness
SourceNoUnpack
SourceUnpack

Экземпляры

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

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 Методы range :: (SourceUnpackedness, SourceUnpackedness) -> [SourceUnpackedness] Исходный код index :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Целое Исходный код unsafeIndex :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Целое Исходный код inRange :: (SourceUnpackedness, SourceUnpackedness) -> SourceUnpackedness -> Булево Исходный код rangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Целое Исходный код unsafeRangeSize :: (SourceUnpackedness, SourceUnpackedness) -> Целое Исходный код
Чтение SourceUnpackedness Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы readsPrec :: Целое -> ReadS SourceUnpackedness Исходный код readList :: ReadS [SourceUnpackedness] Исходный код readPrec :: ReadPrec SourceUnpackedness Исходный код readListPrec :: ReadPrec [SourceUnpackedness] Исходный код
Вывод SourceUnpackedness Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы showsPrec :: Целое -> SourceUnpackedness -> ShowS Исходный код show :: SourceUnpackedness -> Строка Исходный код showList :: [SourceUnpackedness] -> ShowS Исходный код
Равенство SourceUnpackedness Исходный код	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics Методы (==) :: SourceUnpackedness -> SourceUnpackedness -> Булево Исходный код (/=) :: SourceUnpackedness -> SourceUnpackedness -> Булево Исходный код
Порядок SourceUnpackedness Исходный код	С момента: base-4.9.0.0

Подробности экземпляра Определено в GHC.Internal.Generics Методы compare :: SourceUnpackedness -> SourceUnpackedness -> Ordering Исходный код (<) :: SourceUnpackedness -> SourceUnpackedness -> Bool Исходный код (<=) :: SourceUnpackedness -> SourceUnpackedness -> Bool Исходный код (>) :: SourceUnpackedness -> SourceUnpackedness -> Bool Исходный код (>=) :: SourceUnpackedness -> SourceUnpackedness -> Bool Исходный код max :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness Исходный код min :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness Исходный код
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

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

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

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)) -> Может (c SourceStrictness) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (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 :: Целое -> (forall d. Data d => d -> u) -> SourceStrictness -> u Источник gmapM :: Монад m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Источник gmapMp :: Монад Plus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Источник gmapMo :: Монад Plus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness Источник
Ограниченный SourceStrictness Источник	С момента: base-4.9.0.0
Подробности реализации Определено в GHC.Internal.Generics Методы minBound :: SourceStrictness Источник maxBound :: SourceStrictness Источник
Перечисление SourceStrictness Источник	С момента: base-4.9.0.0

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

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

Методы

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

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

toEnum :: Int -> SourceStrictness Источник

fromEnum :: SourceStrictness -> Int Источник

enumFrom :: SourceStrictness -> [SourceStrictness] Источник

enumFromThen :: SourceStrictness -> SourceStrictness -> [SourceStrictness] Источник

enumFromTo :: SourceStrictness -> SourceStrictness -> [SourceStrictness] Источник

enumFromThenTo :: SourceStrictness -> SourceStrictness -> SourceStrictness -> [SourceStrictness] Источник

Generic SourceStrictness Источник

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

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

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

type Rep SourceStrictness

Since: 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

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

Since: 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 Источник
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 Исходный код
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

Экземпляры

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

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 Методы range :: (DecidedStrictness, DecidedStrictness) -> [DecidedStrictness] Исходный код index :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int Исходный код unsafeIndex :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Int Исходный код inRange :: (DecidedStrictness, DecidedStrictness) -> DecidedStrictness -> Bool Исходный код rangeSize :: (DecidedStrictness, DecidedStrictness) -> Int Исходный код unsafeRangeSize :: (DecidedStrictness, DecidedStrictness) -> Int Исходный код
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 Исходный код
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 Методы compare :: DecidedStrictness -> DecidedStrictness -> Ordering Исходный код (<) :: DecidedStrictness -> DecidedStrictness -> Bool Исходный код (<=) :: DecidedStrictness -> DecidedStrictness -> Bool Исходный код (>) :: DecidedStrictness -> DecidedStrictness -> Bool Исходный код (>=) :: DecidedStrictness -> DecidedStrictness -> Bool Исходный код max :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness Исходный код min :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness Исходный код
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) => Конструктор ('MetaCons n f r :: Meta) Исходный код	С момента выпуска: base-4.9.0.0
Подробности примера Определено в GHC.Internal.Generics Методы conName :: forall k1 t (f0 :: k1 -> Тип) (a :: k1). t ('MetaCons n f r) f0 a -> [Символ] Исходный код conFixity :: forall k1 t (f0 :: k1 -> Тип) (a :: k1). t ('MetaCons n f r) f0 a -> Приоритет Исходный код conIsRecord :: forall k1 t (f0 :: k1 -> Тип) (a :: k1). t ('MetaCons n f r) f0 a -> Булево Исходный код
(KnownSymbol n, KnownSymbol m, KnownSymbol p, SingI nt) => Тип данных ('MetaData n m p nt :: Meta) Исходный код	С момента выпуска: base-4.9.0.0
Подробности примера Определено в GHC.Internal.Generics Методы datatypeName :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaData n m p nt) f a -> [Символ] Исходный код moduleName :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaData n m p nt) f a -> [Символ] Исходный код packageName :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaData n m p nt) f a -> [Символ] Исходный код isNewtype :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaData n m p nt) f a -> Булево Исходный код
(SingI mn, SingI su, SingI ss, SingI ds) => Селектор ('MetaSel mn su ss ds :: Meta) Исходный код	С момента выпуска: base-4.9.0.0
Подробности примера Определено в GHC.Internal.Generics Методы selName :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> [Символ] Исходный код selSourceUnpackedness :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceUnpackedness Исходный код selSourceStrictness :: forall k1 t (f :: k1 -> Тип) (a :: k1). t ('MetaSel mn su ss ds) f a -> SourceStrictness Исходный код selDecidedStrictness :: forall k1 t (f :: k1 -> Тип) (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 :: Тип -> Тип Исходный код

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

Методы

from :: a -> Rep a x Исходный код

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

to :: Rep a x -> a Исходный код

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

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

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

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

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

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

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

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

Методы

from :: Void -> Rep Void x Исходный код

to :: Rep Void x -> Void Исходный код

Generic Порядок байтов Исходный код

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

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

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

type Rep Порядок байтов	С версии: base-4.15.0.0
Подробности примера использования Определено в GHC.Internal.ByteOrder type Rep Порядок байтов = D1 ('MetaData "Порядок байтов" "GHC.Internal.ByteOrder" "ghc-internal" 'False) (C1 ('MetaCons "BigEndian" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "LittleEndian" 'PrefixI 'False) (U1 :: Тип -> Тип))

Методы

from :: Порядок байтов -> Rep Порядок байтов x Исходный код

to :: Rep Порядок байтов x -> Порядок байтов Исходный код

Generic Тип закрытия Исходный код

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

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

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

type Rep Тип закрытия
Подробности примера использования Определено в GHC.Internal.ClosureTypes

Методы

from :: ClosureType -> Rep ClosureType x Исходный код

to :: Rep ClosureType x -> ClosureType Исходный код

Generic All Source

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

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

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

type Rep All	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Semigroup.Internal type Rep All = D1 ('MetaData "All" "GHC.Internal.Data.Semigroup.Internal" "ghc-internal" 'True) (C1 ('MetaCons "All" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAll") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Методы

from :: All -> Rep All x Source

to :: Rep All x -> All Source

Generic Any Source

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

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

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

type Rep Any	С момента: base-4.7.0.0
Подробности экземпляра Определено в GHC.Internal.Data.Semigroup.Internal type Rep Any = D1 ('MetaData "Any" "GHC.Internal.Data.Semigroup.Internal" "ghc-internal" 'True) (C1 ('MetaCons "Any" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAny") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Методы

from :: Any -> Rep Any x Source

to :: Rep Any x -> Any Source

Generic Version Source

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

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

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

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 Source

to :: Rep Version x -> Version Source

Generic Fingerprint Source

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

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

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

type Rep Отпечаток

type Rep Extension
Подробности экземпляра Определено в GHC.Internal.LanguageExtensions

type Rep Extension = D1 ('MetaData "Extension" "GHC.Internal.LanguageExtensions" "ghc-internal" 'False) (((((((C1 ('MetaCons "Cpp" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "OverlappingInstances" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "UndecidableInstances" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "IncoherentInstances" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "UndecidableSuperClasses" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "MonomorphismRestriction" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "MonoLocalBinds" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeepSubsumption" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "RelaxedPolyRec" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ExtendedDefaultRules" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "NamedDefaults" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ForeignFunctionInterface" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "UnliftedFFITypes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "InterruptibleFFI" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "CApiFFI" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "GHCForeignImportPrim" 'PrefixI 'False) (U1 :: Тип -> Тип))))) :+: ((((C1 ('MetaCons "JavaScriptFFI" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ParallelArrays" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "Arrows" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TemplateHaskell" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "TemplateHaskellQuotes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "QualifiedDo" 'PrefixI 'False) (U1 :: Тип -> Тип))

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 GCFlags	С версии: base-4.15.0.0
Подробности экземпляра Определено в GHC.Internal.RTS.Flags

S1 ('MetaSel ('Just "squeezeUpdFrames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "compact") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "compactThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :*: S1 ('MetaSel ('Just "sweep") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) :*: ((S1 ('MetaSel ('Just "ringBell") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Just "idleGCDelayTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RtsTime) :*: S1 ('MetaSel ('Just "doIdleGC") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "heapBase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: S1 ('MetaSel ('Just "allocLimitGrace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)) :*: (S1 ('MetaSel ('Just "numa") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "numaMask") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))))))

Методы

from :: GCFlags -> Rep GCFlags x Исходный код

to :: Rep GCFlags x -> GCFlags Исходный код

Generic GiveGCStats Исходный код

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

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

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

type Rep GiveGCStats

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

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

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

type Rep GiveGCStats = D1 ('MetaData "GiveGCStats" "GHC.Internal.RTS.Flags" "ghc-internal" 'False) ((C1 ('MetaCons "NoGCStats" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CollectGCStats" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OneLineGCStats" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SummaryGCStats" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerboseGCStats" 'PrefixI 'False) (U1 :: Type -> Type))))

Методы

from :: GiveGCStats -> Rep GiveGCStats x Исходный код

to :: Rep GiveGCStats x -> GiveGCStats Исходный код

Generic HpcFlags Исходный код

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

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

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

type Rep HpcFlags

type Rep ProfFlags	Since: base-4.15.0.0
Подробности экземпляра Определено в GHC.Internal.RTS.Flags

NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))))))

Краткое описание методов

from :: ProfFlags -> Rep ProfFlags x Source

to :: Rep ProfFlags x -> ProfFlags Source

Generic RTSFlags Source

Instance details

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

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

type Rep RTSFlags

Since: base-4.15.0.0

Instance details

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

Краткое описание методов

from :: RTSFlags -> Rep RTSFlags x Source

to :: Rep RTSFlags x -> RTSFlags Source

Generic TickyFlags Source

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

Определено в 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 'DecidedLazy) (Rec0 (Maybe FilePath))))

Методы

from :: TickyFlags -> Rep TickyFlags x Исходный код

to :: Rep TickyFlags x -> TickyFlags Исходный код

Generic TraceFlags Исходный код

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

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

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

type Rep TraceFlags

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

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

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

Методы

from :: TraceFlags -> Rep TraceFlags x Исходный код

to :: Rep TraceFlags x -> TraceFlags Исходный код

Generic SrcLoc Source

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

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

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

type Rep SrcLoc

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

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

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

type Rep SrcLoc = D1 ('MetaData "SrcLoc" "GHC.Internal.Stack.Types" "ghc-internal" 'False) (C1 ('MetaCons "SrcLoc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "srcLocPackage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Char]) :*: (S1 ('MetaSel ('Just "srcLocModule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Char]) :*: S1 ('MetaSel ('Just "srcLocFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Char]))) :*: ((S1 ('MetaSel ('Just "srcLocStartLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "srcLocStartCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "srcLocEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "srcLocEndCol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

Методы

from :: SrcLoc -> Rep SrcLoc x Source

to :: Rep SrcLoc x -> SrcLoc Source

Generic GCDetails Source

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

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

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

type Rep GCDetails	С момента: base-4.15.0.0
Подробности экземпляра Определено в GHC.Internal.Stats

ВремяRTS)))))))

Методы

from :: GCDetails -> Rep GCDetails x Исходный код

to :: Rep GCDetails x -> GCDetails Исходный код

Generic RTSStats Исходный код

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

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

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

type Rep RTSStats	С момента: base-4.15.0.0
Подробности экземпляра Определено в GHC.Internal.Stats

Методы

from :: Bang -> Rep Bang x Исходный код

to :: Rep Bang x -> Bang Исходный код

Generic BndrVis Исходный код

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

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

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

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))

type Rep Exp
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "ForallVisE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr ()]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "ConstrainedE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))))))

Методы

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

Char))))))

Методы

from :: Lit -> Rep Lit x Исходный код

to :: Rep Lit x -> Lit Исходный код

Generic Loc Исходный код

Детали экземпляра

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

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

type Rep Loc

Детали экземпляра

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

type Rep Loc = D1 ('MetaData "Loc" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Loc" 'PrefixI 'True) ((S1 ('MetaSel ('Just "loc_filename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка) :*: S1 ('MetaSel ('Just "loc_package") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка)) :*: (S1 ('MetaSel ('Just "loc_module") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка) :*: (S1 ('MetaSel ('Just "loc_start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ПозицияСимвола) :*: S1 ('MetaSel ('Just "loc_end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ПозицияСимвола)))))

Методы

from :: Loc -> Rep Loc x Исходный код

to :: Rep Loc x -> Loc Исходный код

Generic Match Исходный код

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

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

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

type Rep Match

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

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

type Rep Match = D1 ('MetaData "Match" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Match" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Body) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]))))

Методы

from :: Match -> Rep Match x Исходный код

to :: Rep Match x -> Match Исходный код

Generic ModName Исходный код

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

Определено в 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 Строка)))

Методы

from :: ModName -> Rep ModName x Исходный код

to :: Rep ModName x -> ModName Исходный код

Generic Модуль Исходный код

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

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

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

type Rep Модуль

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

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

type Rep Модуль = D1 ('MetaData "Модуль" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Модуль" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModName)))

Методы

from :: Модуль -> Rep Модуль x Исходный код

to :: Rep Модуль x -> Модуль Исходный код

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 [Модуль])))

Методы

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 :: Тип -> Тип) :+: C1 ('MetaCons "Overlapping" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "Overlaps" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: C1 ('MetaCons "Incoherent" 'PrefixI 'False) (U1 :: Тип -> Тип)))

Методы

from :: Overlap -> Rep Overlap x Исходный код

to :: Rep Overlap x -> Overlap Исходный код

Generic Pat Исходный код

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

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

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

type Rep Pat
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

Методы

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)))

Методы

from :: PkgName -> Rep PkgName x Источник

to :: Rep PkgName x -> PkgName Источник

Generic Pragma Источник

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

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

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

type Rep Pragma
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

Методы from :: Pragma -> Rep Pragma x Источник to :: Rep Pragma x -> Pragma Источник
Generic Диапазон Источник

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

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

to :: Rep TySynEqn x -> TySynEqn Источник

Generic Type Источник

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

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

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

type Rep Type
Подробности экземпляра Определено в GHC.Internal.TH.Syntax

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

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

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

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

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

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

type Rep GeneralCategory	С момента: base-4.15.0.0
Подробности экземпляра Определено в GHC.Internal.Generics

type Rep GeneralCategory = D1 ('MetaData "GeneralCategory" "GHC.Internal.Unicode" "ghc-internal" 'False) ((((C1 ('MetaCons "UppercaseLetter" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LowercaseLetter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TitlecaseLetter" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ModifierLetter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherLetter" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NonSpacingMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpacingCombiningMark" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "EnclosingMark" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecimalNumber" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LetterNumber" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherNumber" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ConnectorPunctuation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DashPunctuation" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OpenPunctuation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ClosePunctuation" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "InitialQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FinalQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherPunctuation" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MathSymbol" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CurrencySymbol" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ModifierSymbol" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherSymbol" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "Space" '

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 (TyVarBndr флаг)

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

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

type Rep (TyVarBndr флаг) = D1 ('MetaData "TyVarBndr" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "PlainTV" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 flag)) :+: C1 ('MetaCons "KindedTV" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 flag) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))))

Методы

from :: TyVarBndr флаг -> Rep (TyVarBndr флаг) x Источник

to :: Rep (TyVarBndr флаг) x -> TyVarBndr флаг Источник

Generic (Maybe a) Источник

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

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

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

type Rep (Maybe a)

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

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

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

type Rep (Maybe a) = D1 ('MetaData "Maybe" "GHC.Internal.Maybe" "ghc-internal" 'False) (C1 ('MetaCons "Nothing" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "Just" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Методы

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

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

Generic (Solo a) Источник

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

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

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

type Rep (Solo a)	С момента: base-4.15
Подробности экземпляра Определено в GHC.Internal.Generics type Rep (Solo a) = D1 ('MetaData "Solo" "GHC.Tuple" "ghc-prim" 'False) (C1 ('MetaCons "MkSolo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Методы

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

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

Generic [a] Источник

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

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

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

type Rep [a]

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

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

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

type Rep [a] = D1 ('MetaData "List" "GHC.Types" "ghc-prim" '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.21.0.0-8e62" '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.21.0.0-8e62" '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)

С версии: base-4.6.0.0

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

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

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

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

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

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

Методы from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x Исходный код to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Исходный код
Generic (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Исходный код
Подробности экземпляра Определено в GHC.Internal.Generics

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

type Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

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

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

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

Методы

from :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x Исходный код

to :: Rep (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) x -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Исходный код

class Generic1 (f :: k -> Тип) where Исходный код

Типы, представляемые в виде * -> * (или типа k -> *, когда PolyKinds включено). Этот класс может быть выведен в GHC с флагом DeriveGeneric.

Экземпляр Generic1 должен удовлетворять следующим законам:

from1 . to1 ≡ id
to1 . from1 ≡ id

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

type Rep1 (f :: k -> Тип) :: k -> Тип Исходный код

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

Методы

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.Types" "ghc-prim" '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.21.0.0-8e62" 'True) (C1 ('MetaCons "WrapMonad" 'PrefixI 'True) (S1 ('MetaSel ('Just "unwrapMonad") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 m)))

type Rep1 ((,,) a b :: Тип -> Тип)

С версии: base-4.6.0.0

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

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

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

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

Generic1 (K1 i c :: k -> Тип) Исходный код

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

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

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

type Rep1 (K1 i c :: k -> Тип)	С момента: base-4.9.0.0
Подробности экземпляра Определено в GHC.Internal.Generics type Rep1 (K1 i c :: k -> Тип) = 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 -> Тип) a Исходный код

to1 :: forall (a :: k). Rep1 (K1 i c :: k -> Тип) a -> K1 i c a Исходный код

Generic1 ((,,,,) a b c d :: Тип -> Тип) Исходный код

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

Определено в 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 f g h i j k l :: Тип -> Тип)

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

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

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

Методы from1 :: (a, b, c, d, e, f, g, h, i, j, k, l, a0) -> Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) a0 Исходный код to1 :: Rep1 ((,,,,,,,,,,,,) a b c d e f g h i j k l) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, a0) Исходный код
Generic1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m :: Type -> Type) Исходный код

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

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

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

type Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m :: Тип -> Тип)

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

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

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

Методы

from1 :: (a, b, c, d, e, f, g, h, i, j, k, l, m, a0) -> Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) a0 Исходный код

to1 :: Rep1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m) a0 -> (a, b, c, d, e, f, g, h, i, j, k, l, m, a0) Исходный код

Generic1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Тип -> Тип) Исходный код

Детали экземпляра

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

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

type Rep1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n :: Тип -> Тип)

С момента: 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 Source

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) Source

Оболочка Generic

newtype Generically a Source

Тип данных, экземпляры которого определены обобщенно, используя представление 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). Наличие типа /via/ как Generically отделяет экземпляр от класса типов.

Since: base-4.17.0.0

Краткое описание конструкторов

Generically a

Экземпляры

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

(Generic a, Monoid (Rep a ())) => Monoid (Generically a) Source	Since: base-4.17.0.0
Подробности об экземпляре Определено в GHC.Internal.Generics Краткое описание методов mempty :: Generically a Source mappend :: Generically a -> Generically a -> Generically a Source mconcat :: [Generically a] -> Generically a Source
(Generic a, Semigroup (Rep a ())) => Semigroup (Generically a) Source	Since: base-4.17.0.0
Подробности об экземпляре Определено в GHC.Internal.Generics Краткое описание методов (<>) :: Generically a -> Generically a -> Generically a Source sconcat :: NonEmpty (Generically a) -> Generically a Source stimes :: Integral b => b -> Generically a -> Generically a Source

newtype Generically1 (f :: k -> Type) (a :: k) where Source

Тип, экземпляры которого определены обобщенно, используя представление 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). Наличие типа /via/ как Generically1 отделяет экземпляр от класса типов.

Since: 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 Исходный код максимум :: Generically1 f a -> Generically1 f a -> Generically1 f a Исходный код минимум :: 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.12.1/docs/libraries/base-4.21.0.0-8e62/GHC-Generics.html

GHC.Generics

Содержание

Описание

Введение

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

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

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

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

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

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

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

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

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

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

Универсальные экземпляры

Оборачивание и универсальный по умолчанию

Пропуск универсальных экземпляров

Класс Generic1

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

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

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

Типы универсального представления

Экземпляры

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

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

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

Методы

Методы

Методы

Методы

Методы

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

Экземпляры

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

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Краткое описание методов

Краткое описание методов

Краткое описание методов

Краткое описание методов

Краткое описание методов

Краткое описание методов

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

Методы

Методы

Методы

Методы

Методы

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

Поля

Экземпляры

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

Методы

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

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

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

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

Класс `Generic1`

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

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