Moduletemplate-haskell-2.25.0.0Haskell2010

Language.Haskell.TH.Ppr

contains a prettyprinter for the Template Haskell datatypes

Synopsis

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

Packagetemplate-haskell-2.25.0.0
Exports81
LanguageHaskell2010
LicenceBSD-3-Clause
SourcePpr.hs

valueappPrec :: Precedence

valuebar :: Doc

valuebytesToString :: [Word8] -> String

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

valuecommaSepApplied :: [Name] -> Doc

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

valuefromTANormal :: TypeArg -> Maybe Type

valuefunPrec :: Precedence

valuehashParens :: Doc -> Doc

valueisStarT :: Type -> Bool

valueisSymOcc :: Name -> Bool

valuenestDepth :: Int

valuenoPrec :: Precedence

valueopPrec :: Precedence

valueparensIf :: Bool -> Doc -> Doc

valuepprBangType :: BangType -> Doc

valuepprBndrVis :: BndrVis -> Doc -> Doc

valuepprBody :: Bool -> Body -> Doc

valuepprClause :: Bool -> Clause -> Doc

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

valuepprCxt :: Cxt -> Doc

valuepprExp :: Precedence -> Exp -> Doc

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

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

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

valuepprForall'

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

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

valuepprFunArgType :: Type -> Doc

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

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

valuepprInfixExp :: Exp -> Doc

valuepprInfixT :: Precedence -> Type -> Doc

valuepprLit :: Precedence -> Lit -> Doc

valuepprMatchPat :: Pat -> Doc

valuepprMaybeExp :: Precedence -> Maybe Exp -> Doc

valuepprNamespaceSpecifier :: NamespaceSpecifier -> Doc

valuepprParendType :: Type -> Doc

valuepprParendTypeArg :: TypeArg -> Doc

valuepprPat :: Precedence -> Pat -> 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

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

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

typetype Precedence = Int

datadata TypeArg

Constructors

TANormal Type
TyArg Kind

Instances1Ppr

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