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