<!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="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 -> <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <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 -> <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 => <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => m (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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) => [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p] -> <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) => 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) => q -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => q -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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) => <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL" >RL</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL" >RL</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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) => [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p] -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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" >(*>)</A > :: (<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-Non.html#t%3ANon" >Non</A > p -> p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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" >(>*)</A > :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy" >Patchy</A > p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim" >ToFromPrim</A > p) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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" >(*>>)</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) => <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> q -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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" >(>>*)</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) => q -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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="decl" ><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 ></TR ><TR ><TD CLASS="doc" >Convenience type for non primitive patches </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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 ></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 -> <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <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) => <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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 => <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/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 => <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="decl" ><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 ></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:non" ><A NAME="v%3Anon" ></A ></A ><B >non</B > :: p -> <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="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="decl" ><A NAME="v:unNon" ><A NAME="v%3AunNon" ></A ></A ><B >unNon</B > :: <A HREF="Darcs-Patch-Prim.html#t%3AFromPrim" >FromPrim</A > p => <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <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="doc" >Return as a list the context followed by the primitive patch. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Printer.html#t%3ADoc" >Doc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => m (<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p))</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p] -> <A HREF="Printer.html#t%3ADoc" >Doc</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => m [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p]</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => q -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => q -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p</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="decl" ><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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL" >RL</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p</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="decl" ><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) => <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => <A HREF="Darcs-Witnesses-Ordered.html#t%3ARL" >RL</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p] -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:*>" ><A NAME="v%3A%2A%3E" ></A ></A ><B >(*>)</B > :: (<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-Non.html#t%3ANon" >Non</A > p -> p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:>*" ><A NAME="v%3A%3E%2A" ></A ></A ><B >(>*)</B > :: (<A HREF="Darcs-Patch-Patchy.html#t%3APatchy" >Patchy</A > p, <A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim" >ToFromPrim</A > p) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:*>>" ><A NAME="v%3A%2A%3E%3E" ></A ></A ><B >(*>>)</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) => <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> q -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:>>*" ><A NAME="v%3A%3E%3E%2A" ></A ></A ><B >(>>*)</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) => q -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p)</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><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) => p -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > p -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Printer.html#t%3ADoc" >Doc</A ></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 >