Language.Haskell.TH
| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Описание
Публичный интерфейс Template Haskell
Для другой документации, обратитесь к: https://wiki.haskell.org/Template_Haskell
Монад и его операции
data Q a
Экземпляры
| Applicative Q | |
| Functor Q | |
| Monad Q | |
| MonadFail Q | |
Определено в GHC.Internal.TH.Syntax | |
| MonadFix Q | |
Определено в GHC.Internal.TH.Syntax | |
| MonadIO Q | |
Определено в GHC.Internal.TH.Syntax | |
| Quasi Q | |
class Monad m => Quote (m :: Тип -> Тип) where
Примеры использования
Администрирование: ошибки, расположения и IO
reportError :: Строка -> Q ()
reportWarning :: Строка -> Q ()
report :: Булево -> Строка -> Q ()
data Loc
Конструкторы
| Loc | |
Поля
| |
Экземпляры
| Ppr Loc Источник | |
| Data Loc | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Loc -> c Loc gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Loc dataTypeOf :: Loc -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Loc) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Loc) gmapT :: (forall b. Data b => b -> b) -> Loc -> Loc gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Loc -> r gmapQ :: (forall d. Data d => d -> u) -> Loc -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Loc -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Loc -> m Loc gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Loc -> m Loc | |
| Generic Loc | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Loc | |||||
| Eq Loc | |||||
| Ord Loc | |||||
| Lift Loc | |||||
| 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 String) :*: S1 ('MetaSel ('Just "loc_package") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "loc_module") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "loc_start") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CharPos) :*: S1 ('MetaSel ('Just "loc_end") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CharPos))))) | |
Запрос к компилятору
Реифицировать
reifyModule :: Module -> Q ModuleInfo
newDeclarationGroup :: Q [Dec]
data Info
Экземпляры
| Ppr Info Источник | |||||
| Data Info | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Info -> c Info gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Info dataTypeOf :: Info -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Info) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Info) gmapT :: (forall b. Data b => b -> b) -> Info -> Info gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Info -> r gmapQ :: (forall d. Data d => d -> u) -> Info -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Info -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Info -> m Info gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Info -> m Info | |||||
| Generic Info | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
| |||
| Show Info | |||
| Eq Info | |||
| Ord Info | |||
| Поднятие Info | |||
| type Rep Info | |||
Определено в GHC.Internal.TH.Syntax | |||
type Rep Info = D1 ('MetaData "Info" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (((C1 ('MetaCons "ClassI" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dec) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InstanceDec])) :+: C1 ('MetaCons "ClassOpI" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParentName)))) :+: (C1 ('MetaCons "TyConI" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dec)) :+: C1 ('MetaCons "FamilyI" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Dec) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InstanceDec])))) :+: ((C1 ('MetaCons "PrimTyConI" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness ' |
DecidedLazy) (Rec0 Арность) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Неподъёмный))) :+: C1 ('MetaCons "DataConI" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ИмяРодителя)))) :+: (C1 ('MetaCons "PatSynI" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ТипАббр)) :+: (C1 ('MetaCons "VarI" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Может быть Опр)))) :+: C1 ('MetaCons "TyVarI" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 (' |
MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)))))) |
data ModuleInfo
Конструкторы
| ModuleInfo [Модуль] |
Экземпляры
| Ppr ModuleInfo Исходный код | |||||
Определено в GHC.Internal.TH.Ppr | |||||
| Data ModuleInfo | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleInfo -> c ModuleInfo gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleInfo toConstr :: ModuleInfo -> Constr dataTypeOf :: ModuleInfo -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModuleInfo) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleInfo) gmapT :: (forall b. Data b => b -> b) -> ModuleInfo -> ModuleInfo gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleInfo -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleInfo -> r gmapQ :: (forall d. Data d => d -> u) -> ModuleInfo -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleInfo -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleInfo -> m ModuleInfo | |||||
| Generic ModuleInfo | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show ModuleInfo | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> ModuleInfo -> ShowS show :: ModuleInfo -> String showList :: [ModuleInfo] -> ShowS | |
| Eq ModuleInfo | |
Определено в GHC.Internal.TH.Syntax | |
| Ord ModuleInfo | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: ModuleInfo -> ModuleInfo -> Ordering (<) :: ModuleInfo -> ModuleInfo -> Bool (<=) :: ModuleInfo -> ModuleInfo -> Bool (>) :: ModuleInfo -> ModuleInfo -> Bool (>=) :: ModuleInfo -> ModuleInfo -> Bool max :: ModuleInfo -> ModuleInfo -> ModuleInfo min :: ModuleInfo -> ModuleInfo -> ModuleInfo | |
| type Rep ModuleInfo | |
Определено в GHC.Internal.TH.Syntax type Rep ModuleInfo = D1 ('MetaData "ModuleInfo" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "ModuleInfo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Module]))) | |
type InstanceDec = Dec
type ParentName = Name
Поиск расширений языка
data Extension
Конструкторы
| Cpp | |
| Перекрывающиеся экземпляры | |
| Неразрешимые экземпляры | |
| Несогласованные экземпляры | |
| Неразрешимые суперклассы | |
| Ограничение мономорфизма | |
| Монолокальные связи | |
| Глубокая субсупция | |
| Расслабленная полирекурсия | |
| Расширенные правила по умолчанию | |
| Именованные значения по умолчанию | |
| Интерфейс внешней функции | |
| Неподнятые типы внешнего интерфейса | |
| Прерываемый внешний интерфейс | |
| Внешний интерфейс С API | |
| GHCForeignImportPrim | |
| JavaScriptFFI | |
| Параллельные массивы | |
| Стрелки | |
| TemplateHaskell | |
| Цитирование TemplateHaskell | |
| Квалифицированный Do | |
| Квазицитаты | |
| Неявные параметры | |
| Неявный прелюдия | |
| Ограниченные переменные типов | |
| Разрешить неоднозначные типы | |
| Упакованные кортежи | |
| Упакованные суммы | |
| Неподнятые новые типы | |
| Неподнятые типы данных | |
| Указатели | |
| Типовые семейства | |
| Зависимости типовых семейств | |
| Тип в типе | |
| Перегруженные строки | |
| Перегруженные списки | |
| Число десятичных знаков | |
| Разъяснение полей записей | |
| Символы записей | |
| Именованные поля | |
| Вид шаблонов | |
| Шаблоны или | |
| GADTs | |
| Синтаксис GADTs | |
| N + K шаблоны | |
| Do и if then else | |
| Блочные аргументы | |
| Переназначимый синтаксис | |
| Типы ограничений | |
| Политипы | |
| Типы данных | |
| Данные типов | |
| Подписи экземпляров | |
| Применимый Do | |
| Линейные типы | |
| Требуемые аргументы типов | |
| Самостоятельное вывод | |
| Вывод DataTypeable | |
| Автоматический вывод Typeable | |
| Вывод Functor | |
| Вывод Traversable | |
| Вывод Foldable | |
| Вывод Generic | |
| Значения по умолчанию | |
| Вывод любого класса | |
| Вывод Lift | |
| Стратегии вывода | |
| Вывод через | |
| Экземпляры псевдонимов типов | |
| Гибкие контексты | |
| Гибкие экземпляры | |
| Ограниченные методы класса | |
| Многопараметрические классы типов | |
| Нульарные классы типов | |
| Функциональные зависимости | |
| Синтаксис Юникода | |
| Существование квантификации | |
| Магический хеш | |
| Пустые объявления данных | |
| Подписи типов | |
| Аннотации ролей | |
| Параллельный список | |
| Преобразование списка | |
| Монадные включения | |
| Обобщенный вывод Newtype | |
| Рекурсивный Do | |
| Постфиксные операторы | |
| Секции кортежей | |
| Шаблонные условия | |
| Либеральные псевдонимы типов | |
| Типы ранга N | |
| Импредикативные типы | |
| Операторы типов | |
| Явные пространства имен | |
| Импорты пакетов | |
| Явное все | |
| Альтернативное правило расположения | |
| Переходное альтернативное правило расположения |
| Конструкторы типов | |
| Неубывающая отступы | |
| Свободный макет | |
| Традиционная синтаксис записей | |
| LambdaCase | |
| MultiWayIf | |
| Двоичные литералы | |
| Отрицательные литералы | |
| Шестнадцатеричные плавающие точки | |
| Повторяющиеся поля записей | |
| Перегруженные метки | |
| Пустой случай | |
| Псевдонимы шаблонов | |
| Частичные сигнатуры типов | |
| Именованные подстановочные знаки | |
| Статические указатели | |
| Применение типов | |
| Строгий | |
| Строгие данные | |
| Пустое получение данных | |
| Числовые подчеркивания | |
| Квантифицированные ограничения | |
| Звезда как тип | |
| Импорт с квалификацией после | |
| CUSKs | |
| Самостоятельные сигнатуры типов | |
| Лексическое отрицание | |
| Выбиратели полей | |
| Перегруженная точка записи | |
| Перегруженное обновление записи | |
| Абстракции типов | |
| Расширенные литералы | |
| Список/Кортеж знаков пунктуации | |
| Многострочные строки |
Примеры использования
| Ограниченное Расширение | |||||
Определено в GHC.Internal.LanguageExtensions | |||||
| Перечисление Расширение | |||||
Определено в GHC.Internal.LanguageExtensions Методыуспех :: Расширение -> Расширение предшественник :: Расширение -> Расширение к типу перечисления :: Целое -> Расширение из типа перечисления :: Расширение -> Целое список от :: Расширение -> [Расширение] список от с шагом :: Расширение -> Расширение -> [Расширение] список от до :: Расширение -> Расширение -> [Расширение] список от с шагом до :: Расширение -> Расширение -> Расширение -> [Расширение] | |||||
| Обобщённый Расширение | |||||
Определено в GHC.Internal.LanguageExtensions Связанные типы
| |||||
|
|
|
|
|
|
|
| |||
| Show Extension | |||
Определено в GHC.Internal.LanguageExtensions МетодыshowsPrec :: Int -> Расширение -> ShowS show :: Расширение -> Строка showList :: [Расширение] -> ShowS | |
| Eq Расширение | |
Определено в GHC.Internal.LanguageExtensions | |
| Ord Расширение | |
Определено в GHC.Internal.LanguageExtensions Методыcompare :: Расширение -> Расширение -> Порядок (<) :: Расширение -> Расширение -> Bool (<=) :: Расширение -> Расширение -> Bool (>) :: Расширение -> Расширение -> Bool (>=) :: Расширение -> Расширение -> Bool max :: Расширение -> Расширение -> Расширение min :: Расширение -> Расширение -> Расширение | |
| Lift Расширение | |
Определено в GHC.Internal.TH.Lift Методыlift :: Цитата m => Расширение -> m Выражение liftTyped :: forall (m :: Тип -> Тип). Цитата m => Расширение -> Код m Расширение | |
| type Rep Расширение | |
Определено в GHC.Internal.LanguageExtensions | |
type Rep Extension = D1 ('MetaData "Extension" "GHC.Internal.LanguageExtensions" "ghc-internal" 'False) (((((((C1 ('MetaCons "Cpp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverlappingInstances" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UndecidableInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IncoherentInstances" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UndecidableSuperClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MonomorphismRestriction" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonoLocalBinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeepSubsumption" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "RelaxedPolyRec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtendedDefaultRules" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NamedDefaults" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForeignFunctionInterface" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UnliftedFFITypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InterruptibleFFI" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CApiFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GHCForeignImportPrim" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: ((((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 :: Тип -> Тип)) :+: (C1 ('MetaCons "QuasiQuotes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ImplicitParams" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "ImplicitPrelude" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ScopedTypeVariables" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "AllowAmbiguousTypes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "UnboxedTuples" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "UnboxedSums" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "UnliftedNewtypes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "UnliftedDatatypes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "BangPatterns" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeFamilies" 'PrefixI 'False) (U1 :: Тип -> Тип))))))) :+: (((((C1 ('MetaCons "TypeFamilyDependencies" 'PrefixI 'False) (U1 :: Тип -> |
Тип) :+: C1 ('MetaCons "TypeInType" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "OverloadedStrings" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "OverloadedLists" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "NumDecimals" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DisambiguateRecordFields" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "RecordWildCards" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NamedFieldPuns" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "ViewPatterns" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "OrPatterns" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "GADTS" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "GADTSyntax" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "NPlusKPatterns" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DoAndIfThenElse" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "BlockArguments" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "RebindableSyntax" 'PrefixI 'False) (U1 :: Тип -> Тип))))) :+: ((((C1 ('MetaCons "ConstraintKinds" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PolyKinds" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: ( |
C1 ('MetaCons "DataKinds" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeData" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "InstanceSigs" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ApplicativeDo" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "LinearTypes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "RequiredTypeArguments" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "StandaloneDeriving" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeriveDataTypeable" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "AutoDeriveTypeable" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeriveFunctor" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "DeriveTraversable" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeriveFoldable" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "DeriveGeneric" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "DefaultSignatures" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DeriveAnyClass" 'PrefixI 'False) (U1 :: Тип -> Тип)))))))) :+: ((((((C1 ('MetaCons "DeriveLift" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DerivingStrategies" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "DerivingVia" ' |
PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeSynonymInstances" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "FlexibleContexts" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "FlexibleInstances" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "ConstrainedClassMethods" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "MultiParamTypeClasses" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "NullaryTypeClasses" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "FunctionalDependencies" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "UnicodeSyntax" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ExistentialQuantification" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "MagicHash" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "EmptyDataDecls" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "KindSignatures" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "RoleAnnotations" 'PrefixI 'False) (U1 :: Тип -> Тип))))) :+: ((((C1 ('MetaCons "ParallelListComp" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TransformListComp" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "MonadComprehensions" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "GeneralizedNewtypeDeriving" 'PrefixI ' |
False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "RecursiveDo" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PostfixOperators" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "TupleSections" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PatternGuards" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "LiberalTypeSynonyms" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "RankNTypes" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "ImpredicativeTypes" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeOperators" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "ExplicitNamespaces" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PackageImports" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "ExplicitForAll" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "AlternativeLayoutRule" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "AlternativeLayoutRuleTransitional" 'PrefixI 'False) (U1 :: Тип -> Тип))))))) :+: (((((C1 ('MetaCons "DatatypeContexts" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NondecreasingIndentation" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "RelaxedLayout" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TraditionalRecordSyntax" 'PrefixI 'False) (U1 :: |
Тип -> Тип))) :+: ((C1 ('MetaCons "LambdaCase" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "MultiWayIf" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "BinaryLiterals" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NegativeLiterals" 'PrefixI 'False) (U1 :: Тип -> Тип)))) :+: (((C1 ('MetaCons "HexFloatLiterals" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "DuplicateRecordFields" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "OverloadedLabels" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "EmptyCase" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "PatternSynonyms" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PartialTypeSignatures" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "NamedWildCards" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "StaticPointers" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "TypeApplications" 'PrefixI 'False) (U1 :: Тип -> Тип)))))) :+: ((((C1 ('MetaCons "Strict" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "StrictData" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "EmptyDataDeriving" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "NumericUnderscores" 'PrefixI 'False) (U1 :: Тип -> Тип))) |
:+: ((C1 ('MetaCons "QuantifiedConstraints" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StarIsType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ImportQualifiedPost" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CUSKs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "StandaloneKindSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LexicalNegation" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FieldSelectors" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverloadedRecordDot" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "OverloadedRecordUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeAbstractions" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExtendedLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ListTuplePuns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultilineStrings" 'PrefixI 'False) (U1 :: Type -> Type))))))))) |
extsEnabled :: Q [Расширение]
isExtEnabled :: Расширение -> Q Булево
Поиск имени
lookupTypeName :: Строка -> Q (Возможно Имя)
lookupValueName :: Строка -> Q (Возможно Имя)
Поиск фикстуры
reifyFixity :: Имя -> Q (Возможно Фиксированность)
Поиск типа
Поиск экземпляра
reifyInstances :: Имя -> [Тип] -> Q [ОписаниеЭкземпляра]
isInstance :: Имя -> [Тип] -> Q Булево
Поиск ролей
reifyRoles :: Имя -> Q [Роль]
Поиск аннотаций
reifyAnnotations :: Данные a => AnnLookup -> Q [a]
data AnnLookup
Конструкторы
| AnnLookupModule Модуль | |
| AnnLookupName Имя |
Экземпляры
| Data AnnLookup | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnLookup -> c AnnLookup gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnLookup toConstr :: AnnLookup -> Constr dataTypeOf :: AnnLookup -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnLookup) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnLookup) gmapT :: (forall b. Data b => b -> b) -> AnnLookup -> AnnLookup gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnLookup -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnLookup -> r gmapQ :: (forall d. Data d => d -> u) -> AnnLookup -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnLookup -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnLookup -> m AnnLookup gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnLookup -> m AnnLookup gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnLookup -> m AnnLookup | |||||
| Generic AnnLookup | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show AnnLookup | |||||
| Eq AnnLookup | |
| Ord AnnLookup | |
Определено в GHC.Internal.TH.Syntax | |
| Lift AnnLookup | |
| type Rep AnnLookup | |
Определено в GHC.Internal.TH.Syntax type Rep AnnLookup = D1 ('MetaData "AnnLookup" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "AnnLookupModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Module)) :+: C1 ('MetaCons "AnnLookupName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) | |
Поиск строгости конструктора
reifyConStrictness :: Имя -> Q [DecidedStrictness]
Типизированные выражения
Экземпляры
Конструкторы
| Code | |
Поля
| |
unTypeCode :: forall a m. Quote m => Code m a -> m Exp
unsafeCodeCoerce :: forall a m. Quote m => m Exp -> Code m a
hoistCode :: Monad m => (forall x. m x -> n x) -> Code m a -> Code n a
bindCode :: Monad m => m a -> (a -> Code m b) -> Code m b
bindCode_ :: Monad m => m a -> Code m b -> Code m b
joinCode :: Monad m => m (Code m a) -> Code m a
liftCode :: forall a m. m (TExp a) -> Code m a
Имена
data Name
Экземпляры
| Ppr Name Источник | |||||
| Data Name | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name dataTypeOf :: Name -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name) gmapT :: (forall b. Data b => b -> b) -> Name -> Name gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r gmapQ :: (forall d. Data d => d -> u) -> Name -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name | |||||
| Generic Name | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Name | |||||
| Eq Name | |
| Ord Name | |
| Lift Name | |
| type Rep Name | |
Определено в GHC.Internal.TH.Syntax type Rep Name = D1 ('MetaData "Name" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Name" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OccName) :*: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NameFlavour))) | |
data Пространство имён
Примеры использования
| Data NameSpace | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NameSpace -> c NameSpace gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NameSpace toConstr :: NameSpace -> Constr dataTypeOf :: NameSpace -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NameSpace) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NameSpace) gmapT :: (forall b. Data b => b -> b) -> NameSpace -> NameSpace gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NameSpace -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NameSpace -> r gmapQ :: (forall d. Data d => d -> u) -> NameSpace -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NameSpace -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NameSpace -> m NameSpace gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NameSpace -> m NameSpace gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NameSpace -> m NameSpace | |
| Generic NameSpace | |
Определено в GHC.Internal.TH.Syntax | |
| Вывод NameSpace | |
Создание имён
Разобрать имена
nameModule :: Имя -> Может быть Строка
namePackage :: Имя -> Может быть Строка
nameSpace :: Имя -> Может быть NameSpace
Встроенные имена
tupleTypeName :: Int -> Имя
tupleDataName :: Int -> Имя
unboxedTupleTypeName :: Int -> Имя
unboxedTupleDataName :: Int -> Имя
unboxedSumTypeName :: SumArity -> Имя
unboxedSumDataName :: SumAlt -> SumArity -> Имя
Алгебраические типы данных
Предпочтительнее использовать строчные версии (операторы синтаксиса) этих конструкторов, так как они лучше сочетаются с цитатами ([| |]) и вставками ($( ... ))
Объявления
data Dec
Конструкторы
| FunD Имя [Определение] | |
| ValD Шаблон Тело [Декларация] | |
| DataD Контекст Имя [Связываемая переменная типа Видимость связывающей переменной] (Возможно Тип) [Конструктор] [Определение производной] | |
| NewtypeD Контекст Имя [Связываемая переменная типа Видимость связывающей переменной] (Возможно Тип) Конструктор [Определение производной] | |
| TypeDataD Имя [Связываемая переменная типа Видимость связывающей переменной] (Возможно Тип) [Конструктор] | |
| TySynD Имя [Связываемая переменная типа Видимость связывающей переменной] Тип | |
| ClassD Контекст Имя [Связываемая переменная типа Видимость связывающей переменной] [Функциональная зависимость] [Декларация] | |
| InstanceD (Возможно Перекрытие) Контекст Тип [Декларация] | |
| SigD Имя Тип | |
| KiSigD Имя Тип | |
| ForeignD Внешний | |
| InfixD Приоритет Указатель пространства имен Имя | |
| DefaultD [Тип] | |
| PragmaD Директива | |
| DataFamilyD Имя [Связываемая переменная типа Видимость связывающей переменной] (Возможно Тип) | |
| DataInstD Контекст (Возможно [Связываемая переменная типа ()]) Тип (Возможно Тип) [Конструктор] [Определение производной] | |
| NewtypeInstD Контекст (Возможно [Связываемая переменная типа ()]) Тип (Возможно Тип) Конструктор [Определение производной] | |
| TySynInstD Уравнение типа синонима | |
| OpenTypeFamilyD Заголовок семейства типов | |
| ClosedTypeFamilyD Заголовок семейства типов [Уравнение типа синонима] | |
| RoleAnnotD Имя [Роль] | |
| StandaloneDerivD (Возможно Стратегия вывода) Контекст Тип | |
| DefaultSigD Имя Тип | |
| PatSynD Имя Аргументы шаблона синонима Направление шаблона синонима Шаблон | |
| PatSynSigD Имя Тип шаблона синонима | |
| ImplicitParamBindD Строка Выражение |
Экземпляры
| Ppr Dec Источник | |||||
| Data Dec | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Dec -> c Dec gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Dec dataTypeOf :: Dec -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Dec) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Dec) gmapT :: (forall b. Data b => b -> b) -> Dec -> Dec gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Dec -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Dec -> r gmapQ :: (forall d. Data d => d -> u) -> Dec -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Dec -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Dec -> m Dec gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Dec -> m Dec gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Dec -> m Dec | |||||
| Generic Dec | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
|
|
|
|
|
|
| |||
| Show Dec | |||
| Eq Dec | |||
| Ord Dec | |||
| Lift Dec | |||
type Rep Dec = D1 ('MetaData "Dec" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((((C1 ('MetaCons "FunD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Clause])) :+: (C1 ('MetaCons "ValD" '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]))) :+: C1 ('MetaCons "DataD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (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 (Maybe Kind)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Con]) :*: S1 ('MetaSel ('Nothing :: |
Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause])))))) :+: (C1 ('MetaCons "NewtypeD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause])))) :+: (C1 ('MetaCons "TypeDataD" '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 (Maybe Kind)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Con) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause])))) :+: C1 (' |
MetaCons "TySynD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)))))) :+: ((C1 ('MetaCons "ClassD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Контекст) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Зависимость]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec])))) :+: (C1 ('MetaCons "InstanceD" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Overlap)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Контекст)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя)))))) |
DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]))) :+: C1 ('MetaCons "SigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) :+: ((C1 ('MetaCons "KiSigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)) :+: C1 ('MetaCons "ForeignD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Foreign))) :+: (C1 ('MetaCons "InfixD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Fixity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NamespaceSpecifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: C1 ('MetaCons "DefaultD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) ( |
Rec0 [Тип])))))) :+: (((C1 ('MetaCons "PragmaD" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pragma)) :+: (C1 ('MetaCons "DataFamilyD" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [СвязывающийПеременная ВидСвязывания]) :*: S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (МожетБыть Тип)))) :+: C1 ('MetaCons "DataInstD" 'PrefixI 'Ложь) ((S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Контекст) :*: (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (МожетБыть [СвязывающийПеременная ()])) :*: S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип))) :*: (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (МожетБыть Тип)) :*: (S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Конструктор]) :*: S1 ('MetaSel ('Ничего :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ПравилаПроизводной])))))) :+: (C1 ('MetaCons "NewtypeInstD" ' |
PrefixI 'False) ((S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TyVarBndr ()])) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип))) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Kind)) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Конструктор) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivClause])))) :+: (C1 ('MetaCons "TySynInstD" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 УравнениеTySyn)) :+: C1 ('MetaCons "OpenTypeFamilyD" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ЗаголовокTypeFamily))))) :+: ((C1 ('MetaCons "ClosedTypeFamilyD" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ЗаголовокTypeFamily) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [УравнениеTySyn])) :+: (C1 ('MetaCons "RoleAnnotD" 'PrefixI 'False) (S1 (' |
MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Роль])) :+: C1 ('MetaCons "StandaloneDerivD" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe СтратегияВывода)) :*: (S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Контекст) :*: S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип))))) :+: ((C1 ('MetaCons "DefaultSigD" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)) :+: C1 ('MetaCons "PatSynD" 'PrefixI 'Ложь) ((S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 АргументыPatSyn)) :*: (S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 НаправлениеPatSyn) :*: S1 ('MetaSel ('Ничего :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 |
Pat)))) :+: (C1 ('MetaCons "PatSynSigD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PatSynType)) :+: C1 ('MetaCons "ImplicitParamBindD" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))))) |
data Con
Экземпляры
| Ppr Con Источник | |||||
| Data Con | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Con -> c Con gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Con dataTypeOf :: Con -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Con) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Con) gmapT :: (forall b. Data b => b -> b) -> Con -> Con gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Con -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Con -> r gmapQ :: (forall d. Data d => d -> u) -> Con -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Con -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Con -> m Con gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Con -> m Con gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Con -> m Con | |||||
| Generic Con | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
| |||
| Show Con | |||
| Eq Con | |||
| Ord Con | |||
| Lift Con | |
| type Rep Con | |
Определено в GHC.Internal.TH.Syntax | |
type Rep Con = D1 ('MetaData "Con" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((C1 ('MetaCons "NormalC" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ТипСВЯЗКИ])) :+: (C1 ('MetaCons "RecC" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ПеременнаяТипСвязки])) :+: C1 ('MetaCons "InfixC" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ТипСвязки) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ТипСвязки))))) :+: (C1 ('MetaCons "ForallC" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [СвязывающаяПеременная Специфика]) :*: (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Контекст) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Con))) |
:+: (C1 ('MetaCons "GadtC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Имя]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BangType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип))) :+: C1 ('MetaCons "RecGadtC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Имя]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VarBangType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)))))) |
data Правило
Экземпляры
| Ppr Clause Источник | |
| Data Clause | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Clause -> c Clause gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Clause dataTypeOf :: Clause -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Clause) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Clause) gmapT :: (forall b. Data b => b -> b) -> Clause -> Clause gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Clause -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Clause -> r gmapQ :: (forall d. Data d => d -> u) -> Clause -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Clause -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Clause -> m Clause gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Clause -> m Clause gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Clause -> m Clause | |
| Generic Clause | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Clause | |||||
| Eq Clause | |||||
| Ord Clause | |||||
| Lift Clause | |||||
| type Rep Clause | |||||
Определено в GHC.Internal.TH.Syntax type Rep Clause = D1 ('MetaData "Clause" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Clause" '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])))) |
data SourceUnpackedness
Конструкторы
| NoSourceUnpackedness | |
| SourceNoUnpack | |
| SourceUnpack |
Экземпляры
| Ppr SourceUnpackedness Источник | |
Определено в GHC.Internal.TH.Ppr | |
| Data SourceUnpackedness | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceUnpackedness -> c SourceUnpackedness gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceUnpackedness toConstr :: SourceUnpackedness -> Constr dataTypeOf :: SourceUnpackedness -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> 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 | |
| Generic SourceUnpackedness | |
Определено в GHC.Internal.TH.Syntax Связанные типы
Методыfrom :: SourceUnpackedness -> Rep SourceUnpackedness x to :: Rep SourceUnpackedness x -> SourceUnpackedness | |||||
| Show SourceUnpackedness | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> SourceUnpackedness -> ShowS show :: SourceUnpackedness -> String showList :: [SourceUnpackedness] -> ShowS | |||||
| Eq SourceUnpackedness | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: SourceUnpackedness -> SourceUnpackedness -> Bool (/=) :: SourceUnpackedness -> SourceUnpackedness -> Bool | |||||
| Ord SourceUnpackedness | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: SourceUnpackedness -> SourceUnpackedness -> Ordering (<) :: SourceUnpackedness -> SourceUnpackedness -> Bool (<=) :: SourceUnpackedness -> SourceUnpackedness -> Bool (>) :: SourceUnpackedness -> SourceUnpackedness -> Bool (>=) :: SourceUnpackedness -> SourceUnpackedness -> Bool max :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness min :: SourceUnpackedness -> SourceUnpackedness -> SourceUnpackedness | |||||
| Lift SourceUnpackedness | |||||
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => SourceUnpackedness -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => SourceUnpackedness -> Code m SourceUnpackedness | |||||
| 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))) |
data SourceStrictness
Конструкторы
| NoSourceStrictness | |
| SourceLazy | |
| SourceStrict |
Экземпляры
| Ppr SourceStrictness Source | |
Определено в GHC.Internal.TH.Ppr | |
| Data SourceStrictness | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceStrictness -> c SourceStrictness gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceStrictness toConstr :: SourceStrictness -> Constr dataTypeOf :: SourceStrictness -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceStrictness) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceStrictness) gmapT :: (forall b. Data b => b -> b) -> SourceStrictness -> SourceStrictness gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceStrictness -> r gmapQ :: (forall d. Data d => d -> u) -> SourceStrictness -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceStrictness -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceStrictness -> m SourceStrictness | |
| Generic SourceStrictness | |
Определено в GHC.Internal.TH.Syntax Связанные типы
Методыfrom :: SourceStrictness -> Rep SourceStrictness x to :: Rep SourceStrictness x -> SourceStrictness | |||||
| Show SourceStrictness | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> SourceStrictness -> ShowS show :: SourceStrictness -> String showList :: [SourceStrictness] -> ShowS | |||||
| Eq SourceStrictness | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: SourceStrictness -> SourceStrictness -> Bool (/=) :: SourceStrictness -> SourceStrictness -> Bool | |||||
| Ord SourceStrictness | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: SourceStrictness -> SourceStrictness -> Ordering (<) :: SourceStrictness -> SourceStrictness -> Bool (<=) :: SourceStrictness -> SourceStrictness -> Bool (>) :: SourceStrictness -> SourceStrictness -> Bool (>=) :: SourceStrictness -> SourceStrictness -> Bool max :: SourceStrictness -> SourceStrictness -> SourceStrictness min :: SourceStrictness -> SourceStrictness -> SourceStrictness | |||||
| Lift SourceStrictness | |||||
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => SourceStrictness -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => SourceStrictness -> Code m SourceStrictness | |||||
| 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))) |
data DecidedStrictness
Конструкторы
| DecidedLazy | |
| DecidedStrict | |
| DecidedUnpack |
Экземпляры
| Ppr DecidedStrictness Источник | |
Определено в GHC.Internal.TH.Ppr | |
| Data DecidedStrictness | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DecidedStrictness -> c DecidedStrictness gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DecidedStrictness toConstr :: DecidedStrictness -> Constr dataTypeOf :: DecidedStrictness -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DecidedStrictness) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DecidedStrictness) gmapT :: (forall b. Data b => b -> b) -> DecidedStrictness -> DecidedStrictness gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DecidedStrictness -> r gmapQ :: (forall d. Data d => d -> u) -> DecidedStrictness -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DecidedStrictness -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DecidedStrictness -> m DecidedStrictness | |
| Generic DecidedStrictness | |
Определено в GHC.Internal.TH.Syntax Связанные типы
Методыfrom :: DecidedStrictness -> Rep DecidedStrictness x to :: Rep DecidedStrictness x -> DecidedStrictness | |||||
| Show DecidedStrictness | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> DecidedStrictness -> ShowS show :: DecidedStrictness -> String showList :: [DecidedStrictness] -> ShowS | |||||
| Eq DecidedStrictness | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: DecidedStrictness -> DecidedStrictness -> Bool (/=) :: DecidedStrictness -> DecidedStrictness -> Bool | |||||
| Ord DecidedStrictness | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: DecidedStrictness -> DecidedStrictness -> Ordering (<) :: DecidedStrictness -> DecidedStrictness -> Bool (<=) :: DecidedStrictness -> DecidedStrictness -> Bool (>) :: DecidedStrictness -> DecidedStrictness -> Bool (>=) :: DecidedStrictness -> DecidedStrictness -> Bool max :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness min :: DecidedStrictness -> DecidedStrictness -> DecidedStrictness | |||||
| Lift DecidedStrictness | |||||
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => DecidedStrictness -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => DecidedStrictness -> Code m DecidedStrictness | |||||
| type Rep DecidedStrictness | |||||
Определено в GHC.Internal.TH.Syntax type Rep DecidedStrictness = D1 ('MetaData "DecidedStrictness" "GHC.Internal.TH.Syntax" "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 Bang
Конструкторы
| Bang SourceUnpackedness SourceStrictness |
Экземпляры
| Ppr Bang Исходный код | |||||
Определено в GHC.Internal.TH.Ppr | |||||
| Data Bang | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bang -> c Bang gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bang dataTypeOf :: Bang -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bang) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bang) gmapT :: (forall b. Data b => b -> b) -> Bang -> Bang gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bang -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bang -> r gmapQ :: (forall d. Data d => d -> u) -> Bang -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Bang -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bang -> m Bang gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bang -> m Bang gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bang -> m Bang | |||||
| Generic Bang | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Bang | |||||
| Eq Bang | |
| Ord Bang | |
| Lift Bang | |
| type Rep Bang | |
Определено в GHC.Internal.TH.Syntax type Rep Bang = D1 ('MetaData "Bang" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Bang" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceUnpackedness) :*: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceStrictness))) | |
data Foreign
Экземпляры
| Ppr Foreign Источник | |
| Data Foreign | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Foreign -> c Foreign gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Foreign dataTypeOf :: Foreign -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Foreign) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Foreign) gmapT :: (forall b. Data b => b -> b) -> Foreign -> Foreign gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Foreign -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Foreign -> r gmapQ :: (forall d. Data d => d -> u) -> Foreign -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Foreign -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Foreign -> m Foreign gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Foreign -> m Foreign gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Foreign -> m Foreign | |
| Generic Foreign | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Foreign | |||||
Определено в GHC.Internal.TH.Syntax тип Rep Foreign = D1 ('MetaData "Foreign" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "ImportF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Callconv) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Safety)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) :+: C1 ('MetaCons "ExportF" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Callconv) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) |
данные Callconv
Конструкторы
| CCall | |
| StdCall | |
| CApi | |
| Prim | |
| JavaScript |
Примеры
| Data Callconv | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Callconv -> c Callconv gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Callconv toConstr :: Callconv -> Constr dataTypeOf :: Callconv -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Callconv) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Callconv) gmapT :: (forall b. Data b => b -> b) -> Callconv -> Callconv gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Callconv -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Callconv -> r gmapQ :: (forall d. Data d => d -> u) -> Callconv -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Callconv -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Callconv -> m Callconv gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Callconv -> m Callconv gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Callconv -> m Callconv | |
| Generic Callconv | |
Определено в GHC.Internal.TH.Syntax | |
| Вывод Callconv | |
data Safety
Конструкторы
| Unsafe | |
| Safe | |
| Interruptible |
Примеры реализации
| Data Безопасность | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Безопасность -> c Безопасность gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Безопасность toConstr :: Безопасность -> Constr dataTypeOf :: Безопасность -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Безопасность) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Безопасность) gmapT :: (forall b. Data b => b -> b) -> Безопасность -> Безопасность gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Безопасность -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Безопасность -> r gmapQ :: (forall d. Data d => d -> u) -> Безопасность -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Безопасность -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Безопасность -> m Безопасность gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Безопасность -> m Безопасность gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Безопасность -> m Безопасность | |||||
| Generic Безопасность | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Вывод Безопасность | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> Безопасность -> ShowS show :: Безопасность -> Строка showList :: [Безопасность] -> ShowS | |||||
| Eq Безопасность | |||||
Экземпляры
| Ppr Pragma Источник | |||||
| Data Pragma | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pragma -> c Pragma gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pragma dataTypeOf :: Pragma -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pragma) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pragma) gmapT :: (forall b. Data b => b -> b) -> Pragma -> Pragma gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pragma -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pragma -> r gmapQ :: (forall d. Data d => d -> u) -> Pragma -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Pragma -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pragma -> m Pragma gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pragma -> m Pragma gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pragma -> m Pragma | |||||
| Generic Pragma | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
|
| |||
| Show Pragma | |||
| Eq Pragma | |||
| Ord Pragma | |||
| Lift Pragma | |||
| type Rep Pragma | |||
Определено в GHC.Internal.TH.Syntax |
type Rep Pragma = D1 ('MetaData "Pragma" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (((C1 ('MetaCons "InlineP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inline)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RuleMatch) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phases))) :+: C1 ('MetaCons "OpaqueP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "SpecialiseP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Inline)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phases))) :+: C1 ('MetaCons "SpecialiseInstP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) |
:+: ((C1 ('MetaCons "RuleP" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [TyVarBndr ()])) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RuleBndr]))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Phases)))) :+: C1 ('MetaCons "AnnP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AnnTarget) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: (C1 ('MetaCons "LineP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "CompleteP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: |
Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Имя]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Имя))) :+: C1 ('MetaCons "SCCP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Строка))))))) |
data Inline
Экземпляры
| Ppr Inline Источник | |||||
| Data Inline | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline dataTypeOf :: Inline -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline) gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline | |||||
| Generic Inline | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Inline | |||||
Экземпляры
| Ppr RuleMatch Источник | |
| Data RuleMatch | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleMatch -> c RuleMatch gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleMatch toConstr :: RuleMatch -> Constr dataTypeOf :: RuleMatch -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RuleMatch) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RuleMatch) gmapT :: (forall b. Data b => b -> b) -> RuleMatch -> RuleMatch gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatch -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatch -> r gmapQ :: (forall d. Data d => d -> u) -> RuleMatch -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RuleMatch -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RuleMatch -> m RuleMatch gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleMatch -> m RuleMatch gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleMatch -> m RuleMatch | |
| Generic RuleMatch | |
Определено в GHC.Internal.TH.Syntax | |
| Show RuleMatch | |
data Phases
Конструкторы
| AllPhases | |
| FromPhase Int | |
| BeforePhase Int |
Экземпляры
| Ppr Phases Источник | |
| Data Phases | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Phases -> c Phases gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Phases dataTypeOf :: Phases -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Phases) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Phases) gmapT :: (forall b. Data b => b -> b) -> Phases -> Phases gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Phases -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Phases -> r gmapQ :: (forall d. Data d => d -> u) -> Phases -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Phases -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Phases -> m Phases gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Phases -> m Phases gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Phases -> m Phases | |
| Generic Phases | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Phases | |||||
| Eq Phases | |||||
| Ord Phases | |||||
| Lift Phases | |||||
| type Rep Phases | |||||
Определено в GHC.Internal.TH.Syntax тип Rep Phases = D1 ('MetaData "Phases" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "AllPhases" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "FromPhase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Целое число)) :+: C1 ('MetaCons "BeforePhase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Целое число)))) |
данные RuleBndr
Конструкторы
| RuleVar Имя | |
| TypedRuleVar Имя Тип |
Экземпляры
| Ppr RuleBndr Источник | |
| Data RuleBndr | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleBndr -> c RuleBndr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleBndr toConstr :: RuleBndr -> Constr dataTypeOf :: RuleBndr -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RuleBndr) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RuleBndr) gmapT :: (forall b. Data b => b -> b) -> RuleBndr -> RuleBndr gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleBndr -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleBndr -> r gmapQ :: (forall d. Data d => d -> u) -> RuleBndr -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RuleBndr -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RuleBndr -> m RuleBndr gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleBndr -> m RuleBndr gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleBndr -> m RuleBndr | |
| Generic RuleBndr | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show RuleBndr | |||||
| Eq RuleBndr | |||||
| Ord RuleBndr | |||||
Определено в GHC.Internal.TH.Syntax | |||||
| Lift RuleBndr | |||||
| type Rep RuleBndr | |
Определено в GHC.Internal.TH.Syntax type Rep RuleBndr = D1 ('MetaData "RuleBndr" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "RuleVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя)) :+: C1 ('MetaCons "TypedRuleVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Nothing :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип))) | |
data ЦельАннотации
Конструкторы
| АннотацияМодуля | |
| АннотацияТипа Имя | |
| АннотацияЗначения Имя |
Примеры
| Data AnnTarget | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnnTarget -> c AnnTarget gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AnnTarget toConstr :: AnnTarget -> Constr dataTypeOf :: AnnTarget -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AnnTarget) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AnnTarget) gmapT :: (forall b. Data b => b -> b) -> AnnTarget -> AnnTarget gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnnTarget -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnnTarget -> r gmapQ :: (forall d. Data d => d -> u) -> AnnTarget -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> AnnTarget -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnnTarget -> m AnnTarget gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnTarget -> m AnnTarget gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnnTarget -> m AnnTarget | |||||
| Generic AnnTarget | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show AnnTarget | |||||
data FunDep
Экземпляры
| Ppr FunDep Источник | |||||
| Data FunDep | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunDep -> c FunDep gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunDep dataTypeOf :: FunDep -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunDep) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunDep) gmapT :: (forall b. Data b => b -> b) -> FunDep -> FunDep gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunDep -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunDep -> r gmapQ :: (forall d. Data d => d -> u) -> FunDep -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FunDep -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunDep -> m FunDep gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunDep -> m FunDep gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunDep -> m FunDep | |||||
| Generic FunDep | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show FunDep | |||||
| Eq FunDep | |
| Ord FunDep | |
| Lift FunDep | |
| type Rep FunDep | |
Определено в GHC.Internal.TH.Syntax type Rep FunDep = D1 ('MetaData "FunDep" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "FunDep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]))) | |
data TySynEqn
Примеры
| Data TySynEqn | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TySynEqn -> c TySynEqn gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TySynEqn toConstr :: TySynEqn -> Constr dataTypeOf :: TySynEqn -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TySynEqn) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TySynEqn) gmapT :: (forall b. Data b => b -> b) -> TySynEqn -> TySynEqn gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TySynEqn -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TySynEqn -> r gmapQ :: (forall d. Data d => d -> u) -> TySynEqn -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TySynEqn -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TySynEqn -> m TySynEqn gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TySynEqn -> m TySynEqn gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TySynEqn -> m TySynEqn | |||||
| Generic TySynEqn | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show TySynEqn | |||||
| Eq TySynEqn | |
| Ord TySynEqn | |
Определено в GHC.Internal.TH.Syntax | |
| Lift TySynEqn | |
| type Rep TySynEqn | |
Определено в GHC.Internal.TH.Syntax type Rep TySynEqn = D1 ('MetaData "TySynEqn" "GHC.Internal.TH.Syntax" "ghc-internal" 'Ложь) (C1 ('MetaCons "TySynEqn" 'PrefixI 'Ложь) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Может быть [TyVarBndr ()])) :*: (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)))) | |
data ЗаголовокТиповойСемейства
Конструкторы
| ЗаголовокТиповойСемейства Имя [TyVarBndr BndrVis] FamilyResultSig (Может быть InjectivityAnn) |
Примеры
| Data TypeFamilyHead | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeFamilyHead -> c TypeFamilyHead gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeFamilyHead toConstr :: TypeFamilyHead -> Constr dataTypeOf :: TypeFamilyHead -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c TypeFamilyHead) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c TypeFamilyHead) gmapT :: (forall b. Data b => b -> b) -> TypeFamilyHead -> TypeFamilyHead gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeFamilyHead -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeFamilyHead -> r gmapQ :: (forall d. Data d => d -> u) -> TypeFamilyHead -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeFamilyHead -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeFamilyHead -> m TypeFamilyHead gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeFamilyHead -> m TypeFamilyHead gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeFamilyHead -> m TypeFamilyHead | |
| Generic TypeFamilyHead | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show TypeFamilyHead | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> TypeFamilyHead -> ShowS show :: TypeFamilyHead -> String showList :: [TypeFamilyHead] -> ShowS | |||||
| Eq TypeFamilyHead | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: TypeFamilyHead -> TypeFamilyHead -> Bool (/=) :: TypeFamilyHead -> TypeFamilyHead -> Bool | |||||
| Ord TypeFamilyHead | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: TypeFamilyHead -> TypeFamilyHead -> Ordering (<) :: TypeFamilyHead -> TypeFamilyHead -> Bool (<=) :: TypeFamilyHead -> TypeFamilyHead -> Bool (>) :: TypeFamilyHead -> TypeFamilyHead -> Bool (>=) :: TypeFamilyHead -> TypeFamilyHead -> Bool max :: TypeFamilyHead -> TypeFamilyHead -> TypeFamilyHead min :: TypeFamilyHead -> TypeFamilyHead -> TypeFamilyHead | |||||
| Lift TypeFamilyHead | |
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => TypeFamilyHead -> m Exp liftTyped :: forall (m :: Тип -> Тип). Quote m => TypeFamilyHead -> Код m TypeFamilyHead | |
| 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 Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr BndrVis])) :*: (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FamilyResultSig) :*: S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InjectivityAnn))))) | |
data Fixity
Конструкторы
| Fixity Целое FixityDirection |
Экземпляры
| Data Fixity | |||||
Определено в GHC.Internal.TH.Syntax Методы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 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.TH.Syntax Связанные типы
| |||||
| Show Fixity | |||||
| Eq Fixity | |||||
| Ord Fixity | |
| Lift Fixity | |
| 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))) | |
data FixityDirection
Экземпляры
| Data FixityDirection | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FixityDirection -> c FixityDirection gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FixityDirection toConstr :: FixityDirection -> Constr dataTypeOf :: FixityDirection -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FixityDirection) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FixityDirection) gmapT :: (forall b. Data b => b -> b) -> FixityDirection -> FixityDirection gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FixityDirection -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FixityDirection -> r gmapQ :: (forall d. Data d => d -> u) -> FixityDirection -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FixityDirection -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FixityDirection -> m FixityDirection gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FixityDirection -> m FixityDirection gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FixityDirection -> m FixityDirection | |||||
| Generic FixityDirection | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
Методыfrom :: FixityDirection -> Rep FixityDirection x to :: Rep FixityDirection x -> FixityDirection | |||||
| Show FixityDirection | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> FixityDirection -> ShowS show :: FixityDirection -> String showList :: [FixityDirection] -> ShowS | |||||
| Eq FixityDirection | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: FixityDirection -> FixityDirection -> Bool (/=) :: FixityDirection -> FixityDirection -> Bool | |
| Ord FixityDirection | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: FixityDirection -> FixityDirection -> Ordering (<) :: FixityDirection -> FixityDirection -> Bool (<=) :: FixityDirection -> FixityDirection -> Bool (>) :: FixityDirection -> FixityDirection -> Bool (>=) :: FixityDirection -> FixityDirection -> Bool max :: FixityDirection -> FixityDirection -> FixityDirection min :: FixityDirection -> FixityDirection -> FixityDirection | |
| Lift FixityDirection | |
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => FixityDirection -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => FixityDirection -> Code m FixityDirection | |
| 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))) | |
data NamespaceSpecifier
Примеры реализации
| Data NamespaceSpecifier | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamespaceSpecifier -> c NamespaceSpecifier gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamespaceSpecifier toConstr :: NamespaceSpecifier -> Constr dataTypeOf :: NamespaceSpecifier -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamespaceSpecifier) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamespaceSpecifier) gmapT :: (forall b. Data b => b -> b) -> NamespaceSpecifier -> NamespaceSpecifier gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamespaceSpecifier -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamespaceSpecifier -> r gmapQ :: (forall d. Data d => d -> u) -> NamespaceSpecifier -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NamespaceSpecifier -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamespaceSpecifier -> m NamespaceSpecifier gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamespaceSpecifier -> m NamespaceSpecifier gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamespaceSpecifier -> m NamespaceSpecifier | |||||
| Generic NamespaceSpecifier | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
Методыfrom :: NamespaceSpecifier -> Rep NamespaceSpecifier x to :: Rep NamespaceSpecifier x -> NamespaceSpecifier | |||||
| Вывод NamespaceSpecifier | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> NamespaceSpecifier -> ShowS show :: NamespaceSpecifier -> String showList :: [NamespaceSpecifier] -> ShowS | |||||
| Eq NamespaceSpecifier | |
Определено в GHC.Internal.TH.Syntax Методы== :: NamespaceSpecifier -> NamespaceSpecifier -> Bool /= :: NamespaceSpecifier -> NamespaceSpecifier -> Bool | |
| Ord NamespaceSpecifier | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: NamespaceSpecifier -> NamespaceSpecifier -> Ordering < :: NamespaceSpecifier -> NamespaceSpecifier -> Bool <= :: NamespaceSpecifier -> NamespaceSpecifier -> Bool > :: NamespaceSpecifier -> NamespaceSpecifier -> Bool >= :: NamespaceSpecifier -> NamespaceSpecifier -> Bool max :: NamespaceSpecifier -> NamespaceSpecifier -> NamespaceSpecifier min :: NamespaceSpecifier -> NamespaceSpecifier -> NamespaceSpecifier | |
| Lift NamespaceSpecifier | |
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => NamespaceSpecifier -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => NamespaceSpecifier -> Code m NamespaceSpecifier | |
| type Rep NamespaceSpecifier | |
Значение по умолчанию для Fixity :: Fixity
data Направление Синтаксического Правила
Конструкторы
| Одностороннее | |
| Встроенное двустороннее | |
| Явное двустороннее [Clause] |
Экземпляры
| Ppr PatSynDir Источник | |
| Data PatSynDir | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PatSynDir -> c PatSynDir gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PatSynDir toConstr :: PatSynDir -> Constr dataTypeOf :: PatSynDir -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PatSynDir) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PatSynDir) gmapT :: (forall b. Data b => b -> b) -> PatSynDir -> PatSynDir gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PatSynDir -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PatSynDir -> r gmapQ :: (forall d. Data d => d -> u) -> PatSynDir -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PatSynDir -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PatSynDir -> m PatSynDir gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PatSynDir -> m PatSynDir gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PatSynDir -> m PatSynDir | |
| Generic PatSynDir | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show PatSynDir | |||||
| Eq PatSynDir | |||||
| Ord PatSynDir | |||||
Определено в GHC.Internal.TH.Syntax | |||||
| Lift PatSynDir | |||||
| type Rep PatSynDir | |||||
Определено в GHC.Internal.TH.Syntax type Rep PatSynDir = D1 ('MetaData "PatSynDir" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "Unidir" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "ImplBidir" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ExplBidir" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Предложение])))) |
data PatSynArgs
Конструкторы
| PrefixPatSyn [Имя] | |
| InfixPatSyn Имя Имя | |
| RecordPatSyn [Имя] |
Примеры реализации
| Ppr PatSynArgs Исходный код | |
Определено в GHC.Internal.TH.Ppr | |
| Data PatSynArgs | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PatSynArgs -> c PatSynArgs gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PatSynArgs toConstr :: PatSynArgs -> Constr dataTypeOf :: PatSynArgs -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Возможно (c PatSynArgs) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Возможно (c PatSynArgs) gmapT :: (forall b. Data b => b -> b) -> PatSynArgs -> PatSynArgs gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PatSynArgs -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PatSynArgs -> r gmapQ :: (forall d. Data d => d -> u) -> PatSynArgs -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PatSynArgs -> u gmapM :: Монад m => (forall d. Data d => d -> m d) -> PatSynArgs -> m PatSynArgs gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PatSynArgs -> m PatSynArgs gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PatSynArgs -> m PatSynArgs | |
| Generic PatSynArgs | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show PatSynArgs | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> PatSynArgs -> ShowS show :: PatSynArgs -> String showList :: [PatSynArgs] -> ShowS | |||||
| Eq PatSynArgs | |||||
Определено в GHC.Internal.TH.Syntax | |||||
| Ord PatSynArgs | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: PatSynArgs -> PatSynArgs -> Ordering (<) :: PatSynArgs -> PatSynArgs -> Bool (<=) :: PatSynArgs -> PatSynArgs -> Bool (>) :: PatSynArgs -> PatSynArgs -> Bool (>=) :: PatSynArgs -> PatSynArgs -> Bool max :: PatSynArgs -> PatSynArgs -> PatSynArgs min :: PatSynArgs -> PatSynArgs -> PatSynArgs | |
| Lift PatSynArgs | |
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => PatSynArgs -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => PatSynArgs -> Code m PatSynArgs | |
| type Rep PatSynArgs | |
Определено в GHC.Internal.TH.Syntax type Rep PatSynArgs = D1 ('MetaData "PatSynArgs" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "PrefixPatSyn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])) :+: (C1 ('MetaCons "InfixPatSyn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "RecordPatSyn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name])))) | |
Выражения
data Exp
Конструкторы
| VarE Имя | |
| ConE Имя | |
| LitE Lit | |
| AppE Exp Exp | |
| AppTypeE Exp Тип | |
| InfixE (МожетБыть Exp) Exp (МожетБыть Exp) | |
| UInfixE Exp Exp Exp | |
| ParensE Exp | |
| LamE [Pat] Exp | |
| LamCaseE [Match] | |
| LamCasesE [Clause] | |
| TupE [МожетБыть Exp] | |
| UnboxedTupE [МожетБыть Exp] | |
| UnboxedSumE Exp SumAlt SumArity | |
| CondE Exp Exp Exp | |
| MultiIfE [(Guard, Exp)] | |
| LetE [Dec] Exp | |
| CaseE Exp [Match] | |
| DoE (МожетБыть ModName) [Stmt] | |
| MDoE (МожетБыть ModName) [Stmt] | |
| CompE [Stmt] | |
| ArithSeqE Диапазон | |
| ListE [Exp] | |
| SigE Exp Тип | |
| RecConE Имя [FieldExp] | |
| RecUpdE Exp [FieldExp] | |
| StaticE Exp | |
| UnboundVarE Имя | |
| LabelE Строка | |
| ImplicitParamVarE Строка | |
| GetFieldE Exp Строка | |
| ProjectionE (НепустойСписок Строка) | |
| TypedBracketE Exp | |
| TypedSpliceE Exp | |
| TypeE Тип | |
| ForallE [TyVarBndr Специфика] Exp | |
| ForallVisE [TyVarBndr ()] Exp | |
| ConstrainedE [Exp] Exp |
Экземпляры
| Ppr Exp Источник | |||||
| Data Exp | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp dataTypeOf :: Exp -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp) gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp | |||||
| Generic Exp | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
|
|
|
|
|
| |||
| Show Exp | |||
| Eq Exp | |||
| Ord Exp | |||
| Lift Exp | |||
| type Rep Exp | |||
Определено в GHC.Internal.TH.Syntax | |||
type Rep Exp = D1 ('MetaData "Exp" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (((((C1 ('MetaCons "VarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "LitE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lit)) :+: C1 ('MetaCons "AppE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))) :+: ((C1 ('MetaCons "AppTypeE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "InfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: |
Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Exp))))) :+: (C1 ('MetaCons "UInfixE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: (C1 ('MetaCons "ParensE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "LamE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)))))) :+: (((C1 ('MetaCons "LamCaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match])) :+: C1 ('MetaCons "LamCasesE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Clause]))) :+: (C1 ('MetaCons "TupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp])))) |
:+: (C1 ('MetaCons "UnboxedTupE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Maybe Exp])) :+: C1 ('MetaCons "UnboxedSumE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumAlt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumArity)))))) :+: ((C1 ('MetaCons "CondE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: C1 ('MetaCons "MultiIfE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Guard, Exp)]))) :+: (C1 ('MetaCons "LetE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) |
:+: (C1 ('MetaCons "CaseE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match])) :+: C1 ('MetaCons "DoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))))))) :+: ((((C1 ('MetaCons "MDoE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModName)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt])) :+: C1 ('MetaCons "CompE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) :+: (C1 ('MetaCons "ArithSeqE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "ListE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp])))) :+: ((C1 ('MetaCons "SigE" 'PrefixI 'False) (S1 ('MetaSel (' |
Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "RecConE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp]))) :+: (C1 ('MetaCons "RecUpdE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldExp])) :+: (C1 ('MetaCons "StaticE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "UnboundVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))))) :+: (((C1 ('MetaCons "LabelE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка)) :+: C1 ('MetaCons "ImplicitParamVarE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка))) |
:+: (C1 ('MetaCons "GetFieldE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка)) :+: (C1 ('MetaCons "ProjectionE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Строка))) :+: C1 ('MetaCons "TypedBracketE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))) :+: ((C1 ('MetaCons "TypedSpliceE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "TypeE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип))) :+: (C1 ('MetaCons "ForallE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr Специфика]) :*: S1 ('MetaSel ('Ничего :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "ForallVisE" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: 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)))))))) |
data Match
Экземпляры
| Ppr Match Источник | |
| Data Match | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Match -> c Match gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Match dataTypeOf :: Match -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Match) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Match) gmapT :: (forall b. Data b => b -> b) -> Match -> Match gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Match -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Match -> r gmapQ :: (forall d. Data d => d -> u) -> Match -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Match -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Match -> m Match gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Match -> m Match gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Match -> m Match | |
| Generic Match | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Match | |||||
| Eq Match | |||||
| Ord Match | |||||
| Lift Match | |||||
| type Rep Match | |||||
Определено в GHC.Internal.TH.Syntax тип 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])))) |
данные Тело
Примеры
| Data Body | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Body -> c Body gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Body dataTypeOf :: Body -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Body) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Body) gmapT :: (forall b. Data b => b -> b) -> Body -> Body gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Body -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Body -> r gmapQ :: (forall d. Data d => d -> u) -> Body -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Body -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Body -> m Body gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Body -> m Body gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Body -> m Body | |||||
| Generic Body | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Body | |||||
| Eq Body | |||||
| Ord Body | |
| Lift Body | |
| type Rep Body | |
Определено в GHC.Internal.TH.Syntax type Rep Body = D1 ('MetaData "Body" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "GuardedB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Guard, Exp)])) :+: C1 ('MetaCons "NormalB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) | |
data Условие
Примеры
| Data Guard | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Guard -> c Guard gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Guard dataTypeOf :: Guard -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может (c Guard) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может (c Guard) gmapT :: (forall b. Data b => b -> b) -> Guard -> Guard gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Guard -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Guard -> r gmapQ :: (forall d. Data d => d -> u) -> Guard -> [u] gmapQi :: Целое -> (forall d. Data d => d -> u) -> Guard -> u gmapM :: Монад m => (forall d. Data d => d -> m d) -> Guard -> m Guard gmapMp :: МонадПлюс m => (forall d. Data d => d -> m d) -> Guard -> m Guard gmapMo :: МонадПлюс m => (forall d. Data d => d -> m d) -> Guard -> m Guard | |||||
| Generic Guard | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Вывод Guard | |||||
| Eq Guard | |||||
| Ord Guard | |
| Lift Guard | |
| type Rep Guard | |
Определено в GHC.Internal.TH.Syntax type Rep Guard = D1 ('MetaData "Guard" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "NormalG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "PatG" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt]))) | |
тип Stmt
Экземпляры
| Ppr Stmt Источник | |
| Data Stmt | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stmt -> c Stmt gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stmt dataTypeOf :: Stmt -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stmt) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stmt) gmapT :: (forall b. Data b => b -> b) -> Stmt -> Stmt gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stmt -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stmt -> r gmapQ :: (forall d. Data d => d -> u) -> Stmt -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Stmt -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stmt -> m Stmt | |
| Generic Stmt | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Stmt | |||||
| Eq Stmt | |||||
Определено в GHC.Internal.TH.Syntax тип Rep Stmt = D1 ('MetaData "Stmt" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((C1 ('MetaCons "BindS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "LetS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Dec]))) :+: (C1 ('MetaCons "NoBindS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: (C1 ('MetaCons "ParS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [[Stmt]])) :+: C1 ('MetaCons "RecS" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stmt])))) |
данные Range
Экземпляры
| Ppr Range Исходный код | |
Определено в GHC.Internal.TH.Ppr | |
| Data Range | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Range -> c Range gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Range dataTypeOf :: Range -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Range) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Range) gmapT :: (forall b. Data b => b -> b) -> Range -> Range gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Range -> r gmapQ :: (forall d. Data d => d -> u) -> Range -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Range -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Range -> m Range gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Range -> m Range | |
| Generic Range | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Range | |||||
Определено в GHC.Internal.TH.Syntax type Rep Range = D1 ('MetaData "Range" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((C1 ('MetaCons "FromR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "FromThenR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))) :+: (C1 ('MetaCons "FromToR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))) :+: C1 ('MetaCons "FromThenToR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp)) :+: C1 ('MetaCons "FromThenToR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exp))))) |
data Lit
Краткое описание конструкторов
| CharL Char | |
| StringL String | |
| IntegerL Integer | |
| RationalL Rational | |
| IntPrimL Integer | |
| WordPrimL Integer | |
| FloatPrimL Rational | |
| DoublePrimL Rational | |
| StringPrimL [Word8] | |
| BytesPrimL Bytes | |
| CharPrimL Char |
Экземпляры
| Ppr Lit Источник | |||||
| Data Lit | |||||
Определено в GHC.Internal.TH.Syntax Краткое описание методовgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Lit -> c Lit gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Lit dataTypeOf :: Lit -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Lit) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Lit) gmapT :: (forall b. Data b => b -> b) -> Lit -> Lit gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Lit -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Lit -> r gmapQ :: (forall d. Data d => d -> u) -> Lit -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Lit -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Lit -> m Lit gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Lit -> m Lit gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Lit -> m Lit | |||||
| Generic Lit | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
| |||
| Show Lit | |||
| Eq Lit | |||
| Ord Lit | |||
| Lift Lit | |||
| type Rep Lit | |||
Определено в GHC.Internal.TH.Syntax | |||
type Rep Lit = D1 ('MetaData "Lit" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (((C1 ('MetaCons "CharL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Символ)) :+: C1 ('MetaCons "StringL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка)) :+: (C1 ('MetaCons "IntegerL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Целое число)) :+: (C1 ('MetaCons "RationalL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Рациональное число)) :+: C1 ('MetaCons "IntPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Целое число)) :+: ((C1 ('MetaCons "WordPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Целое число)) :+: (C1 ('MetaCons "FloatPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Рациональное число)) :+: C1 ('MetaCons "DoublePrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Рациональное число)) :+: (C1 ('MetaCons "StringPrimL" 'PrefixI 'False) (S1 ('MetaSel (' |
Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Word8])) :+: (C1 ('MetaCons "BytesPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes)) :+: C1 ('MetaCons "CharPrimL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)))))) |
Шаблоны
data Pat
Конструкторы
| LitP Lit | |
| VarP Имя | |
| TupP [Pat] | |
| UnboxedTupP [Pat] | |
| UnboxedSumP Pat SumAlt SumArity | |
| ConP Имя [Тип] [Pat] | |
| InfixP Pat Имя Pat | |
| UInfixP Pat Имя Pat | |
| ParensP Pat | |
| TildeP Pat | |
| BangP Pat | |
| AsP Имя Pat | |
| WildP | |
| RecP Имя [FieldPat] | |
| ListP [Pat] | |
| SigP Pat Тип | |
| ViewP Exp Pat | |
| TypeP Тип | |
| InvisP Тип | |
| OrP (NonEmpty Pat) |
Экземпляры
| Ppr Pat Источник | |||||
| Data Pat | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pat -> c Pat gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pat dataTypeOf :: Pat -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pat) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pat) gmapT :: (forall b. Data b => b -> b) -> Pat -> Pat gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pat -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pat -> r gmapQ :: (forall d. Data d => d -> u) -> Pat -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Pat -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pat -> m Pat gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pat -> m Pat gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pat -> m Pat | |||||
| Generic Pat | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
|
|
| |||
| Вывод Паттерн | |||
| Равенство Паттерн | |||
| Порядок Паттерн | |||
Определено в GHC.Internal.TH.Syntax | |||
| Поднять Паттерн | |||
| type Представление Паттерн | |||
Определено в GHC.Internal.TH.Syntax | |||
type Rep Pat = D1 ('MetaData "Pat" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((((C1 ('MetaCons "LitP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lit)) :+: C1 ('MetaCons "VarP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "TupP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat])) :+: (C1 ('MetaCons "UnboxedTupP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat])) :+: C1 ('MetaCons "UnboxedSumP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SumAlt) :*: S1 ('MetaSel ('Nothing :: Maybe |
Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pat]))) :+: C1 ('MetaCons "InfixP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)))) :+: (C1 ('MetaCons "UInfixP" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat) :*: (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat))) :+: (C1 ('MetaCons "ParensP" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)) :+: C1 ('MetaCons "TildeP" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)))))) :+: (((C1 ('MetaCons "BangP" 'PrefixI 'False) (S1 ('MetaSel ('Ничего :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pat)) :+: C1 ('MetaCons "AsP" 'PrefixI 'False) (S1 ('MetaSel (' |
Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Шаблон))) :+: (C1 ('MetaCons "WildP" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "RecP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Имя) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ПолеШаблон])) :+: C1 ('MetaCons "ListP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Шаблон]))))) :+: ((C1 ('MetaCons "SigP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Шаблон) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)) :+: C1 ('MetaCons "ViewP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Выражение) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Шаблон))) :+: (C1 ('MetaCons "TypeP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness ' |
DecidedLazy) (Rec0 Type)) :+: (C1 ('MetaCons "InvisP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "OrP" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Pat)))))))) |
Типы
data Type
Конструкторы
| ForallT [TyVarBndr Specificity] Cxt Type | |
| ForallVisT [TyVarBndr ()] Type | |
| AppT Type Type | |
| AppKindT Type Kind | |
| SigT Type Kind | |
| VarT Name | |
| ConT Name | |
| PromotedT Name | |
| InfixT Type Name Type | |
| UInfixT Type Name Type | |
| PromotedInfixT Type Name Type | |
| PromotedUInfixT Type Name Type | |
| ParensT Type | |
| TupleT Int | |
| UnboxedTupleT Int | |
| UnboxedSumT SumArity | |
| ArrowT | |
| MulArrowT | |
| EqualityT | |
| ListT | |
| PromotedTupleT Int | |
| PromotedNilT | |
| PromotedConsT | |
| StarT | |
| ConstraintT | |
| LitT TyLit | |
| WildCardT | |
| ImplicitParamT String Type |
Вхождения
| Ppr Type Источник | |||||
| Data Type | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type dataTypeOf :: Type -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) gmapT :: (forall b. Data b => b -> b) -> Type -> Type gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type | |||||
| Generic Type | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
|
|
|
|
type Rep Type = D1 ('MetaData "Type" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((((C1 ('MetaCons "ForallT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr Specificity]) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Cxt) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :+: (C1 ('MetaCons "ForallVisT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr ()]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "AppT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) :+: ((C1 ('MetaCons "AppKindT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind)) :+: C1 ('MetaCons "SigT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness ' |
NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Kind))) :+: (C1 ('MetaCons "VarT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons "ConT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))))) :+: ((C1 ('MetaCons "PromotedT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: (C1 ('MetaCons "InfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :+: C1 ('MetaCons "UInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness ' |
DecidedLazy) (Rec0 Type))))) :+: ((C1 ('MetaCons "PromotedInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))) :+: C1 ('MetaCons "PromotedUInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) :+: (C1 ('MetaCons "PromotedUInfixT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))))) :+: (C1 ('MetaCons "ParensT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "TupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))) :+: (((C1 ('MetaCons "UnboxedTupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "UnboxedSumT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) ' |
NoSourceUnpackedness 'NoSourceStrictness 'ОпределённыйЛенивый) (Rec0 КоличествоАргументовСуммы)) :+: C1 ('MetaCons "ArrowT" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "MulArrowT" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "EqualityT" 'PrefixI 'False) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "ListT" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "PromotedTupleT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'ОпределённыйЛенивый) (Rec0 ЦелоеЧисло))))) :+: ((C1 ('MetaCons "PromotedNilT" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: (C1 ('MetaCons "PromotedConsT" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "StarT" 'PrefixI 'False) (U1 :: Тип -> Тип))) :+: ((C1 ('MetaCons "ConstraintT" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "LitT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'ОпределённыйЛенивый) (Rec0 ЛитТип))) :+: (C1 ('MetaCons "WildCardT" 'PrefixI 'False) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "ImplicitParamT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'ОпределённыйЛенивый) (Rec0 Строка) :*: S1 ('MetaSel ('Nothing :: МожетБыть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'ОпределённыйЛенивый) (Rec0 Тип))))))) |
data СвязывающаяПеременнаяТипа флаг
Экземпляры
| Functor TyVarBndr | |
| Foldable TyVarBndr | |
Определено в GHC.Internal.TH.Syntax Методыfold :: Monoid m => TyVarBndr m -> m foldMap :: Monoid m => (a -> m) -> TyVarBndr a -> m foldMap' :: Monoid m => (a -> m) -> TyVarBndr a -> m foldr :: (a -> b -> b) -> b -> TyVarBndr a -> b foldr' :: (a -> b -> b) -> b -> TyVarBndr a -> b foldl :: (b -> a -> b) -> b -> TyVarBndr a -> b foldl' :: (b -> a -> b) -> b -> TyVarBndr a -> b foldr1 :: (a -> a -> a) -> TyVarBndr a -> a foldl1 :: (a -> a -> a) -> TyVarBndr a -> a elem :: Eq a => a -> TyVarBndr a -> Bool maximum :: Ord a => TyVarBndr a -> a minimum :: Ord a => TyVarBndr a -> a | |
| Traversable TyVarBndr | |
Определено в GHC.Internal.TH.Syntax | |
| Lift a => Lift (TyVarBndr a :: Type) | |
| PprFlag flag => Ppr (TyVarBndr flag) Источник | |
| Data flag => Data (TyVarBndr flag) | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyVarBndr flag -> c (TyVarBndr flag) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TyVarBndr flag) toConstr :: TyVarBndr flag -> Constr dataTypeOf :: TyVarBndr flag -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TyVarBndr flag)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TyVarBndr flag)) gmapT :: (forall b. Data b => b -> b) -> TyVarBndr flag -> TyVarBndr flag gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyVarBndr flag -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyVarBndr flag -> r gmapQ :: (forall d. Data d => d -> u) -> TyVarBndr flag -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TyVarBndr flag -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TyVarBndr flag -> m (TyVarBndr flag) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TyVarBndr flag -> m (TyVarBndr flag) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TyVarBndr flag -> m (TyVarBndr flag) | |
| Generic (TyVarBndr flag) | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show флаг => Show (TyVarBndr флаг) | |||||
| Eq флаг => Eq (TyVarBndr флаг) | |||||
| Ord флаг => Ord (TyVarBndr флаг) | |||||
Определено в GHC.Internal.TH.Syntax Краткое описание методовcompare :: TyVarBndr flag -> TyVarBndr flag -> Ordering (<) :: TyVarBndr flag -> TyVarBndr flag -> Bool (<=) :: TyVarBndr flag -> TyVarBndr flag -> Bool (>) :: TyVarBndr flag -> TyVarBndr flag -> Bool (>=) :: TyVarBndr flag -> TyVarBndr flag -> Bool | |
| type Rep (TyVarBndr flag) | |
Определено в GHC.Internal.TH.Syntax type Rep (TyVarBndr flag) = 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)))) | |
data TyLit
Экземпляры
| Ppr TyLit Источник | |
| Data TyLit | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyLit -> c TyLit gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TyLit dataTypeOf :: TyLit -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TyLit) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TyLit) gmapT :: (forall b. Data b => b -> b) -> TyLit -> TyLit gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyLit -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyLit -> r gmapQ :: (forall d. Data d => d -> u) -> TyLit -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TyLit -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TyLit -> m TyLit gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TyLit -> m TyLit gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TyLit -> m TyLit | |
| Generic TyLit | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show TyLit | |||||
| Eq TyLit | |||||
| Ord TyLit | |||||
| Lift TyLit | |||||
| type Rep TyLit | |
Определено в GHC.Internal.TH.Syntax type Rep TyLit = D1 ('MetaData "TyLit" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) (C1 ('MetaCons "NumTyLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Целое число)) :+: (C1 ('MetaCons "StrTyLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Возможность Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Строка)) :+: C1 ('MetaCons "CharTyLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Возможность Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Символ)))) | |
data Роль
Конструкторы
| НоминальнаяР | |
| РепрезентационнаяР | |
| ФантомнаяР | |
| ВыводР |
Экземпляры
| Ppr Role Source | |||||
| Data Role | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Role -> c Role gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Role dataTypeOf :: Role -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Role) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Role) gmapT :: (forall b. Data b => b -> b) -> Role -> Role gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Role -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Role -> r gmapQ :: (forall d. Data d => d -> u) -> Role -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Role -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Role -> m Role gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Role -> m Role gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Role -> m Role | |||||
| Generic Role | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Роль | |
| Eq Роль | |
| Ord Роль | |
| Lift Роль | |
| type Представление Роль | |
Определено в GHC.Internal.TH.Syntax type Представление Роль = D1 ('Метаданные "Роль" "GHC.Internal.TH.Syntax" "ghc-internal" 'Ложь) ((C1 ('MetaCons "NominalR" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "RepresentationalR" 'PrefixI 'Ложь) (U1 :: Тип -> Тип)) :+: (C1 ('MetaCons "PhantomR" 'PrefixI 'Ложь) (U1 :: Тип -> Тип) :+: C1 ('MetaCons "InferR" 'PrefixI 'Ложь) (U1 :: Тип -> Тип))) | |
data УровеньСпецифичности
Конструкторы
| УказанныйУровень | |
| ВыведенныйУровень |
Экземпляры
| PprFlag Specificity Источник | |||||
Определено в GHC.Internal.TH.Ppr Методы | |||||
| Data Specificity | |||||
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Specificity -> c Specificity gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Specificity toConstr :: Specificity -> Constr dataTypeOf :: Specificity -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Specificity) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Specificity) gmapT :: (forall b. Data b => b -> b) -> Specificity -> Specificity gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Specificity -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Specificity -> r gmapQ :: (forall d. Data d => d -> u) -> Specificity -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Specificity -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Specificity -> m Specificity gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Specificity -> m Specificity gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Specificity -> m Specificity | |||||
| Generic Specificity | |||||
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show Specificity | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> Specificity -> ShowS show :: Specificity -> String showList :: [Specificity] -> ShowS | |
| Eq Specificity | |
Определено в GHC.Internal.TH.Syntax | |
| Ord Specificity | |
Определено в GHC.Internal.TH.Syntax Методыcompare :: Specificity -> Specificity -> Ordering (<) :: Specificity -> Specificity -> Bool (<=) :: Specificity -> Specificity -> Bool (>) :: Specificity -> Specificity -> Bool (>=) :: Specificity -> Specificity -> Bool max :: Specificity -> Specificity -> Specificity min :: Specificity -> Specificity -> Specificity | |
| DefaultBndrFlag Specificity Исходный код | |
Определено в Language.Haskell.TH.Lib Методы | |
| Lift Specificity | |
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => Specificity -> m Exp liftTyped :: forall (m :: Тип -> Тип). Quote m => Specificity -> Code m Specificity | |
| type Rep Specificity | |
data BndrVis
Экземпляры
| PprFlag BndrVis Исходный код | |
Определено в GHC.Internal.TH.Ppr Методы | |
| Data BndrVis | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BndrVis -> c BndrVis gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BndrVis dataTypeOf :: BndrVis -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BndrVis) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BndrVis) gmapT :: (forall b. Data b => b -> b) -> BndrVis -> BndrVis gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BndrVis -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BndrVis -> r gmapQ :: (forall d. Data d => d -> u) -> BndrVis -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BndrVis -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BndrVis -> m BndrVis gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BndrVis -> m BndrVis gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BndrVis -> m BndrVis | |
| Generic BndrVis | |
Определено в GHC.Internal.TH.Syntax | |
| Show BndrVis | |
| Eq BndrVis | |
| Ord BndrVis | |
| DefaultBndrFlag BndrVis Исходный код | |
Определено в Language.Haskell.TH.Lib Методы | |
| Lift BndrVis | |
| type Rep BndrVis | |
data FamilyResultSig
Экземпляры
| Ppr FamilyResultSig Источник | |
Определено в GHC.Internal.TH.Ppr | |
| Data FamilyResultSig | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FamilyResultSig -> c FamilyResultSig gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FamilyResultSig toConstr :: FamilyResultSig -> Constr dataTypeOf :: FamilyResultSig -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FamilyResultSig) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FamilyResultSig) gmapT :: (forall b. Data b => b -> b) -> FamilyResultSig -> FamilyResultSig gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FamilyResultSig -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FamilyResultSig -> r gmapQ :: (forall d. Data d => d -> u) -> FamilyResultSig -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FamilyResultSig -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FamilyResultSig -> m FamilyResultSig gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FamilyResultSig -> m FamilyResultSig gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FamilyResultSig -> m FamilyResultSig | |
| Generic FamilyResultSig | |
Определено в GHC.Internal.TH.Syntax Связанные типы
Методыfrom :: FamilyResultSig -> Rep FamilyResultSig x to :: Rep FamilyResultSig x -> FamilyResultSig | |||||
| Show FamilyResultSig | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> FamilyResultSig -> ShowS show :: FamilyResultSig -> String showList :: [FamilyResultSig] -> ShowS | |||||
| Eq FamilyResultSig | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: FamilyResultSig -> FamilyResultSig -> Bool (/=) :: FamilyResultSig -> FamilyResultSig -> Bool | |||||
| Ord FamilyResultSig | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: FamilyResultSig -> FamilyResultSig -> Ordering (<) :: FamilyResultSig -> FamilyResultSig -> Bool (<=) :: FamilyResultSig -> FamilyResultSig -> Bool (>) :: FamilyResultSig -> FamilyResultSig -> Bool (>=) :: FamilyResultSig -> FamilyResultSig -> Bool max :: FamilyResultSig -> FamilyResultSig -> FamilyResultSig min :: FamilyResultSig -> FamilyResultSig -> FamilyResultSig | |||||
| Lift FamilyResultSig | |||||
Определено в GHC.Internal.TH.Lift Методыlift :: Выдержка m => FamilyResultSig -> m Exp liftTyped :: forall (m :: Тип -> Тип). Выдержка m => FamilyResultSig -> Код m FamilyResultSig | |
| 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 :: Тип -> Тип) :+: (C1 ('MetaCons "KindSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Тип)) :+: C1 ('MetaCons "TyVarSig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Может быть Символ) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TyVarBndr ()))))) | |
data InjectivityAnn
Конструкторы
| InjectivityAnn Имя [Имя] |
Примеры
| Ppr InjectivityAnn Исходный код | |
Определено в GHC.Internal.TH.Ppr | |
| Data InjectivityAnn | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InjectivityAnn -> c InjectivityAnn gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InjectivityAnn toConstr :: InjectivityAnn -> Constr dataTypeOf :: InjectivityAnn -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Может быть (c InjectivityAnn) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Может быть (c InjectivityAnn) gmapT :: (forall b. Data b => b -> b) -> InjectivityAnn -> InjectivityAnn gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InjectivityAnn -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InjectivityAnn -> r gmapQ :: (forall d. Data d => d -> u) -> InjectivityAnn -> [u] gmapQi :: Целое число -> (forall d. Data d => d -> u) -> InjectivityAnn -> u gmapM :: Моноид m => (forall d. Data d => d -> m d) -> InjectivityAnn -> m InjectivityAnn gmapMp :: Моноид плюс m => (forall d. Data d => d -> m d) -> InjectivityAnn -> m InjectivityAnn gmapMo :: Моноид плюс m => (forall d. Data d => d -> m d) -> InjectivityAnn -> m InjectivityAnn | |
| Generic InjectivityAnn | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show InjectivityAnn | |||||
Определено в GHC.Internal.TH.Syntax МетодыshowsPrec :: Int -> InjectivityAnn -> ShowS show :: InjectivityAnn -> String showList :: [InjectivityAnn] -> ShowS | |||||
| Eq InjectivityAnn | |||||
Определено в GHC.Internal.TH.Syntax Методы(==) :: InjectivityAnn -> InjectivityAnn -> Bool (/=) :: InjectivityAnn -> InjectivityAnn -> Bool | |||||
| Ord InjectivityAnn | |||||
Определено в GHC.Internal.TH.Syntax Методыcompare :: InjectivityAnn -> InjectivityAnn -> Ordering (<) :: InjectivityAnn -> InjectivityAnn -> Bool (<=) :: InjectivityAnn -> InjectivityAnn -> Bool (>) :: InjectivityAnn -> InjectivityAnn -> Bool (>=) :: InjectivityAnn -> InjectivityAnn -> Bool max :: InjectivityAnn -> InjectivityAnn -> InjectivityAnn min :: InjectivityAnn -> InjectivityAnn -> InjectivityAnn | |||||
| Lift InjectivityAnn | |||||
Определено в GHC.Internal.TH.Lift Методыlift :: Quote m => InjectivityAnn -> m Exp liftTyped :: forall (m :: Type -> Type). Quote m => InjectivityAnn -> Code m InjectivityAnn | |||||
| type Rep InjectivityAnn | |||||
Определено в GHC.Internal.TH.Syntax тип 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]))) |
тип ТипПаттернаСинонима = Тип
тип ТипВскрика = (Вскрик, Тип)
тип ТипПеременнойВскрика = (Имя, Вскрик, Тип)
Документация
putDoc :: МестоРасположенияДокументации -> Строка -> Q ()
getDoc :: МестоРасположенияДокументации -> Q (МожетБыть Строка)
тип МестоРасположенияДокументации
Конструкторы
| ДокументМодуля | |
| ДокументДекларации Имя | |
| ДокументАргумента Имя ЦелоеЧисло | |
| ДокументЭкземпляра Тип |
Экземпляры
| Данные МестоРасположенияДокументации | |
Определено в GHC.Internal.TH.Syntax Методыgfoldl :: (forall d b. Данные d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> МестоРасположенияДокументации -> c МестоРасположенияДокументации gunfold :: (forall b r. Данные b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Конструктор -> c МестоРасположенияДокументации | |
| Обобщенный МестоРасположенияДокументации | |
Определено в GHC.Internal.TH.Syntax Связанные типы
| |||||
| Show DocLoc | |||||
| Eq DocLoc | |||||
| Ord DocLoc | |||||
| Lift DocLoc | |
| type Rep DocLoc | |
Определено в GHC.Internal.TH.Syntax type Rep DocLoc = D1 ('MetaData "DocLoc" "GHC.Internal.TH.Syntax" "ghc-internal" 'False) ((C1 ('MetaCons "ModuleDoc" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeclDoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name))) :+: (C1 ('MetaCons "ArgDoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "InstDoc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))) | |
Функции библиотеки
module Language.Haskell.TH.Lib
Функция форматирования
Минимальное полное определение
Примеры
| Ppr SourceStrictness Source | |
Определено в GHC.Internal.TH.Ppr Краткое описание методовppr :: SourceStrictness -> Doc Source ppr_list :: [SourceStrictness] -> Doc Source | |
| Ppr SourceUnpackedness Source | |
Определено в GHC.Internal.TH.Ppr Краткое описание методовppr :: SourceUnpackedness -> Doc Source ppr_list :: [SourceUnpackedness] -> Doc Source | |
| Ppr Stmt Source | |
| Ppr TyLit Source | |
| Ppr Type Source | |
| PprFlag flag => Ppr (TyVarBndr flag) Source | |
| Ppr a => Ppr [a] Source | |
pprint :: Ppr a => a -> Строка Исходный код
pprExp :: Уровень приоритета -> Exp -> Документ Исходный код
pprLit :: Уровень приоритета -> Lit -> Документ Исходный код
pprPat :: Уровень приоритета -> Pat -> Документ Исходный код
pprParendType :: Тип -> Документ Исходный код
© 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/template-haskell-2.23.0.0-22c1/Language-Haskell-TH.html
