Language.Haskell.TH.Ppr

contains a prettyprinter for the Template Haskell datatypes

Documentation

nestDepth :: Int

type Precedence = Int

appPrec :: Precedence

opPrec :: Precedence

unopPrec :: Precedence

sigPrec :: Precedence

noPrec :: Precedence

parensIf :: Bool -> Doc -> Doc

pprint :: Ppr a => a -> String

class Ppr a where

Minimal complete definition

ppr

Methods

ppr :: a -> Doc

ppr_list :: [a] -> Doc

Instances

Ppr Role

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Role -> Doc

ppr_list :: [Role] -> Doc

Ppr TyLit

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: TyLit -> Doc

ppr_list :: [TyLit] -> Doc

Ppr InjectivityAnn

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: InjectivityAnn -> Doc

ppr_list :: [InjectivityAnn] -> Doc

Ppr FamilyResultSig

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: FamilyResultSig -> Doc

ppr_list :: [FamilyResultSig] -> Doc

Ppr Type

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Type -> Doc

ppr_list :: [Type] -> Doc

Ppr PatSynArgs

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: PatSynArgs -> Doc

ppr_list :: [PatSynArgs] -> Doc

Ppr PatSynDir

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: PatSynDir -> Doc

ppr_list :: [PatSynDir] -> Doc

Ppr Bang

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Bang -> Doc

ppr_list :: [Bang] -> Doc

Ppr Con

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Con -> Doc

ppr_list :: [Con] -> Doc

Ppr DecidedStrictness

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: DecidedStrictness -> Doc

ppr_list :: [DecidedStrictness] -> Doc

Ppr SourceStrictness

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: SourceStrictness -> Doc

ppr_list :: [SourceStrictness] -> Doc

Ppr SourceUnpackedness

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: SourceUnpackedness -> Doc

ppr_list :: [SourceUnpackedness] -> Doc

Ppr RuleBndr

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: RuleBndr -> Doc

ppr_list :: [RuleBndr] -> Doc

Ppr Phases

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Phases -> Doc

ppr_list :: [Phases] -> Doc

Ppr RuleMatch

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: RuleMatch -> Doc

ppr_list :: [RuleMatch] -> Doc

Ppr Inline

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Inline -> Doc

ppr_list :: [Inline] -> Doc

Ppr Pragma

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Pragma -> Doc

ppr_list :: [Pragma] -> Doc

Ppr Foreign

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Foreign -> Doc

ppr_list :: [Foreign] -> Doc

Ppr FunDep

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: FunDep -> Doc

ppr_list :: [FunDep] -> Doc

Ppr Dec

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Dec -> Doc

ppr_list :: [Dec] -> Doc

Ppr Range

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Range -> Doc

ppr_list :: [Range] -> Doc

Ppr Stmt

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Stmt -> Doc

ppr_list :: [Stmt] -> Doc

Ppr Exp

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Exp -> Doc

ppr_list :: [Exp] -> Doc

Ppr Clause

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Clause -> Doc

ppr_list :: [Clause] -> Doc

Ppr Match

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Match -> Doc

ppr_list :: [Match] -> Doc

Ppr Pat

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Pat -> Doc

ppr_list :: [Pat] -> Doc

Ppr Lit

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Lit -> Doc

ppr_list :: [Lit] -> Doc

Ppr ModuleInfo

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: ModuleInfo -> Doc

ppr_list :: [ModuleInfo] -> Doc

Ppr Info

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Info -> Doc

ppr_list :: [Info] -> Doc

Ppr Loc

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Loc -> Doc

ppr_list :: [Loc] -> Doc

Ppr Name

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Name -> Doc

ppr_list :: [Name] -> Doc

Ppr Module

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: Module -> Doc

ppr_list :: [Module] -> Doc

Ppr TypeArg

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: TypeArg -> Doc

ppr_list :: [TypeArg] -> Doc

Ppr a => Ppr [a]

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: [a] -> Doc

ppr_list :: [[a]] -> Doc

PprFlag flag => Ppr (TyVarBndr flag)

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: TyVarBndr flag -> Doc

ppr_list :: [TyVarBndr flag] -> Doc

ppr_sig :: Name -> Type -> Doc

pprFixity :: Name -> Fixity -> Doc

pprPatSynSig :: Name -> PatSynType -> Doc

Pretty prints a pattern synonym type signature

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

pprPrefixOcc :: Name -> Doc

isSymOcc :: Name -> Bool

pprInfixExp :: Exp -> Doc

pprExp :: Precedence -> Exp -> Doc

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

pprMaybeExp :: Precedence -> Maybe Exp -> Doc

pprMatchPat :: Pat -> Doc

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

pprBody :: Bool -> Body -> Doc

pprLit :: Precedence -> Lit -> Doc

bytesToString :: [Word8] -> String

pprString :: String -> Doc

pprPat :: Precedence -> Pat -> Doc

ppr_dec :: Bool -> Dec -> Doc

ppr_deriv_strategy :: DerivStrategy -> Doc

ppr_overlap :: Overlap -> Doc

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

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

ppr_deriv_clause :: DerivClause -> Doc

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

ppr_tf_head :: TypeFamilyHead -> Doc

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

commaSepApplied :: [Name] -> Doc

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

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

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

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

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

pprVarBangType :: VarBangType -> Doc

pprBangType :: BangType -> Doc

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

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

pprStrictType :: (Strict, Type) -> Doc

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

pprParendType :: Type -> Doc

pprUInfixT :: Type -> Doc

pprParendTypeArg :: TypeArg -> Doc

isStarT :: Type -> Bool

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

fromTANormal :: TypeArg -> Maybe Type

pprFunArgType :: Type -> Doc

data ForallVisFlag

Constructors

ForallVis

ForallInvis

Instances

Show ForallVisFlag

Defined in Language.Haskell.TH.Ppr

Methods

showsPrec :: Int -> ForallVisFlag -> ShowS

show :: ForallVisFlag -> String

showList :: [ForallVisFlag] -> ShowS

data TypeArg

Constructors

TANormal Type

TyArg Kind

Instances

Ppr TypeArg

Defined in Language.Haskell.TH.Ppr

Methods

ppr :: TypeArg -> Doc

ppr_list :: [TypeArg] -> Doc

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

pprTyLit :: TyLit -> Doc

class PprFlag flag where

Methods

pprTyVarBndr :: TyVarBndr flag -> Doc

Instances

PprFlag ()

Defined in Language.Haskell.TH.Ppr

Methods

pprTyVarBndr :: TyVarBndr () -> Doc

PprFlag Specificity

Defined in Language.Haskell.TH.Ppr

Methods

pprTyVarBndr :: TyVarBndr Specificity -> Doc

pprCxt :: Cxt -> Doc

ppr_cxt_preds :: Cxt -> Doc

where_clause :: [Dec] -> Doc

showtextl :: Show a => a -> Doc

hashParens :: Doc -> Doc

quoteParens :: Doc -> Doc

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

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

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

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

bar :: Doc