A pretty-printed document, consisting of layout for the pretty-printed representation and associated links.
A pretty-printed document, consisting of layout for the
pretty-printed representation and associated links.
The link information maps pretty-printed values to the
offset ranges at which their printed representation occurs
in the layout. In other words, for a given value v
the
start of the position range will be the offset at which the
pretty-printed representation of v
starts in the layout.
The end of the range is where that representation finishes.
It is possible for a value to be linked to more than one
range.
See the link
combinator for information on how to
specify the association between a value and the document
that represents it.
Indentation is expressed as integer space units.
The final layout of a document as a string.
A link between a value and a range.
A link between a value and a range. Used for the representation of mappings between pretty-printed values and their printed representations.
A collection of link.s.
Output medium width
An empty pretty-printed document.
An empty links mapping.
Common type definitions for all pretty-printers.