Moduleghc-boot-th-10.0.0.20260917Haskell2010

GHC.Boot.TH.Ppr

contains a prettyprinter for the Template Haskell datatypes

3 types
2 classes
78 values

Packageghc-boot-th-10.0.0.20260917
Exports83
LanguageHaskell2010
LicenceBSD-3-Clause
SourcePpr.hs

valuenestDepth :: Int

typetype Precedence = Int

valueappPrec :: Precedence

valueopPrec :: Precedence

valueunopPrec :: Precedence

valuefunPrec :: Precedence

valuequalPrec :: Precedence

valuesigPrec :: Precedence

valuenoPrec :: Precedence

valueparensIf :: Bool -> Doc -> Doc

valuepprint :: Ppr a => a -> String

classclass Ppr a where

Methods

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

Instances35Ppr, …

Ppr TypeArgDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr BangDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr ClauseDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr ConDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr DecDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr DecidedStrictnessDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr ExpDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr FamilyResultSigDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr ForeignDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr FunDepDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr InfoDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr InjectivityAnnDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr InlineDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr LitDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr LocDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr MatchDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr ModuleDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr ModuleInfoDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr NameDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr PatDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr PatSynArgsDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr PatSynDirDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr PhasesDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr PragmaDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr RangeDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr RoleDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr RuleBndrDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr RuleMatchDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr SourceStrictnessDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr SourceUnpackednessDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr StmtDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr TyLitDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr TypeDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
Ppr a => Ppr [a]Defined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
PprFlag flag => Ppr (TyVarBndr flag)Defined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr

valueppr_sig :: Name -> Type -> Doc

valuepprFixity :: Name -> Fixity -> NamespaceSpecifier -> Doc

valuepprNamespaceSpecifier :: NamespaceSpecifier -> Doc

valuepprPatSynSig :: Name -> PatSynType -> Doc

Pretty prints a pattern synonym type signature

valuepprPatSynType :: PatSynType -> Doc

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.

valuepprPrefixOcc :: Name -> Doc

valueisSymOcc :: Name -> Bool

valuepprInfixExp :: Exp -> Doc

valuepprExp :: Precedence -> Exp -> Doc

valuepprFields :: [(Name, Exp)] -> Doc

valuepprMaybeExp :: Precedence -> Maybe Exp -> Doc

valuepprMatchPat :: Pat -> Doc

valuepprGuarded :: Doc -> (Guard, Exp) -> Doc

valuepprBody :: Bool -> Body -> Doc

valuepprClause :: Bool -> Clause -> Doc

valuepprLit :: Precedence -> Lit -> Doc

valuebytesToString :: [Word8] -> String

valuepprString :: String -> Doc

valuepprPat :: Precedence -> Pat -> Doc

valueppr_dec

:: Bool
declaration on the toplevel?
-> Dec
-> Doc

valueppr_deriv_strategy :: DerivStrategy -> Doc

valueppr_overlap :: Overlap -> Doc

valueppr_data

:: Bool
declaration on the toplevel?
-> Doc
-> Cxt
-> Maybe Name
-> Doc
-> Maybe Kind
-> [Con]
-> [DerivClause]
-> Doc

valueppr_newtype

:: Bool
declaration on the toplevel?
-> Doc
-> Cxt
-> Maybe Name
-> Doc
-> Maybe Kind
-> Con
-> [DerivClause]
-> Doc

valueppr_type_data

:: Bool
declaration on the toplevel?
-> Doc
-> Cxt
-> Maybe Name
-> Doc
-> Maybe Kind
-> [Con]
-> [DerivClause]
-> Doc

valueppr_typedef

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

valueppr_deriv_clause :: DerivClause -> Doc

valueppr_tySyn :: Doc -> Maybe Name -> Doc -> Type -> Doc

valueppr_tf_head :: TypeFamilyHead -> Doc

valueppr_bndrs :: PprFlag flag => Maybe [TyVarBndr flag] -> Doc

valueppr_ty_forall :: Maybe [TyVarBndr ()] -> Doc

valueppr_tm_forall :: Maybe [TyVarBndr ()] -> [RuleBndr] -> Doc

valuecommaSepApplied :: [Name] -> Doc

valuepprForall :: [TyVarBndr Specificity] -> Cxt -> Doc

valuepprForallVis :: [TyVarBndr ()] -> Cxt -> Doc

valuepprForall'

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

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

valuepprGadtRHS :: [(Strict, Type)] -> Type -> Doc

valuepprVarBangType :: VarBangType -> Doc

valuepprBangType :: BangType -> Doc

valuepprVarStrictType :: (Name, Strict, Type) -> Doc

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

valuepprStrictType :: (Strict, Type) -> Doc

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

valuepprType :: Precedence -> Type -> Doc

valuepprParendType :: Type -> Doc

valuepprInfixT :: Precedence -> Type -> Doc

valuepprParendTypeArg :: TypeArg -> Doc

valueisStarT :: Type -> Bool

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

valuefromTANormal :: TypeArg -> Maybe Type

valuepprFunArgType :: Type -> Doc

datadata ForallVisFlag

ForallVis ForallInvis

Instances1Show

Show ForallVisFlagDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr

datadata TypeArg

Constructors

TANormal Type
TyArg Kind

Instances1Ppr

Ppr TypeArgDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr

valuesplit :: Type -> (Type, [TypeArg])

valuepprTyLit :: TyLit -> Doc

classclass PprFlag flag where

Methods

pprTyVarBndr :: TyVarBndr flag -> Doc

Instances3PprFlag

PprFlag BndrVisDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
PprFlag SpecificityDefined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr
PprFlag ()Defined in ghc-boot-th-10.0.0.20260917 · GHC.Boot.TH.Ppr

valuepprBndrVis :: BndrVis -> Doc -> Doc

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

valuepprCxt :: Cxt -> Doc

valueppr_ctx_preds_with

:: Ppr a
=> Precedence -> a -> Doc
-> Precedence
-> [a]
-> Doc

valueppr_cxt_preds :: Precedence -> Cxt -> Doc

valuewhere_clause :: [Dec] -> Doc

valueshowtextl :: Show a => a -> Doc

valuehashParens :: Doc -> Doc

valuequoteParens :: Doc -> Doc

valuesepWith :: Doc -> (a -> Doc) -> [a] -> Doc

valuecommaSep :: Ppr a => [a] -> Doc

valuecommaSepWith :: (a -> Doc) -> [a] -> Doc

valuesemiSep :: Ppr a => [a] -> Doc

valuesemiSepWith :: (a -> Doc) -> [a] -> Doc

valueunboxedSumBars :: Doc -> SumAlt -> SumArity -> Doc

valuebar :: Doc