aterm-0.1.0.2: serialisation for Haskell values with sharing support

Copyright	(c) Klaus Luettich C. Maeder Uni Bremen 2002-2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

ATerm.SimpPretty

Contents

The document type
Primitive documents
Converting values into documents
Wrapping documents in delimiters
Combining documents
Rendering documents

Description

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.

Synopsis

data SDoc
empty :: SDoc
comma :: SDoc
text :: String -> SDoc
parens :: SDoc -> SDoc
brackets :: SDoc -> SDoc
braces :: SDoc -> SDoc
(<>) :: SDoc -> SDoc -> SDoc
render :: SDoc -> String
fullRender :: (String -> a) -> (a -> a -> a) -> SDoc -> a
writeFileSDoc :: FilePath -> SDoc -> IO ()

The document type

data SDoc Source #

The abstract type of documents

Instances

Show SDoc Source #
Instance details Defined in ATerm.SimpPretty Methods showsPrec :: Int -> SDoc -> ShowS # show :: SDoc -> String # showList :: [SDoc] -> ShowS #

Primitive documents

Arguments

An empty document

Arguments

A ',' character

Converting values into documents

text :: String -> SDoc Source #

Wrapping documents in delimiters

parens Source #

Arguments

:: SDoc
-> SDoc	Wrap document in `(...)`

brackets Source #

Arguments

:: SDoc
-> SDoc	Wrap document in `[...]`

braces Source #

Arguments

:: SDoc
-> SDoc	Wrap document in `{...}`

Combining documents

(<>) infixl 6 Source #

Arguments

:: SDoc
-> SDoc
-> SDoc	Beside

Rendering documents

render :: SDoc -> String Source #

Renders the document as a string using the default style

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

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