Sophie: ghc-darcs-doc-2.4.4-1.fc13 i686

ghc-darcs-doc-2.4.4-1.fc13.i686.rpm

<!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
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_Darcs-Witnesses-Ordered.html")};</SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>darcs-2.4.4: a distributed, interactive, smart revision control system</TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="modulebar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><FONT SIZE="6"
>Darcs.Witnesses.Ordered</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:EqCheck"
><A NAME="t%3AEqCheck"
></A
></A
><B
>EqCheck</B
>  <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:IsEq"
><A NAME="v%3AIsEq"
></A
></A
><B
>IsEq</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:NotEq"
><A NAME="v%3ANotEq"
></A
></A
><B
>NotEq</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:EqCheck')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:EqCheck" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Eq.html#t%3AEq"
>Eq</A
> <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isEq"
><A NAME="v%3AisEq"
></A
></A
><B
>isEq</B
> :: <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
> -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  a1 <A NAME="t::>"
><A NAME="t%3A%3A%3E"
></A
></A
><B
>:&gt;</B
> a2 </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
>a1 <A NAME="v::>"
><A NAME="v%3A%3A%3E"
></A
></A
><B
>:&gt;</B
> a2</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:%3A%3E')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:%3A%3E" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> a, <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> b) =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%3E"
>:&gt;</A
> a b)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> a, <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> b) =&gt; <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%3E"
>:&gt;</A
> a b)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  a1 <A NAME="t::<"
><A NAME="t%3A%3A%3C"
></A
></A
><B
>:&lt;</B
> a2 </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
>a1 <A NAME="v::<"
><A NAME="v%3A%3A%3C"
></A
></A
><B
>:&lt;</B
> a2</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  a1 <A NAME="t::\/:"
><A NAME="t%3A%3A%5C%2F%3A"
></A
></A
><B
>:\/:</B
> a2 </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
>a1 <A NAME="v::\/:"
><A NAME="v%3A%3A%5C%2F%3A"
></A
></A
><B
>:\/:</B
> a2</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:%3A%5C%2F%3A')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:%3A%5C%2F%3A" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> a, <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> b) =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%5C%2F%3A"
>:\/:</A
> a b)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> a, <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> b) =&gt; <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%5C%2F%3A"
>:\/:</A
> a b)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  a1 <A NAME="t::/\:"
><A NAME="t%3A%3A%2F%5C%3A"
></A
></A
><B
>:/\:</B
> a2 </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
>a1 <A NAME="v::/\:"
><A NAME="v%3A%3A%2F%5C%3A"
></A
></A
><B
>:/\:</B
> a2</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  a1 <A NAME="t::||:"
><A NAME="t%3A%3A%7C%7C%3A"
></A
></A
><B
>:||:</B
> a2 </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
>a1 <A NAME="v::||:"
><A NAME="v%3A%3A%7C%7C%3A"
></A
></A
><B
>:||:</B
> a2</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:FL"
><A NAME="t%3AFL"
></A
></A
><B
>FL</B
> a <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v::>:"
><A NAME="v%3A%3A%3E%3A"
></A
></A
><B
>:&gt;:</B
> ::  a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:NilFL"
><A NAME="v%3ANilFL"
></A
></A
><B
>NilFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:FL')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:FL" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> a =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> a =&gt; <A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Patchy.html#t%3AInvert"
>Invert</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p) =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AInvert"
>Invert</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> p =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AApply"
>Apply</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> p) =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Patchy.html#t%3AApply"
>Apply</A
> p =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AApply"
>Apply</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p) =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> p =&gt; <A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> p =&gt; <A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Prim.html#t%3AFromPrim"
>FromPrim</A
> p =&gt; <A HREF="Darcs-Patch-Prim.html#t%3AFromPrims"
>FromPrims</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>RepoPatchBase p =&gt; <A HREF="Darcs-Patch.html#t%3ARepoPatch"
>RepoPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:RL"
><A NAME="t%3ARL"
></A
></A
><B
>RL</B
> a <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v::<:"
><A NAME="v%3A%3A%3C%3A"
></A
></A
><B
>:&lt;:</B
> ::  a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:NilRL"
><A NAME="v%3ANilRL"
></A
></A
><B
>NilRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:RL')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:RL" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AInvert"
>Invert</A
> p) =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AInvert"
>Invert</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> p =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AApply"
>Apply</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> p) =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Patchy.html#t%3AApply"
>Apply</A
> p =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3AApply"
>Apply</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p) =&gt; <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> p =&gt; <A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> p =&gt; <A HREF="Darcs-Patch-Prim.html#t%3AConflict"
>Conflict</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Prim.html#t%3AFromPrim"
>FromPrim</A
> p =&gt; <A HREF="Darcs-Patch-Prim.html#t%3AFromPrims"
>FromPrims</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Proof"
><A NAME="t%3AProof"
></A
></A
><B
>Proof</B
> a <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Proof"
><A NAME="v%3AProof"
></A
></A
><B
>Proof</B
> ::  a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AProof"
>Proof</A
> a</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeUnFL"
><A NAME="v%3AunsafeUnFL"
></A
></A
><B
>unsafeUnFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; [a]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeFL"
><A NAME="v%3AunsafeFL"
></A
></A
><B
>unsafeFL</B
> ::  [a] -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeRL"
><A NAME="v%3AunsafeRL"
></A
></A
><B
>unsafeRL</B
> ::  [a] -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeUnRL"
><A NAME="v%3AunsafeUnRL"
></A
></A
><B
>unsafeUnRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; [a]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:lengthFL"
><A NAME="v%3AlengthFL"
></A
></A
><B
>lengthFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Int.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mapFL"
><A NAME="v%3AmapFL"
></A
></A
><B
>mapFL</B
> ::  (a -&gt; b) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; [b]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mapFL_FL"
><A NAME="v%3AmapFL_FL"
></A
></A
><B
>mapFL_FL</B
> ::  (a -&gt; b) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:spanFL"
><A NAME="v%3AspanFL"
></A
></A
><B
>spanFL</B
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
>) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%3E"
>:&gt;</A
> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:foldlFL"
><A NAME="v%3AfoldlFL"
></A
></A
><B
>foldlFL</B
> ::  (a -&gt; b -&gt; a) -&gt; a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> b -&gt; a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:allFL"
><A NAME="v%3AallFL"
></A
></A
><B
>allFL</B
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
>) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:splitAtFL"
><A NAME="v%3AsplitAtFL"
></A
></A
><B
>splitAtFL</B
> ::  <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Int.html#t%3AInt"
>Int</A
> -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a <A HREF="Darcs-Witnesses-Ordered.html#t%3A%3A%3E"
>:&gt;</A
> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:bunchFL"
><A NAME="v%3AbunchFL"
></A
></A
><B
>bunchFL</B
> ::  <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Int.html#t%3AInt"
>Int</A
> -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:foldlRL"
><A NAME="v%3AfoldlRL"
></A
></A
><B
>foldlRL</B
> ::  (a -&gt; b -&gt; a) -&gt; a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> b -&gt; a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:lengthRL"
><A NAME="v%3AlengthRL"
></A
></A
><B
>lengthRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Int.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isShorterThanRL"
><A NAME="v%3AisShorterThanRL"
></A
></A
><B
>isShorterThanRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Int.html#t%3AInt"
>Int</A
> -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mapRL"
><A NAME="v%3AmapRL"
></A
></A
><B
>mapRL</B
> ::  (a -&gt; b) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; [b]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mapRL_RL"
><A NAME="v%3AmapRL_RL"
></A
></A
><B
>mapRL_RL</B
> ::  (a -&gt; b) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:zipWithFL"
><A NAME="v%3AzipWithFL"
></A
></A
><B
>zipWithFL</B
> ::  (a -&gt; p -&gt; q) -&gt; [a] -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> q</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeMap_l2f"
><A NAME="v%3AunsafeMap_l2f"
></A
></A
><B
>unsafeMap_l2f</B
> ::  (a -&gt; b) -&gt; [a] -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:filterE"
><A NAME="v%3AfilterE"
></A
></A
><B
>filterE</B
> ::  (a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
>) -&gt; [a] -&gt; [<A HREF="Darcs-Witnesses-Ordered.html#t%3AProof"
>Proof</A
> a]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:filterFL"
><A NAME="v%3AfilterFL"
></A
></A
><B
>filterFL</B
> ::  (p -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
>) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:reverseFL"
><A NAME="v%3AreverseFL"
></A
></A
><B
>reverseFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:reverseRL"
><A NAME="v%3AreverseRL"
></A
></A
><B
>reverseRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:+>+"
><A NAME="v%3A%2B%3E%2B"
></A
></A
><B
>(+&gt;+)</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:+<+"
><A NAME="v%3A%2B%3C%2B"
></A
></A
><B
>(+&lt;+)</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nullFL"
><A NAME="v%3AnullFL"
></A
></A
><B
>nullFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:concatFL"
><A NAME="v%3AconcatFL"
></A
></A
><B
>concatFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:concatRL"
><A NAME="v%3AconcatRL"
></A
></A
><B
>concatRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:concatReverseFL"
><A NAME="v%3AconcatReverseFL"
></A
></A
><B
>concatReverseFL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a) -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:headRL"
><A NAME="v%3AheadRL"
></A
></A
><B
>headRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="Darcs-Witnesses-Sealed.html#t%3AFlippedSeal"
>FlippedSeal</A
> a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
>  <A NAME="t:MyEq"
><A NAME="t%3AMyEq"
></A
></A
><B
>MyEq</B
> p  <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
>Methods</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A NAME="v:unsafeCompare"
><A NAME="v%3AunsafeCompare"
></A
></A
><B
>unsafeCompare</B
> :: p -&gt; p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:=\/="
><A NAME="v%3A%3D%5C%2F%3D"
></A
></A
><B
>(=\/=)</B
> :: p -&gt; p -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:=/\="
><A NAME="v%3A%3D%2F%5C%3D"
></A
></A
><B
>(=/\=)</B
> :: p -&gt; p -&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AEqCheck"
>EqCheck</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:MyEq')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:MyEq" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> <A HREF="Darcs-Patch-Prim.html#t%3ADirPatchType"
>DirPatchType</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> <A HREF="Darcs-Patch-Prim.html#t%3AFilePatchType"
>FilePatchType</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> <A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> <A HREF="Darcs-Patch-Core.html#t%3APatch"
>Patch</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch"
>RealPatch</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Patch-Core.html#t%3ANamed"
>Named</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Hopefully.html#t%3APatchInfoAnd"
>PatchInfoAnd</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (PatchChoice p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> (<A HREF="Darcs-Patch-Choices.html#t%3ATaggedPatch"
>TaggedPatch</A
> p)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:consRLSealed"
><A NAME="v%3AconsRLSealed"
></A
></A
><B
>consRLSealed</B
> ::  a -&gt; <A HREF="Darcs-Witnesses-Sealed.html#t%3AFlippedSeal"
>FlippedSeal</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a) -&gt; <A HREF="Darcs-Witnesses-Sealed.html#t%3AFlippedSeal"
>FlippedSeal</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nullRL"
><A NAME="v%3AnullRL"
></A
></A
><B
>nullRL</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> a -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeCoerceP"
><A NAME="v%3AunsafeCoerceP"
></A
></A
><B
>unsafeCoerceP</B
> ::  a -&gt; a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:unsafeCoerceP2"
><A NAME="v%3AunsafeCoerceP2"
></A
></A
><B
>unsafeCoerceP2</B
> ::  t -&gt; t</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.6.0</TD
></TR
></TABLE
></BODY
></HTML
>