nestDepth :: Int Source

type Precedence = Int Source

appPrec :: Precedence Source

opPrec :: Precedence Source

unopPrec :: Precedence Source

sigPrec :: Precedence Source

noPrec :: Precedence Source

parensIf :: Bool -> Doc -> Doc Source

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

class Ppr a where Source

ppr_sig :: Name -> Type -> Doc Source

pprFixity :: Name -> Fixity -> Doc Source

pprPatSynSig :: Name -> PatSynType -> Doc Source

Pretty prints a pattern synonym type signature

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

pprPrefixOcc :: Name -> Doc Source

isSymOcc :: Name -> Bool Source

pprInfixExp :: Exp -> Doc Source

pprExp :: Precedence -> Exp -> Doc Source

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

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

pprMatchPat :: Pat -> Doc Source

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

pprBody :: Bool -> Body -> Doc Source

pprClause :: Bool -> Clause -> Doc Source

pprLit :: Precedence -> Lit -> Doc Source

bytesToString :: [Word8] -> String Source

pprString :: String -> Doc Source

pprPat :: Precedence -> Pat -> Doc Source

ppr_dec :: Bool -> Dec -> Doc Source

ppr_deriv_strategy :: DerivStrategy -> Doc Source

ppr_overlap :: Overlap -> Doc Source

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

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

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

ppr_deriv_clause :: DerivClause -> Doc Source

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

ppr_tf_head :: TypeFamilyHead -> Doc Source

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

commaSepApplied :: [Name] -> Doc Source

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

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

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

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

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

pprVarBangType :: VarBangType -> Doc Source

pprBangType :: BangType -> Doc Source

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

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

pprParendType :: Type -> Doc Source

pprInfixT :: Type -> Doc Source

pprParendTypeArg :: TypeArg -> Doc Source

isStarT :: Type -> Bool Source

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

fromTANormal :: TypeArg -> Maybe Type Source

pprFunArgType :: Type -> Doc Source

data ForallVisFlag Source

data TypeArg Source

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

pprTyLit :: TyLit -> Doc Source

class PprFlag flag where Source

pprCxt :: Cxt -> Doc Source

ppr_cxt_preds :: Cxt -> Doc Source

where_clause :: [Dec] -> Doc Source

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

hashParens :: Doc -> Doc Source

quoteParens :: Doc -> Doc Source

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

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

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

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

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

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

bar :: Doc Source