|
Agda.Interaction.Highlighting.Range |
|
|
Description |
Ranges.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Character ranges. The first character in the file has position 1.
Note that the to position is considered to be outside of the
range.
Invariant: from <= to.
| Constructors | |
|
|
|
The Range invariant.
|
|
|
True iff the ranges overlap.
The ranges are assumed to be well-formed.
|
|
|
Converts a range to a list of positions.
|
|
|
Calculates a set of ranges associated with a name.
For an operator the ranges associated with the NameParts are
returned. Otherwise the range associated with the Name is returned.
A boolean, indicating operatorness, is also returned.
|
|
|
Like getRanges, but for QNames. Note that the module part
of the name is thrown away; only the base part is used.
|
|
|
Converts a Range to a list of Ranges.
|
|
|
All the properties.
|
|
Produced by Haddock version 2.6.1 |