Agda.Syntax.Position
Positions
data
Position
positionInvariant
startPos
movePos
movePosByString
backupPos
Intervals
data
Interval
intervalInvariant
takeI
dropI
Ranges
data
Range
rangeInvariant
noRange
posToRange
rStart
rEnd
rangeToInterval
continuous
continuousPerLine
class
HasRange
t
class
SetRange
t
class
KillRange
a
withRangeOf
fuseRange
fuseRanges
beginningOf
Tests
tests