Agda.Syntax.Position

Positions

data Position' a

positionInvariant

movePosByString

Intervals

data Interval' a

intervalInvariant

Ranges

type Range

data Range' a

rangeToInterval

continuousPerLine

data PrintRange a

class HasRange t

class SetRange t

class KillRange a

type KillRangeT a

beginningOfFile

Tests