Language.Haskell.TH.Ppr
| Безопасный Haskell | Безопасный |
|---|---|
| Язык | Haskell2010 |
Описание
содержит средство красивой печати для типов данных Template Haskell
appPrec :: Precedence Источник
bytesToString :: [Word8] -> String Источник
commaSep :: Ppr a => [a] -> Doc Источник
commaSepApplied :: [Name] -> Doc Источник
commaSepWith :: (a -> Doc) -> [a] -> Doc Источник
fromTANormal :: TypeArg -> Maybe Type Источник
funPrec :: Precedence Источник
hashParens :: Doc -> Doc Источник
isStarT :: Type -> Bool Источник
isSymOcc :: Name -> Bool Источник
parensIf :: Bool -> Doc -> Doc Источник
pprBangType :: BangType -> Doc Источник
pprBndrVis :: BndrVis -> Doc -> Doc Источник
pprBody :: Bool -> Body -> Doc Источник
pprClause :: Bool -> Clause -> Doc Источник
pprCtxWith :: Ppr a => (Precedence -> a -> Doc) -> [a] -> Doc Источник
pprExp :: Precedence -> Exp -> Doc Источник
pprFields :: [(Name, Exp)] -> Doc Источник
pprFixity :: Name -> Fixity -> NamespaceSpecifier -> Doc Источник
pprForall :: [TyVarBndr Specificity] -> Cxt -> Doc Источник
pprForall' :: PprFlag flag => ForallVisFlag -> [TyVarBndr flag] -> Cxt -> Doc Источник
pprForallVis :: [TyVarBndr ()] -> Cxt -> Doc Источник
pprFunArgType :: Type -> Doc Источник
pprGadtRHS :: [(Strict, Type)] -> Type -> Doc Источник
pprGuarded :: Doc -> (Guard, Exp) -> Doc Источник
pprInfixExp :: Exp -> Doc Источник
pprInfixT :: Precedence -> Type -> Doc Источник
pprLit :: Precedence -> Lit -> Doc Источник
pprMatchPat :: Pat -> Doc Источник
pprMaybeExp :: Precedence -> Maybe Exp -> Doc Источник
pprNamespaceSpecifier :: NamespaceSpecifier -> Doc Источник
pprParendType :: Type -> Doc Источник
pprParendTypeArg :: TypeArg -> Doc Источник
pprPat :: Precedence -> Pat -> Doc Источник
pprPatSynSig :: Name -> PatSynType -> Doc Источник
Выполняет красивую печать сигнатуры типа синонима шаблона
pprPatSynType :: PatSynType -> Doc Источник
Выполняет красивую печать типа синонима шаблона; придерживается общепринятых соглашений, чтобы вывести тип синонима шаблона компактно и при этом однозначно. Дополнительные сведения см. в примечании PatSynType и разделе о синонимах шаблонов в руководстве пользователя GHC.
pprPrefixOcc :: Name -> Doc Источник
pprRecFields :: [(Name, Strict, Type)] -> Type -> Doc Источник
pprStrictType :: (Strict, Type) -> Doc Источник
Устарело: начиная с template-haskell-2.11.0.0, StrictType заменён на BangType. Вместо него используйте pprBangType.
pprString :: String -> Doc Источник
pprTyApp :: Precedence -> (Type, [TypeArg]) -> Doc Источник
pprTyLit :: TyLit -> Doc Источник
pprType :: Precedence -> Type -> Doc Источник
pprVarBangType :: VarBangType -> Doc Источник
pprVarStrictType :: (Name, Strict, Type) -> Doc Источник
Устарело: начиная с template-haskell-2.11.0.0, VarStrictType заменён на VarBangType. Вместо него используйте pprVarBangType.
ppr_bndrs :: PprFlag flag => Maybe [TyVarBndr flag] -> Doc Источник
ppr_ctx_preds_with :: Ppr a => (Precedence -> a -> Doc) -> Precedence -> [a] -> Doc Источник
ppr_cxt_preds :: Precedence -> Cxt -> Doc Источник
Аргументы
| :: Bool | объявление на верхнем уровне? |
| -> Doc | |
| -> Cxt | |
| -> Maybe Name | |
| -> Doc | |
| -> Maybe Kind | |
| -> [Con] | |
| -> [DerivClause] | |
| -> Doc |
ppr_deriv_clause :: DerivClause -> Doc Источник
ppr_deriv_strategy :: DerivStrategy -> Doc Источник
Аргументы
| :: Bool | объявление на верхнем уровне? |
| -> Doc | |
| -> Cxt | |
| -> Maybe Name | |
| -> Doc | |
| -> Maybe Kind | |
| -> Con | |
| -> [DerivClause] | |
| -> Doc |
ppr_overlap :: Overlap -> Doc Источник
ppr_sig :: Name -> Type -> Doc Исходный код
ppr_tf_head :: TypeFamilyHead -> Doc Исходный код
ppr_tySyn :: Doc -> Maybe Name -> Doc -> Type -> Doc Исходный код
Аргументы
| :: Bool | объявление на верхнем уровне? |
| -> Doc | |
| -> Cxt | |
| -> Maybe Name | |
| -> Doc | |
| -> Maybe Kind | |
| -> [Con] | |
| -> [DerivClause] | |
| -> Doc |
ppr_typedef :: String -> Bool -> Doc -> Cxt -> Maybe Name -> Doc -> Maybe Kind -> [Con] -> [DerivClause] -> Doc Исходный код
pprint :: Ppr a => a -> String Исходный код
qualPrec :: Precedence Исходный код
quoteParens :: Doc -> Doc Исходный код
semiSep :: Ppr a => [a] -> Doc Исходный код
semiSepWith :: (a -> Doc) -> [a] -> Doc Исходный код
sepWith :: Doc -> (a -> Doc) -> [a] -> Doc Исходный код
showtextl :: Show a => a -> Doc Исходный код
sigPrec :: Precedence Исходный код
split :: Type -> (Type, [TypeArg]) Исходный код
unboxedSumBars :: Doc -> SumAlt -> SumArity -> Doc Исходный код
unopPrec :: Precedence Исходный код
where_clause :: [Dec] -> Doc Исходный код
data ForallVisFlag Исходный код
Конструкторы
| ForallVis | |
| ForallInvis |
Экземпляры
| Show ForallVisFlag Исходный код | |
Определено в GHC.Boot.TH.Ppr МетодыshowsPrec :: Int -> ForallVisFlag -> ShowS Исходный код show :: ForallVisFlag -> String Исходный код showList :: [ForallVisFlag] -> ShowS Исходный код | |
class Ppr a where Исходный код
Минимальное полное определение
Экземпляры
class PprFlag flag where Исходный код
Методы
pprTyVarBndr :: TyVarBndr flag -> Doc Исходный код
Экземпляры
| PprFlag BndrVis Исходный код | |
Определено в GHC.Boot.TH.Ppr Методы | |
| PprFlag Specificity Исходный код | |
Определено в GHC.Boot.TH.Ppr Методы | |
| PprFlag () Исходный код | |
Определено в GHC.Boot.TH.Ppr МетодыpprTyVarBndr :: TyVarBndr () -> Doc Исходный код | |
type Precedence = Int Исходный код
data TypeArg Исходный код
Экземпляры
| Ppr TypeArg Исходный код | |
Определено в GHC.Boot.TH.Ppr | |
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/template-haskell-2.24.0.0-7769/Language-Haskell-TH-Ppr.html