ATerm.SimpPretty

Rather than using (slow, sequential) strings create (fast, tree-like) documents and render them later as text for IO.

A very simplified version of John Hughes's and Simon Peyton Jones's Pretty Printer Combinators. Only catenable string sequences are left over.

The document type

data SDoc

The abstract type of documents

Instances

Show SDoc

Defined in ATerm.SimpPretty

Methods

showsPrec :: Int -> SDoc -> ShowS

show :: SDoc -> String

showList :: [SDoc] -> ShowS

Primitive documents

empty

Arguments

:: SDoc

An empty document

comma

Arguments

:: SDoc

A ',' character

Converting values into documents

text :: String -> SDoc

Wrapping documents in delimiters

parens

Arguments

:: SDoc

-> SDoc

Wrap document in (...)

brackets

Arguments

:: SDoc

-> SDoc

Wrap document in [...]

braces

Arguments

:: SDoc

-> SDoc

Wrap document in {...}

Combining documents

(<>) infixl 6

Arguments

:: SDoc

-> SDoc

-> SDoc

Beside

Rendering documents

render :: SDoc -> String

Renders the document as a string using the default style

fullRender :: (String -> a) -> (a -> a -> a) -> SDoc -> a

writeFileSDoc :: FilePath -> SDoc -> IO ()