Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Boot.TH.Ppr

contains a prettyprinter for the Template Haskell datatypes

Synopsis

value nestDepth
type Precedence
value appPrec
value opPrec
value unopPrec
value funPrec
value qualPrec
value sigPrec
value noPrec
value parensIf
value pprint
class Ppr
value ppr_sig
value pprFixity
value pprNamespaceSpecifier
value pprPatSynSig
value pprPatSynType
value pprPrefixOcc
value isSymOcc
value pprInfixExp
value pprExp
value pprFields
value pprMaybeExp
value pprMatchPat
value pprGuarded
value pprBody
value pprClause
value pprLit
value bytesToString
value pprString
value pprPat
value ppr_dec
value ppr_deriv_strategy
value ppr_overlap
value ppr_data
value ppr_newtype
value ppr_type_data
value ppr_typedef
value ppr_deriv_clause
value ppr_tySyn
value ppr_tf_head
value ppr_bndrs
value ppr_ty_forall
value ppr_tm_forall
value commaSepApplied
value pprForall
value pprForallVis
value pprForall'
value pprRecFields
value pprGadtRHS
value pprVarBangType
value pprBangType
value pprVarStrictType
value pprStrictType
value pprType
value pprParendType
value pprInfixT
value pprParendTypeArg
value isStarT
value pprTyApp
value fromTANormal
value pprFunArgType
data ForallVisFlag
data TypeArg
value split
value pprTyLit
class PprFlag
value pprBndrVis
value pprCtxWith
value pprCxt
value ppr_ctx_preds_with
value ppr_cxt_preds
value where_clause
value showtextl
value hashParens
value quoteParens
value sepWith
value commaSep
value commaSepWith
value semiSep
value semiSepWith
value unboxedSumBars
value bar

Packageghc-lib-parser-9.14.1.20251220
Exports83
LanguageGHC2021
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-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr BangDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr ClauseDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr ConDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr DecDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr DecidedStrictnessDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr ExpDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr FamilyResultSigDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr ForeignDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr FunDepDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr InfoDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr InjectivityAnnDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr InlineDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr LitDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr LocDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr MatchDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr ModuleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr ModuleInfoDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr NameDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr PatDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr PatSynArgsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr PatSynDirDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr PhasesDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr PragmaDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr RangeDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr RoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr RuleBndrDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr RuleMatchDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr SourceStrictnessDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr SourceUnpackednessDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr StmtDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr TyLitDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr TypeDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
Ppr a => Ppr [a]Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
PprFlag flag => Ppr (TyVarBndr flag)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr

valueppr_sig :: Name -> Type -> Doc

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

valuepprNamespaceSpecifier :: NamespaceSpecifier -> Doc

valuepprPatSynSig :: Name -> PatSynType -> Doc

Source#

Pretty prints a pattern synonym type signature

valuepprPatSynType :: 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.

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-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr

datadata TypeArg

Constructors

TANormal Type
TyArg Kind

Instances1Ppr

Ppr TypeArgDefined in ghc-lib-parser-9.14.1.20251220 · 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-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
PprFlag SpecificityDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Boot.TH.Ppr
PprFlag ()Defined in ghc-lib-parser-9.14.1.20251220 · 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