contains a prettyprinter for the Template Haskell datatypes

appPrec :: Precedence #

bar :: Doc #

bytesToString :: [Word8] -> String #

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

commaSepApplied :: [Name] -> Doc #

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

fromTANormal :: TypeArg -> Maybe Type #

funPrec :: Precedence #

hashParens :: Doc -> Doc #

isStarT :: Type -> Bool #

isSymOcc :: Name -> Bool #

nestDepth :: Int #

noPrec :: Precedence #

opPrec :: Precedence #

parensIf :: Bool -> Doc -> Doc #

pprBangType :: BangType -> Doc #

pprBndrVis :: BndrVis -> Doc -> Doc #

pprBody :: Bool -> Body -> Doc #

pprClause :: Bool -> Clause -> Doc #

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

pprCxt :: Cxt -> Doc #

pprExp :: Precedence -> Exp -> Doc #

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

pprFixity :: Name -> Fixity -> NamespaceSpecifier -> Doc #

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

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

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

pprFunArgType :: Type -> Doc #

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

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

pprInfixExp :: Exp -> Doc #

pprInfixT :: Precedence -> Type -> Doc #

pprLit :: Precedence -> Lit -> Doc #

pprMatchPat :: Pat -> Doc #

pprMaybeExp :: Precedence -> Maybe Exp -> Doc #

pprNamespaceSpecifier :: NamespaceSpecifier -> Doc #

pprParendType :: Type -> Doc #

pprParendTypeArg :: TypeArg -> Doc #

pprPat :: Precedence -> Pat -> Doc #

pprPatSynSig :: Name -> PatSynType -> Doc #

pprPatSynType :: PatSynType -> Doc #

pprPrefixOcc :: Name -> Doc #

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

pprStrictType :: (Strict, Type) -> Doc #

pprString :: String -> Doc #

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

pprTyLit :: TyLit -> Doc #

pprType :: Precedence -> Type -> Doc #

pprVarBangType :: VarBangType -> Doc #

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

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

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

ppr_cxt_preds :: Precedence -> Cxt -> Doc #

ppr_data #

ppr_dec #

ppr_deriv_clause :: DerivClause -> Doc #

ppr_deriv_strategy :: DerivStrategy -> Doc #

ppr_newtype #

ppr_overlap :: Overlap -> Doc #

ppr_sig :: Name -> Type -> Doc #

ppr_tf_head :: TypeFamilyHead -> Doc #

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

ppr_type_data #

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

pprint :: Ppr a => a -> String #

qualPrec :: Precedence #

quoteParens :: Doc -> Doc #

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

semiSepWith :: (a -> Doc) -> [a] -> Doc #

sepWith :: Doc -> (a -> Doc) -> [a] -> Doc #

showtextl :: Show a => a -> Doc #

sigPrec :: Precedence #

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

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

unopPrec :: Precedence #

where_clause :: [Dec] -> Doc #

data ForallVisFlag #

class Ppr a where #

class PprFlag flag where #

type Precedence = Int #

data TypeArg #