HIndent.Pretty

Pretty printing.

Printing

class (Annotated ast, Typeable1 ast) => Pretty ast

Pretty printing class.

Instances

Pretty SpecialCon

Pretty QName

Pretty Name

Pretty IPName

Pretty QOp

Pretty Op

Pretty CName

Pretty Module

Pretty ExportSpec

Pretty ImportDecl

Pretty ImportSpec

Pretty Assoc

Pretty Decl

Pretty Annotation

Pretty DataOrNew

Pretty DeclHead

Pretty InstHead

Pretty Binds

Pretty IPBind

Pretty Match

Pretty QualConDecl

Pretty ConDecl

Pretty GadtDecl

Pretty ClassDecl

Pretty InstDecl

Pretty BangType

Pretty Rhs

Pretty GuardedRhs

Pretty Type

Pretty TyVarBind

Pretty Kind

Pretty FunDep

Pretty Context

Pretty Asst

Pretty Literal

Pretty Exp

Pretty XName

Pretty XAttr

Pretty Bracket

Pretty Splice

Pretty Safety

Pretty CallConv

Pretty ModulePragma

Pretty Activation

Pretty Rule

Pretty RuleVar

Pretty WarningText

Pretty Pat

Pretty PXAttr

Pretty RPatOp

Pretty RPat

Pretty PatField

Pretty Stmt

Pretty QualStmt

Pretty FieldUpdate

Pretty Alt

Pretty GuardedAlts

Pretty GuardedAlt

Pretty IfAlt

pretty :: Pretty ast => ast NodeInfo -> Printer ()

Pretty print using extenders.

prettyNoExt :: Pretty ast => ast NodeInfo -> Printer ()

Run the basic printer for the given node without calling an extension hook for this node, but do allow extender hooks in child nodes. Also auto-inserts comments.

Insertion

write :: Builder -> Printer ()

Write out a string, updating the current position information.

newline :: Printer ()

Output a newline.

space :: Printer ()

Write a space.

comma :: Printer ()

Write a comma.

int :: Integral n => n -> Printer ()

Write an integral.

string :: String -> Printer ()

Write a string.

Common node types

maybeCtx :: Maybe (Context NodeInfo) -> Printer ()

Maybe render a class context.

printComment :: Comment -> Printer ()

Pretty print a comment.

Interspersing

inter :: Printer () -> [Printer ()] -> Printer ()

Print all the printers separated by sep.

spaced :: [Printer ()] -> Printer ()

Print all the printers separated by spaces.

lined :: [Printer ()] -> Printer ()

Print all the printers separated by spaces.

prefixedLined :: Char -> [Printer ()] -> Printer ()

Print all the printers separated newlines and optionally a line prefix.

commas :: [Printer ()] -> Printer ()

Print all the printers separated by commas.

Wrapping

parens :: Printer a -> Printer a

Wrap in parens.

brackets :: Printer a -> Printer a

Wrap in brackets.

braces :: Printer a -> Printer a

Wrap in braces.

Indentation

indented :: Int64 -> Printer a -> Printer a

Increase indentation level by n spaces for the given printer.

column :: Int64 -> Printer a -> Printer a

Set the (newline-) indent level to the given column for the given printer.

depend :: Printer () -> Printer b -> Printer b

Make the latter's indentation depend upon the end column of the former.

swing :: Printer () -> Printer b -> Printer b

Swing the second printer below and indented with respect to the first.

getIndentSpaces :: Printer Int64

Indent spaces, e.g. 2.

getColumnLimit :: Printer Int64

Column limit, e.g. 80

Predicates

nullBinds :: Binds NodeInfo -> Bool

No binds?

Sandboxing

sandbox :: MonadState s m => m a -> m s

Play with a printer and then restore the state to what it was before.

Fallback

pretty' :: (Pretty (ast SrcSpanInfo), Functor ast) => ast NodeInfo -> Printer ()

Pretty print using HSE's own printer. The Pretty class here is HSE's.