Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > a0995fd4c38add851d8e9994a3499e40 > files > 361

ghc-darcs-devel-2.4.4-3.fc14.x86_64.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.Patch.Non</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-Patch-Non.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="src/Darcs-Patch-Non.html"
>Source code</A
></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.Patch.Non</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
><TT
><A HREF="Darcs-Patch-Non.html#t%3ANonPatch"
>NonPatch</A
></TT
> and <TT
><A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
></TT
> patches are patches that store a context as a
 sequence of patches.  See <A HREF="Darcs-Patch-Real.html"
>Darcs.Patch.Real</A
> for example usage.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ANonPatch"
>NonPatch</A
> = <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> <A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ANon"
>Non</A
> p <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3ANon"
>Non</A
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p -&gt; <A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
> -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>class</SPAN
>  <A HREF="#t%3ANonable"
>Nonable</A
> p  <SPAN CLASS="keyword"
>where</SPAN
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="#v%3Anon"
>non</A
> :: p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AunNon"
>unNon</A
> :: <A HREF="Darcs-Patch-Prim.html#t%3AFromPrim"
>FromPrim</A
> p =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Witnesses-Sealed.html#t%3ASealed"
>Sealed</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AshowNon"
>showNon</A
> :: <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p) =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Printer.html#t%3ADoc"
>Doc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AreadNon"
>readNon</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> p, <A HREF="Darcs-Patch-ReadMonads.html#t%3AParserM"
>ParserM</A
> m) =&gt; m (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p))</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AshowNons"
>showNons</A
> :: <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p) =&gt; [<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p] -&gt; <A HREF="Printer.html#t%3ADoc"
>Doc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AreadNons"
>readNons</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> p, <A HREF="Darcs-Patch-ReadMonads.html#t%3AParserM"
>ParserM</A
> m) =&gt; m [<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aadd"
>add</A
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; q -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arem"
>rem</A
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; q -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AaddP"
>addP</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AremP"
>remP</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AaddPs"
>addPs</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AremPs"
>remPs</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AremAddP"
>remAddP</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AremAddPs"
>remAddPs</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AremNons"
>remNons</A
> :: (<A HREF="Darcs-Patch-Non.html#t%3ANonable"
>Nonable</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> p) =&gt; [<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p] -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%2A%3E"
>(*&gt;)</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3E%2A"
>(&gt;*)</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%2A%3E%3E"
>(*&gt;&gt;)</A
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; q -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3A%3E%3E%2A"
>(&gt;&gt;*)</A
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; q -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aprop_adjust_twice"
>prop_adjust_twice</A
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Printer.html#t%3ADoc"
>Doc</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:NonPatch"
><A NAME="t%3ANonPatch"
></A
></A
><B
>NonPatch</B
> = <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> <A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
></TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#NonPatch"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Convenience type for non primitive patches
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Non"
><A NAME="t%3ANon"
></A
></A
><B
>Non</B
> p <SPAN CLASS="keyword"
>where</SPAN
></TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#Non"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
><TT
><A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
></TT
> stores a context with a <TT
><A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
></TT
> patch.
</TD
></TR
><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:Non"
><A NAME="v%3ANon"
></A
></A
><B
>Non</B
> ::  <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p -&gt; <A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
> -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Non')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Non" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>(<A HREF="Darcs-Patch-Patchy.html#t%3ACommute"
>Commute</A
> p, <A HREF="Darcs-Witnesses-Ordered.html#t%3AMyEq"
>MyEq</A
> p) =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Eq.html#t%3AEq"
>Eq</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> p =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Witnesses-Show.html#t%3AShow2"
>Show2</A
> p =&gt; <A HREF="Darcs-Witnesses-Show.html#t%3AShow1"
>Show1</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>class</SPAN
>  <A NAME="t:Nonable"
><A NAME="t%3ANonable"
></A
></A
><B
>Nonable</B
> p  <SPAN CLASS="keyword"
>where</SPAN
></TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#Nonable"
>Source</A
></TD
></TR
></TABLE
></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="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:non"
><A NAME="v%3Anon"
></A
></A
><B
>non</B
> :: p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#non"
>Source</A
></TD
></TR
></TABLE
></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:Nonable')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Nonable" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Non.html#t%3ANonable"
>Nonable</A
> <A HREF="Darcs-Patch-Prim.html#t%3APrim"
>Prim</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Darcs-Patch-Non.html#t%3ANonable"
>Nonable</A
> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch"
>RealPatch</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:unNon"
><A NAME="v%3AunNon"
></A
></A
><B
>unNon</B
> :: <A HREF="Darcs-Patch-Prim.html#t%3AFromPrim"
>FromPrim</A
> p =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Witnesses-Sealed.html#t%3ASealed"
>Sealed</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#unNon"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
>Return as a list the context followed by the primitive patch.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:showNon"
><A NAME="v%3AshowNon"
></A
></A
><B
>showNon</B
> :: <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p) =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Printer.html#t%3ADoc"
>Doc</A
></TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#showNon"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:readNon"
><A NAME="v%3AreadNon"
></A
></A
><B
>readNon</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> p, <A HREF="Darcs-Patch-ReadMonads.html#t%3AParserM"
>ParserM</A
> m) =&gt; m (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p))</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#readNon"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:showNons"
><A NAME="v%3AshowNons"
></A
></A
><B
>showNons</B
> :: <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p) =&gt; [<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p] -&gt; <A HREF="Printer.html#t%3ADoc"
>Doc</A
></TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#showNons"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:readNons"
><A NAME="v%3AreadNons"
></A
></A
><B
>readNons</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch"
>ReadPatch</A
> p, <A HREF="Darcs-Patch-ReadMonads.html#t%3AParserM"
>ParserM</A
> m) =&gt; m [<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p]</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#readNons"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:add"
><A NAME="v%3Aadd"
></A
></A
><B
>add</B
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; q -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#add"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:rem"
><A NAME="v%3Arem"
></A
></A
><B
>rem</B
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; q -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#rem"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:addP"
><A NAME="v%3AaddP"
></A
></A
><B
>addP</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#addP"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
><TT
><A HREF="Darcs-Patch-Non.html#v%3AaddP"
>addP</A
></TT
> <TT
>x cy</TT
> tries to commute <TT
>x</TT
> past <TT
>cy</TT
> and always returns some
 variant <TT
