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