Agda.Syntax.Position

Positions

type Position

data Position' a

positionInvariant

startPos

movePos

movePosByString

backupPos

Intervals

type Interval

data Interval' a

intervalInvariant

takeI

dropI

Ranges

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

tests