>cy'</TT
>.  -- commutation suceeds, the variant is just
 straightforwardly the commuted versian.  If commutation fails, the variant
 consists of <TT
>x</TT
> prepended to the context of <TT
>cy</TT
>.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:remP"
><A NAME="v%3AremP"
></A
></A
><B
>remP</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#remP"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:addPs"
><A NAME="v%3AaddPs"
></A
></A
><B
>addPs</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#addPs"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="doc"
><P
><TT
><A HREF="Darcs-Patch-Non.html#v%3AaddPs"
>addPs</A
></TT
> <TT
>xs cy</TT
> commutes as many patches of <TT
>xs</TT
> past <TT
>cy</TT
> as
   possible, stopping at the first patch that fails to commute.
   Note the fact <TT
>xs</TT
> is a <TT
><A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
></TT
>
</P
><P
>Suppose we have
</P
><PRE
> x1 x2 x3 [c1 c2 y]
</PRE
><P
>and that in our example <TT
>c1</TT
> fails to commute past <TT
>x1</TT
>, this
   function would commute down to
</P
><PRE
> x1 [c1'' c2'' y''] x2' x3'
</PRE
><P
>and return <TT
>[x1 c1'' c2'' y'']</TT
>
</P
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:remPs"
><A NAME="v%3AremPs"
></A
></A
><B
>remPs</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL"
>FL</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#remPs"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:remAddP"
><A NAME="v%3AremAddP"
></A
></A
><B
>remAddP</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#remAddP"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:remAddPs"
><A NAME="v%3AremAddPs"
></A
></A
><B
>remAddPs</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL"
>RL</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#remAddPs"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:remNons"
><A NAME="v%3AremNons"
></A
></A
><B
>remNons</B
> :: (<A HREF="Darcs-Patch-Non.html#t%3ANonable"
>Nonable</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p, <A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch"
>ShowPatch</A
> p) =&gt; [<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p] -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#remNons"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:*>"
><A NAME="v%3A%2A%3E"
></A
></A
><B
>(*&gt;)</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#%2A%3E"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:>*"
><A NAME="v%3A%3E%2A"
></A
></A
><B
>(&gt;*)</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#%3E%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:*>>"
><A NAME="v%3A%2A%3E%3E"
></A
></A
><B
>(*&gt;&gt;)</B
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; q -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#%2A%3E%3E"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:>>*"
><A NAME="v%3A%3E%3E%2A"
></A
></A
><B
>(&gt;&gt;*)</B
> :: (<A HREF="Darcs-Patch-Prim.html#t%3AEffect"
>Effect</A
> q, <A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; q -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> (<A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p)</TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#%3E%3E%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><A NAME="v:prop_adjust_twice"
><A NAME="v%3Aprop_adjust_twice"
></A
></A
><B
>prop_adjust_twice</B
> :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy"
>Patchy</A
> p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim"
>ToFromPrim</A
> p) =&gt; p -&gt; <A HREF="Darcs-Patch-Non.html#t%3ANon"
>Non</A
> p -&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Printer.html#t%3ADoc"
>Doc</A
></TD
><TD CLASS="declbut"
><A HREF="src/Darcs-Patch-Non.html#prop_adjust_twice"
>Source</A
></TD
></TR
></TABLE
></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.1</TD
></TR
></TABLE
></BODY
></HTML
>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional