<!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.Real</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-Real.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.Real</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Description</TD ></TR ><TR ><TD CLASS="doc" >Conflictor patches </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" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3ARealPatch" >RealPatch</A > <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%3ADuplicate" >Duplicate</A > :: <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AEtacilpud" >Etacilpud</A > :: <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3ANormal" >Normal</A > :: <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AConflictor" >Conflictor</A > :: [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A >] -> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AInvConflictor" >InvConflictor</A > :: [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A >] -> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3Aprim2real" >prim2real</A > :: <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3Ais_consistent" >is_consistent</A > :: <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <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="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3Ais_forward" >is_forward</A > :: <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <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="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3Ais_duplicate" >is_duplicate</A > :: <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <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 HREF="#v%3ApullCommon" >pullCommon</A > :: <A HREF="Darcs-Patch-Patchy.html#t%3APatchy" >Patchy</A > p => <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > p -> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > p -> Common p</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmergeUnravelled" >mergeUnravelled</A > :: [<A HREF="Darcs-Witnesses-Sealed.html#t%3ASealed" >Sealed</A > (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A >)] -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Witnesses-Sealed.html#t%3AFlippedSeal" >FlippedSeal</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</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" >data</SPAN > <A NAME="t:RealPatch" ><A NAME="t%3ARealPatch" ></A ></A ><B >RealPatch</B > <SPAN CLASS="keyword" >where</SPAN ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" ><P ><TT >Duplicate x</TT >: This patch has no effect since <TT >x</TT > is already present in the repository </P ><PRE >Etacilpud x: invert (Duplicate x)</PRE ><P ><TT >Normal prim</TT >: A primitive patch </P ><P ><TT >Conflictor ix xx x</TT >: <TT >ix</TT > is the set of patches: </P ><UL ><LI > that conflict with <TT >x</TT > and also conflict with another patch in the repository </LI ><LI > that conflict with a patch that conflict with <TT >x</TT > </LI ></UL ><P ><TT >xx</TT > is the sequence of patches that conflict *only* with <TT >x</TT > </P ><P ><TT >x</TT > is the current patch </P ><P ><TT >ix</TT > and <TT >x</TT > are stored as <TT >Non</TT > objects, which include any necessary context to uniquely define the patch that is referred to. </P ><P ><TT >InvConflictor ix xx x</TT >: like <TT >invert (Conflictor ix xx x)</TT > </P ></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:Duplicate" ><A NAME="v%3ADuplicate" ></A ></A ><B >Duplicate</B > :: <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:Etacilpud" ><A NAME="v%3AEtacilpud" ></A ></A ><B >Etacilpud</B > :: <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:Normal" ><A NAME="v%3ANormal" ></A ></A ><B >Normal</B > :: <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:Conflictor" ><A NAME="v%3AConflictor" ></A ></A ><B >Conflictor</B > :: [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A >] -> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:InvConflictor" ><A NAME="v%3AInvConflictor" ></A ></A ><B >InvConflictor</B > :: [<A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A >] -> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Non.html#t%3ANon" >Non</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:RealPatch')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:RealPatch" 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/Text-Show.html#t%3AShow" >Show</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Witnesses-Show.html#t%3AShow2" >Show2</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 > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Patchy.html#t%3AInvert" >Invert</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Patchy.html#t%3AReadPatch" >ReadPatch</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Patchy.html#t%3AShowPatch" >ShowPatch</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Patchy.html#t%3ACommute" >Commute</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Patchy.html#t%3AApply" >Apply</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Patchy.html#t%3APatchy" >Patchy</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Prim.html#t%3AEffect" >Effect</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Prim.html#t%3AConflict" >Conflict</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Prim.html#t%3AToFromPrim" >ToFromPrim</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="Darcs-Patch-Prim.html#t%3AFromPrim" >FromPrim</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</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 ><TR ><TD CLASS="decl" >RepoPatchBase <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:prim2real" ><A NAME="v%3Aprim2real" ></A ></A ><B >prim2real</B > :: <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A > -> <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:is_consistent" ><A NAME="v%3Ais_consistent" ></A ></A ><B >is_consistent</B > :: <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <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="doc" >This is used for unit-testing and for internal sanity checks </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:is_forward" ><A NAME="v%3Ais_forward" ></A ></A ><B >is_forward</B > :: <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <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="doc" >This is only used for unit testing </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:is_duplicate" ><A NAME="v%3Ais_duplicate" ></A ></A ><B >is_duplicate</B > :: <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</A > -> <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="doc" ><TT ><A HREF="Darcs-Patch-Real.html#v%3Ais_duplicate" >is_duplicate</A ></TT > <TT >p</TT > is ' <TT >True</TT > if <TT >p</TT > is either a <TT ><A HREF="Darcs-Patch-Real.html#v%3ADuplicate" >Duplicate</A ></TT > or <TT ><A HREF="Darcs-Patch-Real.html#v%3AEtacilpud" >Etacilpud</A ></TT > patch </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:pullCommon" ><A NAME="v%3ApullCommon" ></A ></A ><B >pullCommon</B > :: <A HREF="Darcs-Patch-Patchy.html#t%3APatchy" >Patchy</A > p => <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > p -> <A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > p -> Common p</TD ></TR ><TR ><TD CLASS="doc" ><TT ><A HREF="Darcs-Patch-Real.html#v%3ApullCommon" >pullCommon</A ></TT > <TT >xs ys</TT > returns the set of patches that can be commuted out of both <TT >xs</TT > and <TT >ys</TT > along with the remnants of both lists </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mergeUnravelled" ><A NAME="v%3AmergeUnravelled" ></A ></A ><B >mergeUnravelled</B > :: [<A HREF="Darcs-Witnesses-Sealed.html#t%3ASealed" >Sealed</A > (<A HREF="Darcs-Witnesses-Ordered.html#t%3AFL" >FL</A > <A HREF="Darcs-Patch-Prim.html#t%3APrim" >Prim</A >)] -> <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.0/Data-Maybe.html#t%3AMaybe" >Maybe</A > (<A HREF="Darcs-Witnesses-Sealed.html#t%3AFlippedSeal" >FlippedSeal</A > <A HREF="Darcs-Patch-Real.html#t%3ARealPatch" >RealPatch</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 >