Documentation

Separate vertically by a blank line.

>>> "foo" $++$ "bar"
foo

bar

>>> "foo" $++$ empty
foo

Pretty print separator with = (for assignments...).

>>> "a" <=> "123"
a = 123

Code block. A block of C/Java code, surrounded by {} and indented.

>>> codeblock 4 ["abc", "def"]
{
    abc
    def
}

Used in the C backend.

Put parens around document if given condition is true.

>>> parensIf True "foo"
(foo)

>>> parensIf False "bar"
bar

Print a list of 0-1 elements on the same line as some preamble and from 2 elements on the following lines, indented.

>>> prettyList 2 ("foo" <+> equals) lbrack rbrack comma []
foo = []
>>> prettyList 2 ("foo" <+> equals) lbrack rbrack comma [ "a" ]
foo = [a]
>>> prettyList 2 ("foo" <+> equals) lbrack rbrack comma [ "a", "b" ]
foo =
  [ a
  , b
  ]

Used in the Agda backend.

Render as String.

List version of $+$.

>>> vcat' [text "abc", nest 4 (text "def")]
abc
    def

List version of $++$.

>>> vsep [ "foo", nest 4 "bar" ]
foo

    bar

>>> vsep []

Overloaded function pretty.