Language.Boogie.PrettyPrinter

Pretty printer for Boogie 2

Pretty-printing programs

programDoc :: Program -> Doc

Pretty-printed program

renderWithTabs :: Doc -> String

Render document with tabs instead of spaces

typeDoc :: Type -> Doc

Pretty-printed type

exprDoc :: Expression -> Doc

Pretty-printed expression

statementDoc :: Statement -> Doc

Pretty-printed statement

declDoc :: Decl -> Doc

Pretty-printed top-level declaration

Utility

newline :: Doc

New line

vsep :: [Doc] -> Doc

Separate by new lines

commaSep :: [Doc] -> Doc

Separate by commas

angles :: Doc -> Doc

Enclose in < >

spaces :: Doc -> Doc

Enclose in spaces

option :: Bool -> Doc -> Doc

Conditionally produce a doc

optionMaybe :: Maybe t -> (t -> Doc) -> Doc

Convert a Just value to doc

unOpDoc :: UnOp -> Doc

Pretty-printed unary operator

binOpDoc :: BinOp -> Doc

Pretty-printed binary operator

sigDoc :: [Type] -> [Type] -> Doc

Pretty-printed function or procedure signature