<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >Darcs.Witnesses.Ordered</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Darcs.Witnesses.Ordered</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck" TARGET="main" >EqCheck</A > </DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AisEq" TARGET="main" >isEq</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a1 <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%3E" TARGET="main" >:></A > a2</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a1 <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%3C" TARGET="main" >:<</A > a2</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a1 <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%5C%2F%3A" TARGET="main" >:\/:</A > a2</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a1 <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%2F%5C%3A" TARGET="main" >:/\:</A > a2</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > a1 <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%7C%7C%3A" TARGET="main" >:||:</A > a2</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" TARGET="main" >FL</A > a</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL" TARGET="main" >RL</A > a</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Darcs-Witnesses-Ordered.html#t%3AProof" TARGET="main" >Proof</A > a</DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeUnFL" TARGET="main" >unsafeUnFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeFL" TARGET="main" >unsafeFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeRL" TARGET="main" >unsafeRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeUnRL" TARGET="main" >unsafeUnRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AlengthFL" TARGET="main" >lengthFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AmapFL" TARGET="main" >mapFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AmapFL_FL" TARGET="main" >mapFL_FL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AspanFL" TARGET="main" >spanFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AfoldlFL" TARGET="main" >foldlFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AallFL" TARGET="main" >allFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AsplitAtFL" TARGET="main" >splitAtFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AbunchFL" TARGET="main" >bunchFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AfoldlRL" TARGET="main" >foldlRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AlengthRL" TARGET="main" >lengthRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AisShorterThanRL" TARGET="main" >isShorterThanRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AmapRL" TARGET="main" >mapRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AmapRL_RL" TARGET="main" >mapRL_RL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AzipWithFL" TARGET="main" >zipWithFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeMap_l2f" TARGET="main" >unsafeMap_l2f</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AfilterE" TARGET="main" >filterE</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AfilterFL" TARGET="main" >filterFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AreverseFL" TARGET="main" >reverseFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AreverseRL" TARGET="main" >reverseRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3A%2B%3E%2B" TARGET="main" >(+>+)</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3A%2B%3C%2B" TARGET="main" >(+<+)</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AnullFL" TARGET="main" >nullFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AconcatFL" TARGET="main" >concatFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AconcatRL" TARGET="main" >concatRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AconcatReverseFL" TARGET="main" >concatReverseFL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AheadRL" TARGET="main" >headRL</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq" TARGET="main" >MyEq</A > p</DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AconsRLSealed" TARGET="main" >consRLSealed</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AnullRL" TARGET="main" >nullRL</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeCoerceP" TARGET="main" >unsafeCoerceP</A ></DIV > <DIV CLASS="decl" ><A HREF="Darcs-Witnesses-Ordered.html#v%3AunsafeCoerceP2" TARGET="main" >unsafeCoerceP2</A ></DIV ></DIV ></DIV ></BODY ></HTML >