|
|
|
|
|
| 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.4.2 |