Spec-Zone.ru › Haskell 9

Language.Haskell.TH.Ppr

Safe Haskell Safe
Language Haskell2010

Description

contains a prettyprinter for the Template Haskell datatypes

appPrec :: Precedence Source

bar :: Doc Source

bytesToString :: [Word8] -> String Source

commaSep :: Ppr a => [a] -> Doc Source

commaSepApplied :: [Name] -> Doc Source

commaSepWith :: (a -> Doc) -> [a] -> Doc Source

fromTANormal :: TypeArg -> Maybe Type Source

funPrec :: Precedence Source

hashParens :: Doc -> Doc Source

isStarT :: Type -> Bool Source

isSymOcc :: Name -> Bool Source

nestDepth :: Int Source

noPrec :: Precedence Source

opPrec :: Precedence Source

parensIf :: Bool -> Doc -> Doc Source

pprBangType :: BangType -> Doc Source

pprBndrVis :: BndrVis -> Doc -> Doc Source

pprBody :: Bool -> Body -> Doc Source

pprClause :: Bool -> Clause -> Doc Source

pprCtxWith :: Ppr a => (Precedence -> a -> Doc) -> [a] -> Doc Source

pprCxt :: Cxt -> Doc Source

pprExp :: Precedence -> Exp -> Doc Source

pprFields :: [(Name, Exp)] -> Doc Source

pprFixity :: Name -> Fixity -> NamespaceSpecifier -> Doc Source

pprForall :: [TyVarBndr Specificity] -> Cxt -> Doc Source

pprForall' :: PprFlag flag => ForallVisFlag -> [TyVarBndr flag] -> Cxt -> Doc Source

pprForallVis :: [TyVarBndr ()] -> Cxt -> Doc Source

pprFunArgType :: Type -> Doc Source

pprGadtRHS :: [(Strict, Type)] -> Type -> Doc Source

pprGuarded :: Doc -> (Guard, Exp) -> Doc Source

pprInfixExp :: Exp -> Doc Source

pprInfixT :: Precedence -> Type -> Doc Source

pprLit :: Precedence -> Lit -> Doc Source

pprMatchPat :: Pat -> Doc Source

pprMaybeExp :: Precedence -> Maybe Exp -> Doc Source

pprNamespaceSpecifier :: NamespaceSpecifier -> Doc Source

pprParendType :: Type -> Doc Source

pprParendTypeArg :: TypeArg -> Doc Source

pprPat :: Precedence -> Pat -> Doc Source

pprPatSynSig :: Name -> PatSynType -> Doc Source

Pretty prints a pattern synonym type signature

pprPatSynType :: PatSynType -> Doc Source

Pretty prints a pattern synonym's type; follows the usual conventions to print a pattern synonym type compactly, yet unambiguously. See the note on PatSynType and the section on pattern synonyms in the GHC user's guide for more information.

pprPrefixOcc :: Name -> Doc Source

pprRecFields :: [(Name, Strict, Type)] -> Type -> Doc Source

pprStrictType :: (Strict, Type) -> Doc Source

Deprecated: As of template-haskell-2.11.0.0, StrictType has been replaced by BangType. Please use pprBangType instead.

pprString :: String -> Doc Source

pprTyApp :: Precedence -> (Type, [TypeArg]) -> Doc Source

pprTyLit :: TyLit -> Doc Source

pprType :: Precedence -> Type -> Doc Source

pprVarBangType :: VarBangType -> Doc Source

pprVarStrictType :: (Name, Strict, Type) -> Doc Source

Deprecated: As of template-haskell-2.11.0.0, VarStrictType has been replaced by VarBangType. Please use pprVarBangType instead.

ppr_bndrs :: PprFlag flag => Maybe [TyVarBndr flag] -> Doc Source

ppr_ctx_preds_with :: Ppr a => (Precedence -> a -> Doc) -> Precedence -> [a] -> Doc Source

ppr_cxt_preds :: Precedence -> Cxt -> Doc Source

ppr_data Source

Arguments

:: Bool

declaration on the toplevel?

-> Doc
-> Cxt
-> Maybe Name
-> Doc
-> Maybe Kind
-> [Con]
-> [DerivClause]
-> Doc

ppr_dec Source

Arguments

:: Bool

declaration on the toplevel?

-> Dec
-> Doc

ppr_deriv_clause :: DerivClause -> Doc Source

ppr_deriv_strategy :: DerivStrategy -> Doc Source

ppr_newtype Source

Arguments

:: Bool

declaration on the toplevel?

-> Doc
-> Cxt
-> Maybe Name
-> Doc
-> Maybe Kind
-> Con
-> [DerivClause]
-> Doc

ppr_overlap :: Overlap -> Doc Source

ppr_sig :: Name -> Type -> Doc Source

ppr_tf_head :: TypeFamilyHead -> Doc Source

ppr_tySyn :: Doc -> Maybe Name -> Doc -> Type -> Doc Source

ppr_type_data Source

Arguments

:: Bool

declaration on the toplevel?

-> Doc
-> Cxt
-> Maybe Name
-> Doc
-> Maybe Kind
-> [Con]
-> [DerivClause]
-> Doc

ppr_typedef :: String -> Bool -> Doc -> Cxt -> Maybe Name -> Doc -> Maybe Kind -> [Con] -> [DerivClause] -> Doc Source

pprint :: Ppr a => a -> String Source

qualPrec :: Precedence Source

quoteParens :: Doc -> Doc Source

semiSep :: Ppr a => [a] -> Doc Source

