Pretty printer.
Short hand notation for append. Usefull when appending multiple parts together:
string "Hello"
|> a space
|> a "World"
|> a (char '!')
|> a lineConcatenates a list of documents together interspersed with a separator document.
Concatenate a list of documents together interspersed with lines. Very convenient when laying out lines after another:
lines
[ string "Heading"
, empty
, words [string "First", string "paragraph"]
...
]
==
string "Heading"
|> a line
|> a line
|> a (string "First")
|> a space
|> a (string "paragraph")
...See also words.
Concatenate a list of documents together interspersed with spaces. Very convenient when laying out words after another.
See also lines.
Fold a list of documents from left to right using a given function.
fold f == List.foldl f emptyTries to fit a document on a single line, replacing line breaks with single spaces where possible to achieve this.
Creates a hard line break. This always creates a new line, with subsequent text at the current indentation level.
Creates a line break that will render to a single space if the documents it separtes can be fitted onto one line, or a line break otherwise.
Adds an indent of the current column position to all line breaks in the document. The first line will not be indented, only subsequent nested lines will be.
Adds an indent of the given number of spaces to all line breakss in the document. The first line will not be indented, only subsequent nested lines will be.
Adds an indent of the current column position to all line breaks in the document and a further indent of the specified number of columns. The first line will not be indented, only subsequent nested lines will be.
Places a document inside left and right book ends.
pretty 100 (surround (char '\') (char '/') string "hello")
== "\hello/"
The type of documents that can be pretty printed.