The abstract type of documents. The Show instance is equivalent to using render.

A document of height and width 1, containing a literal character.

A document of height 1 containing a literal string. text satisfies the following laws:

• text s <> text t = text (s++t)

• text "" <> x = x, if x non-empty

The side condition on the last law is necessary because text "" has height 1, while empty has no height.

An obsolete function, now identical to text.

int n = text (show n)

integer n = text (show n)

float n = text (show n)

double n = text (show n)

rational n = text (show n)

A ';' character

A ',' character

A : character

A space character

A '=' character

A '(' character

A ')' character

A '[' character

A ']' character

A '{' character

A '}' character

Wrap document in (...)

Wrap document in [...]

Wrap document in {...}

Wrap document in '...'

Wrap document in "..."

The empty document, with no height and no width. empty is the identity for <>, <+>, $$ and $+$, and anywhere in the argument list for sep, hcat, hsep, vcat, fcat etc.

Beside. <> is associative, with identity empty.

Beside, separated by space, unless one of the arguments is empty. <+> is associative, with identity empty.

List version of <>.

List version of <+>.

Above, except that if the last line of the first argument stops at least one position before the first line of the second begins, these two lines are overlapped. For example:

    text "hi" $$ nest 5 (text "there")

lays out as

    hi   there

rather than

    hi
         there

$$ is associative, with identity empty, and also satisfies

• (x $$ y) <> z = x $$ (y <> z), if y non-empty.

Above, with no overlapping. $+$ is associative, with identity empty.

List version of $$.

Either hsep or vcat.

Either hcat or vcat.

"Paragraph fill" version of sep.

"Paragraph fill" version of cat.

Nest (or indent) a document by a given number of positions (which may also be negative). nest satisfies the laws:

• nest 0 x = x

• nest k (nest k' x) = nest (k+k') x

• nest k (x <> y) = nest k z <> nest k y

• nest k (x $$ y) = nest k x $$ nest k y

• nest k empty = empty

• x <> nest k y = x <> y, if x non-empty

The side condition on the last law is needed because empty is a left identity for <>.

hang d1 n d2 = sep [d1, nest n d2]

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

Returns True if the document is empty

Renders the document as a string using the default style.

A rendering style.

The default style (mode=PageMode, lineLength=100, ribbonsPerLine=1.5).

Render the document as a string using a specified style.

The general rendering interface.

Rendering mode.

mark inserts a zero width mark into the output document