semiSepWith :: (a -> Doc) -> [a] -> Doc Source

sepWith :: Doc -> (a -> Doc) -> [a] -> Doc Source

showtextl :: Show a => a -> Doc Source

sigPrec :: Precedence Source

split :: Type -> (Type, [TypeArg]) Source

unboxedSumBars :: Doc -> SumAlt -> SumArity -> Doc Source

unopPrec :: Precedence Source

where_clause :: [Dec] -> Doc Source

data ForallVisFlag Source

Constructors

ForallVis
ForallInvis
Instances
Instances details
Show ForallVisFlag Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

showsPrec :: Int -> ForallVisFlag -> ShowS Source

show :: ForallVisFlag -> String Source

showList :: [ForallVisFlag] -> ShowS Source

class Ppr a where Source

Minimal complete definition

ppr

Methods

ppr :: a -> Doc Source

ppr_list :: [a] -> Doc Source

Instances
Instances details
Ppr TypeArg Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: TypeArg -> Doc Source

ppr_list :: [TypeArg] -> Doc Source

Ppr Bang Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Bang -> Doc Source

ppr_list :: [Bang] -> Doc Source

Ppr Clause Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Clause -> Doc Source

ppr_list :: [Clause] -> Doc Source

Ppr Con Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Con -> Doc Source

ppr_list :: [Con] -> Doc Source

Ppr Dec Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Dec -> Doc Source

ppr_list :: [Dec] -> Doc Source

Ppr DecidedStrictness Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: DecidedStrictness -> Doc Source

ppr_list :: [DecidedStrictness] -> Doc Source

Ppr Exp Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Exp -> Doc Source

ppr_list :: [Exp] -> Doc Source

Ppr FamilyResultSig Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: FamilyResultSig -> Doc Source

ppr_list :: [FamilyResultSig] -> Doc Source

Ppr Foreign Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Foreign -> Doc Source

ppr_list :: [Foreign] -> Doc Source

Ppr FunDep Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: FunDep -> Doc Source

ppr_list :: [FunDep] -> Doc Source

Ppr Info Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Info -> Doc Source

ppr_list :: [Info] -> Doc Source

Ppr InjectivityAnn Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: InjectivityAnn -> Doc Source

ppr_list :: [InjectivityAnn] -> Doc Source

Ppr Inline Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Inline -> Doc Source

ppr_list :: [Inline] -> Doc Source

Ppr Lit Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Lit -> Doc Source

ppr_list :: [Lit] -> Doc Source

Ppr Loc Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Loc -> Doc Source

ppr_list :: [Loc] -> Doc Source

Ppr Match Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Match -> Doc Source

ppr_list :: [Match] -> Doc Source

Ppr Module Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Module -> Doc Source

ppr_list :: [Module] -> Doc Source

Ppr ModuleInfo Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: ModuleInfo -> Doc Source

ppr_list :: [ModuleInfo] -> Doc Source

Ppr Name Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Name -> Doc Source

ppr_list :: [Name] -> Doc Source

Ppr Pat Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Pat -> Doc Source

ppr_list :: [Pat] -> Doc Source

Ppr PatSynArgs Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: PatSynArgs -> Doc Source

ppr_list :: [PatSynArgs] -> Doc Source

Ppr PatSynDir Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: PatSynDir -> Doc Source

ppr_list :: [PatSynDir] -> Doc Source

Ppr Phases Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Phases -> Doc Source

ppr_list :: [Phases] -> Doc Source

Ppr Pragma Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Pragma -> Doc Source

ppr_list :: [Pragma] -> Doc Source

Ppr Range Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Range -> Doc Source

ppr_list :: [Range] -> Doc Source

Ppr Role Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Role -> Doc Source

ppr_list :: [Role] -> Doc Source

Ppr RuleBndr Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: RuleBndr -> Doc Source

ppr_list :: [RuleBndr] -> Doc Source

Ppr RuleMatch Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: RuleMatch -> Doc Source

ppr_list :: [RuleMatch] -> Doc Source

Ppr SourceStrictness Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: SourceStrictness -> Doc Source

ppr_list :: [SourceStrictness] -> Doc Source

Ppr SourceUnpackedness Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: SourceUnpackedness -> Doc Source

ppr_list :: [SourceUnpackedness] -> Doc Source

Ppr Stmt Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Stmt -> Doc Source

ppr_list :: [Stmt] -> Doc Source

Ppr TyLit Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: TyLit -> Doc Source

ppr_list :: [TyLit] -> Doc Source

Ppr Type Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: Type -> Doc Source

ppr_list :: [Type] -> Doc Source

PprFlag flag => Ppr (TyVarBndr flag) Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: TyVarBndr flag -> Doc Source

ppr_list :: [TyVarBndr flag] -> Doc Source

Ppr a => Ppr [a] Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: [a] -> Doc Source

ppr_list :: [[a]] -> Doc Source

class PprFlag flag where Source

Methods

pprTyVarBndr :: TyVarBndr flag -> Doc Source

Instances
Instances details
PprFlag BndrVis Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

pprTyVarBndr :: TyVarBndr BndrVis -> Doc Source

PprFlag Specificity Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

pprTyVarBndr :: TyVarBndr Specificity -> Doc Source

PprFlag () Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

pprTyVarBndr :: TyVarBndr () -> Doc Source

type Precedence = Int Source

data TypeArg Source

Constructors

TANormal Type
TyArg Kind
Instances
Instances details
Ppr TypeArg Source
Instance details

Defined in GHC.Boot.TH.Ppr

Methods

ppr :: TypeArg -> Doc Source

ppr_list :: [TypeArg] -> Doc Source

© 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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API