Documentation

Render a document with a width of 80 and print it to the specified handle, followed by a newline.

Render a document with a width of 80 and print it to the specified handle.

Render a document with a width of 80 and print it to standard output, followed by a newline.

Render a document with a width of 80 and print it to standard output.

Render and convert a document to Text with #line pragmas. Uses a builder.

Display a rendered document with #line pragmas as Text. Uses a builder.

Render and display a document as Text. Uses a builder.

Display a rendered document as Text. Uses a builder.

Render and convert a document to a String with #line pragmas.

> let loc = Loc (Pos "filename" 3 5 7) (Pos "filename" 5 7 9)
> in  putStrLn $ prettyPragma 80 $ srcloc loc <> text "foo" </> text "bar" </> text "baz"

will be printed as

foo
#line 3 "filename"
bar
baz

Render and display a document with #line pragmas.

Display a rendered document with #line pragmas.

Render and convert a document to a String compactly.

Render and display a document compactly.

Render and display a document.

Display a rendered document.

Render a document without indentation on infinitely long lines. Since no 'pretty' printing is involved, this renderer is fast. The resulting output contains fewer characters.

Render a document given a maximum width.

Equivalent of error, but with a document instead of a string.

Equivalent of fail, but with a document instead of a string.

The document fillbreak i d renders document d, appending spaces until the width is equal to i. If the width of d is already greater than i, the nesting level is increased by i and a line is appended.

The document fill i d renders document x, appending spaces until the width is equal to i. If the width of d is already greater than i, nothing is appended.

The document width d f is produced by concatenating d with the result of calling f with the width of the document d.

The document column f is produced by calling f with the current nesting level.

The document column f is produced by calling f with the current column.

The document nest i d renders the document d with the current indentation level increased by i.

The document indent i d renders d with a nesting level set to the current column plus i, including the first line.

The document hang i d renders d with a nesting level set to the current column plus i, not including the first line.

The document align d renders d with a nesting level set to the current column.

The document list ds separates ds with commas and encloses them with brackets.

The document tuple ds separates ds with commas and encloses them with parentheses.

The document enclosesep l r p ds separates ds with the punctuation p and encloses the result using l and r. When wrapped, punctuation appears at the end of the line. The enclosed portion of the document is aligned one column to the right of the opening document.

> ws = map text (words "The quick brown fox jumps over the lazy dog")
> test = pretty 15 (enclosesep lparen rparen comma ws)

will be layed out as:

(The, quick,
 brown, fox,
 jumps, over,
 the, lazy,
 dog)

The document semisep ds semicolon-space separates ds, aligning the resulting document to the current nesting level.

The document commasep ds comma-space separates ds, aligning the resulting document to the current nesting level.

The document punctuate p ds obeys the law:

punctuate p [d1, d2, ..., dn] = [d1 <> p, d2 <> p, ..., dn]

The document sep ds concatenates the documents ds with the space document as long as there is room, and uses line when there isn't.

The document cat ds concatenates the documents ds with the empty document as long as there is room, and uses line when there isn't.

The document stack ds concatenates the documents ds with line.

The document spread ds concatenates the documents ds with space.

The document folddoc f ds obeys the laws:

• folddoc f [] = empty

• folddoc f [d1, d2, ..., dnm1, dn] = d1 f (d2 f ... (dnm1 f dn))

The document parensIf p d encloses the document d in parenthesis if p is True, and otherwise yields just d.

The document parens d encloses the aligned document d in (...).

The document brackets d encloses the aligned document d in [...].

The document braces d encloses the aligned document d in {...}.

The document backquotes d encloses the aligned document d in `...`.

The document angles d encloses the aligned document d in <...>.

The document dquotes d encloses the aligned document d in "...".

The document squotes d encloses the alinged document d in '...'.

The document enclose l r d encloses the document d between the documents l and r using <>. It obeys the law

enclose l r d = l <> d <> r

The document flatten d will flatten d to one line.

The document group d will flatten d to one line if there is room for it, otherwise the original d.

Provide alternative layouts of the same content. Invariant: both arguments must flatten to the same document.

Concatenates two documents with a softbreak in between.

Concatenates two documents with a softline in between, with identity empty.

Concatenates two documents with a line in between, with identity empty.

Concatenates two documents with a space in between, with identity empty.

Becomes empty if there is room, otherwise line.

Becomes space if there is room, otherwise line.

pretty 11 $ text "foo" <+/> text "bar" <+/> text "baz" =="foo bar baz"
pretty  7 $ text "foo" <+/> text "bar" <+/> text "baz" == "foo bar\nbaz"
pretty  6 $ text "foo" <+/> text "bar" <+/> text "baz" == "foo\nbar\nbaz"

The document line advances to the next line and indents to the current indentation level. When undone by group, it behaves like space.

The document srcloc x tags the current line with locOf x. Only shown when running prettyPragma and friends.

The empty document.

The document rparen consists of a right brace, ")".

The document lparen consists of a right brace, "(".

The document rbracket consists of a right brace, "]".

The document lbracket consists of a right brace, "[".

The document rbrace consists of a right brace, "}".

The document lbrace consists of a left brace, "{".

The document rangle consists of a greater-than sign, ">".

The document langle consists of a less-than sign, "<".

The document dquote consists of a double quote, "\"".

The document squote consists of a single quote, "\'".

The document backquote consists of a backquote, "`".

The document space n consists of n spaces.

The document space consists of a space, " ".

The document semi consists of a semicolon, ";".

The document equals consists of an equals sign, "=".

The document dot consists of a period, ".".

The document comma consists of a comma, ",".

The document colon consists of a colon, ":".

The document star consists of an asterisk, "*".

The document lazyText s consists of the Text s, which should not contain any newlines.

The document strictText s consists of the Text s, which should not contain any newlines.

The document rational r is equivalent to text (show r).

The document double d is equivalent to text (show d).

The document float f is equivalent to text (show f).

The document integer i is equivalent to text (show i). text.

The document int i is equivalent to text (show i).

The document string s consists of all the characters in s but with newlines replaced by line.

The document char c consists the single character c.

The document bool b is equivalent to text (show b).

The document text s consists of the string s, which should not contain any newlines. For a string that may include newlines, use string.

The abstract type of documents.

A rendered document.

Prettyprint a value, wrapped to 80 characters.

Re-export of pretty.

Prettyprint a list enclosed in curly braces.

Prettyprint a value to a Text, wrapped to 80 characters.

Prettyprint a value without any width restriction.

The document apply ds separates ds with commas and encloses them with parentheses.

Make sure that the given document is printed on just a single line.

Stack and prepend a list of Docs to another Doc, separated by a linebreak. If the list is empty, the second Doc will be returned without a preceding linebreak.

Surround the given document with enclosers and add linebreaks and indents.

Like text, but splits the string into words and permits line breaks between all of them.

Prettyprint on a single line up to at most some appropriate number of characters, with trailing ... if necessary. Used for error messages.