|
|
|
|
|
Description |
Define a position datatype for giving locations in error messages.
|
|
Synopsis |
|
|
|
|
Position type
|
|
|
Source positions contain a filename, line, column, and an
inclusion point, which is itself another source position,
recursively.
| Instances | |
|
|
Constructors of a new position
|
|
|
posInNewCxt name pos creates a new source position from an old one.
It is used when opening a new file (e.g. a DTD inclusion), to denote
the start of the file name, but retain the stacked information that
it was included from the old pos.
|
|
|
Dummy value for generated data, where a true source position does
not exist.
|
|
Strictifier
|
|
|
Just used to strictify the internal values of a position, to avoid
space leaks.
|
|
Modifiers
|
|
|
Add n character positions to the given position.
|
|
|
|
|
Add a newline or tab to the given position.
|
|
|
Add the given whitespace char to the given position.
Precondition: white c | isSpace c = True
|
|
Accessors
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |