NoPosition

The column number referred to by the position; column numbers start at 1.

The line number referred to by the position; line numbers start at 1.

The contents of the line at this position. (must not contain a new-line character).

Returns a more visual representation of this position. More precisely, the resulting string consists of two lines:

1. the line in the document referred to by this position
2. a caret indicating the column

Example:

  List(this, is, a, line, from, the, document)
               ^

Returns a string representation of the Position, of the form line.column.

Compare this position to another, by first comparing their line numbers, and then -- if necessary -- using the columns to break a tie.