<!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>Darcs.Witnesses.Ordered</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">Darcs.Witnesses.Ordered</p></div><div id="interface"><div class="top"><p class="src"><span class="keyword">data</span> (a1 <a href="Darcs-Witnesses-Ordered.html#t::-62-" target="main">:></a> a2) x y</p></div><div class="top"><p class="src"><span class="keyword">data</span> (a1 <a href="Darcs-Witnesses-Ordered.html#t::-60-" target="main">:<</a> a2) x y</p></div><div class="top"><p class="src"><span class="keyword">data</span> (a1 <a href="Darcs-Witnesses-Ordered.html#t::-92--47-:" target="main">:\/:</a> a2) x y</p></div><div class="top"><p class="src"><span class="keyword">data</span> (a1 <a href="Darcs-Witnesses-Ordered.html#t::-47--92-:" target="main">:/\:</a> a2) x y</p></div><div class="top"><p class="src"><span class="keyword">data</span> (a1 <a href="Darcs-Witnesses-Ordered.html#t::-124--124-:" target="main">:||:</a> a2) x y</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Ordered.html#t:FL" target="main">FL</a> a x z</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Darcs-Witnesses-Ordered.html#t:RL" target="main">RL</a> a x z</p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:lengthFL" target="main">lengthFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:mapFL" target="main">mapFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:mapFL_FL" target="main">mapFL_FL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:spanFL" target="main">spanFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:foldlFL" target="main">foldlFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:allFL" target="main">allFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:anyFL" target="main">anyFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:filterFL" target="main">filterFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:splitAtFL" target="main">splitAtFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:splitAtRL" target="main">splitAtRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:bunchFL" target="main">bunchFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:foldlRL" target="main">foldlRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:lengthRL" target="main">lengthRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:isShorterThanRL" target="main">isShorterThanRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:mapRL" target="main">mapRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:mapRL_RL" target="main">mapRL_RL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:zipWithFL" target="main">zipWithFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:filterFLFL" target="main">filterFLFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:filterRL" target="main">filterRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:reverseFL" target="main">reverseFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:reverseRL" target="main">reverseRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:-43--62--43-" target="main">(+>+)</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:-43--60--43-" target="main">(+<+)</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:nullFL" target="main">nullFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:concatFL" target="main">concatFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:concatRL" target="main">concatRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:consRLSealed" target="main">consRLSealed</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:nullRL" target="main">nullRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:toFL" target="main">toFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:dropWhileFL" target="main">dropWhileFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:dropWhileRL" target="main">dropWhileRL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:spanFL_M" target="main">spanFL_M</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:eqFL" target="main">eqFL</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:eqFLRev" target="main">eqFLRev</a></p></div><div class="top"><p class="src"><a href="Darcs-Witnesses-Ordered.html#v:eqFLUnsafe" target="main">eqFLUnsafe</a></p></div></div></body></html>
