Language.Haskell.TH.Ppr
| Safe Haskell | Safe |
|---|---|
| Язык | Haskell2010 |
Описание
содержит красивую печать для типов данных Template Haskell
тип Precedence = Int Источник
appPrec :: Precedence Источник
unopPrec :: Precedence Источник
sigPrec :: Precedence Источник
parensIf :: Bool -> Doc -> Doc Источник
pprint :: Ppr a => a -> String Источник
Минимальное полное определение
Примеры
| Ppr Exp | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Match | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Clause | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Pat | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Type | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Dec | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Name | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr FunDep | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr InjectivityAnn | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Role | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr TyLit | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr FamilyResultSig | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr TyVarBndr | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr PatSynArgs | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr PatSynDir | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Bang | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Con | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr DecidedStrictness | |
Определено в Language.Haskell.TH.Ppr Методыppr :: DecidedStrictness -> Doc Исходный код ppr_list :: [DecidedStrictness] -> Doc Исходный код | |
| Ppr SourceStrictness | |
Определено в Language.Haskell.TH.Ppr Методыppr :: SourceStrictness -> Doc Исходный код ppr_list :: [SourceStrictness] -> Doc Исходный код | |
| Ppr SourceUnpackedness | |
Определено в Language.Haskell.TH.Ppr Методыppr :: SourceUnpackedness -> Doc Исходный код ppr_list :: [SourceUnpackedness] -> Doc Исходный код | |
| Ppr RuleBndr | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Phases | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr RuleMatch | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Inline | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Pragma | |
Определено в Language.Haskell.TH.Ppr | |
| Ppr Foreign | |
ppr_sig :: Имя -> Тип -> Doc Источник
pprFixity :: Имя -> Связанность -> Doc Источник
pprPatSynSig :: Имя -> ТипПсевдонимаОбразца -> Doc Источник
Красиво выводит тип сигнатуры псевдонима образца
pprPatSynType :: ТипПсевдонимаОбразца -> Doc Источник
Красиво выводит тип псевдонима образца; следует обычным соглашениям для компактного, но однозначного вывода типа псевдонима образца. Дополнительную информацию см. в примечании к PatSynType и разделе о псевдонимах образцов в руководстве пользователя GHC.
pprPrefixOcc :: Имя -> Doc Источник
isSymOcc :: Имя -> Булево Источник
pprInfixExp :: Выражение -> Doc Источник
pprExp :: Приоритет -> Выражение -> Doc Источник
pprFields :: [(Имя, Выражение)] -> Doc Источник
pprMaybeExp :: Приоритет -> МожетБыть Выражение -> Doc Источник
pprMatchPat :: Образец -> Doc Источник
pprGuarded :: Doc -> (Защита, Выражение) -> Doc Источник
pprBody :: Булево -> Тело -> Doc Источник
pprLit :: Приоритет -> Лит -> Doc Источник
bytesToString :: [Слово8] -> Строка Источник
pprString :: Строка -> Doc Источник
pprPat :: Приоритет -> Образец -> Doc Источник
ppr_dec :: Булево -> Дек -> Doc Источник
ppr_deriv_strategy :: СтратегияПроизводной -> Doc Источник
ppr_overlap :: Перекрытие -> Doc Источник
ppr_data :: Doc -> Cxt -> МожетБыть Имя -> Doc -> МожетБыть Вид -> [Кон] -> [ПроизводнаяСтрока] -> Doc Источник
ppr_newtype :: Doc -> Cxt -> Maybe Name -> Doc -> Maybe Kind -> Con -> [DerivClause] -> Doc Source
ppr_deriv_clause :: DerivClause -> Doc Source
ppr_tySyn :: Doc -> Maybe Name -> Doc -> Type -> Doc Source
ppr_tf_head :: TypeFamilyHead -> Doc Source
ppr_bndrs :: Maybe [TyVarBndr] -> Doc Source
commaSepApplied :: [Name] -> Doc Source
pprForall :: [TyVarBndr] -> Cxt -> Doc Source
pprForallVis :: [TyVarBndr] -> Cxt -> Doc Source
pprForall' :: ForallVisFlag -> [TyVarBndr] -> Cxt -> Doc Source
pprRecFields :: [(Name, Strict, Type)] -> Type -> Doc Source
pprGadtRHS :: [(Strict, Type)] -> Type -> Doc Source
pprVarBangType :: VarBangType -> Doc Source
pprBangType :: BangType -> Doc Source
pprVarStrictType :: (Name, Strict, Type) -> Doc Source
Устарело: Начиная с template-haskell-2.11.0.0, VarStrictType было заменено на VarBangType. Пожалуйста, используйте pprVarBangType вместо этого.
pprStrictType :: (Strict, Type) -> Doc Source
Устарело: Начиная с template-haskell-2.11.0.0, StrictType было заменено на BangType. Пожалуйста, используйте pprBangType вместо этого.
pprParendType :: Type -> Doc Source
pprUInfixT :: Type -> Doc Source
pprParendTypeArg :: TypeArg -> Doc Source
pprTyApp :: (Type, [TypeArg]) -> Doc Source
pprFunArgType :: Type -> Doc Source
data ForallVisFlag Source
Конструкторы
| ForallVis | |
| ForallInvis |
Примеры
| Show ForallVisFlag | |
Определено в Language.Haskell.TH.Ppr МетодыshowsPrec :: Int -> ForallVisFlag -> ShowS Исходный код show :: ForallVisFlag -> String Исходный код showList :: [ForallVisFlag] -> ShowS Исходный код | |
data TypeArg Исходный код
Примеры
| Ppr TypeArg | |
Определено в Language.Haskell.TH.Ppr | |
split :: Type -> (Type, [TypeArg]) Исходный код
pprTyLit :: TyLit -> Doc Исходный код
pprCxt :: Cxt -> Doc Исходный код
ppr_cxt_preds :: Cxt -> Doc Исходный код
where_clause :: [Dec] -> Doc Исходный код
showtextl :: Show a => a -> Doc Исходный код
hashParens :: Doc -> Doc Исходный код
quoteParens :: Doc -> Doc Исходный код
commaSep :: Ppr a => [a] -> Doc Исходный код
commaSepWith :: (a -> Doc) -> [a] -> Doc Исходный код
semiSep :: Ppr a => [a] -> Doc Исходный код
unboxedSumBars :: Doc -> SumAlt -> SumArity -> Doc Исходный код
bar :: Doc Исходный код
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/template-haskell-2.16.0.0/Language-Haskell-TH-Ppr.html