<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Agda.Syntax.Position</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.Syntax.Position</p></div><div id="interface"><h1>Positions
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Position.html#t:Position" target="main">Position</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Position.html#t:Position-39-" target="main">Position'</a> a</p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:positionInvariant" target="main">positionInvariant</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:startPos" target="main">startPos</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:movePos" target="main">movePos</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:movePosByString" target="main">movePosByString</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:backupPos" target="main">backupPos</a></p></div><h1>Intervals
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Position.html#t:Interval" target="main">Interval</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Position.html#t:Interval-39-" target="main">Interval'</a> a</p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:intervalInvariant" target="main">intervalInvariant</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:takeI" target="main">takeI</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:dropI" target="main">dropI</a></p></div><h1>Ranges
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Position.html#t:Range" target="main">Range</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Position.html#t:Range-39-" target="main">Range'</a> a</p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:rangeInvariant" target="main">rangeInvariant</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:noRange" target="main">noRange</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:posToRange" target="main">posToRange</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:rStart" target="main">rStart</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:rEnd" target="main">rEnd</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:rangeToInterval" target="main">rangeToInterval</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:continuous" target="main">continuous</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:continuousPerLine" target="main">continuousPerLine</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-Syntax-Position.html#t:HasRange" target="main">HasRange</a> t</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-Syntax-Position.html#t:SetRange" target="main">SetRange</a> t</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-Syntax-Position.html#t:KillRange" target="main">KillRange</a> a</p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange1" target="main">killRange1</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange2" target="main">killRange2</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange3" target="main">killRange3</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange4" target="main">killRange4</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange5" target="main">killRange5</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange6" target="main">killRange6</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:killRange7" target="main">killRange7</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:withRangeOf" target="main">withRangeOf</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:fuseRange" target="main">fuseRange</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:fuseRanges" target="main">fuseRanges</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:beginningOf" target="main">beginningOf</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:beginningOfFile" target="main">beginningOfFile</a></p></div><h1>Tests
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Position.html#v:tests" target="main">tests</a></p></div></div></body></html>
