Agda.Interaction.Highlighting.Range
Description
Ranges.
Documentation
data Range
Character ranges. The first character in the file has position 1.
Note that the to
position is considered to be outside of the
range.
rangeInvariant :: Range -> Bool
The Range
invariant.
overlapping :: Range -> Range -> Bool
True
iff the ranges overlap.
The ranges are assumed to be well-formed.
getRanges :: Name -> ([Range], Bool)
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.
getRangesA :: QName -> ([Range], Bool)