Agda.Syntax.Position
data Position
positionInvariant
startPos
movePos
movePosByString
backupPos
data Interval
intervalInvariant
takeI
dropI
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