Language.Haskell.TH.Ppr · template-haskell-2.25.0.0

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

#

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

#

valuepprStrictType :: (Strict, Type) -> Doc

#

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

valuepprString :: String -> Doc

#

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

#

valuepprTyLit :: TyLit -> Doc

#

valuepprType :: Precedence -> Type -> Doc

#

valuepprVarBangType :: VarBangType -> 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.

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

#

valueppr_ctx_preds_with

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

#

valueppr_cxt_preds :: Precedence -> Cxt -> Doc

#

valueppr_data

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

#

valueppr_dec

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

#

valueppr_deriv_clause :: DerivClause -> Doc

#

valueppr_deriv_strategy :: DerivStrategy -> Doc

#

valueppr_newtype

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

#

valueppr_overlap :: Overlap -> Doc

#

valueppr_sig :: Name -> Type -> Doc

#

valueppr_tf_head :: TypeFamilyHead -> Doc

#

valueppr_tySyn :: Doc -> Maybe Name -> Doc -> Type -> 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

#

valuepprint :: Ppr a => a -> String

#

valuequalPrec :: Precedence

#

valuequoteParens :: Doc -> Doc

#

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

#

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

#

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

#

valueshowtextl :: Show a => a -> Doc

#

valuesigPrec :: Precedence

#

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

#

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

#

valueunopPrec :: Precedence

#

valuewhere_clause :: [Dec] -> Doc

#

datadata ForallVisFlag

#

ForallVis ForallInvis

Instances1Show

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

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