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
killRange1
killRange2
killRange3
killRange4
killRange5
killRange6
killRange7
withRangeOf
fuseRange
fuseRanges
beginningOf
beginningOfFile
Tests
tests