<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Darcs.Patch.Prim.V1.Core</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Darcs-Patch-Prim-V1-Core.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-Prim-V1-Core.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">darcs-2.8.3: a distributed, interactive, smart revision control system</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">Darcs.Patch.Prim.V1.Core</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Prim">Prim</a> x y <span class="keyword">where</span><ul class="subs"><li><a href="#v:Move">Move</a> :: !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y </li><li><a href="#v:DP">DP</a> :: !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> !(<a href="Darcs-Patch-Prim-V1-Core.html#t:DirPatchType">DirPatchType</a> x y) -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y </li><li><a href="#v:FP">FP</a> :: !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> !(<a href="Darcs-Patch-Prim-V1-Core.html#t:FilePatchType">FilePatchType</a> x y) -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y </li><li><a href="#v:ChangePref">ChangePref</a> :: !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:DirPatchType">DirPatchType</a> x y<ul class="subs"><li>= <a href="#v:RmDir">RmDir</a> </li><li>| <a href="#v:AddDir">AddDir</a> </li></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:FilePatchType">FilePatchType</a> x y<ul class="subs"><li>= <a href="#v:RmFile">RmFile</a> </li><li>| <a href="#v:AddFile">AddFile</a> </li><li>| <a href="#v:Hunk">Hunk</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>] [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>] </li><li>| <a href="#v:TokReplace">TokReplace</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> </li><li>| <a href="#v:Binary">Binary</a> <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> </li></ul></li><li class="src short"><a href="#v:isIdentity">isIdentity</a> :: <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y -> <a href="Darcs-Witnesses-Eq.html#t:EqCheck">EqCheck</a> x y</li><li class="src short"><a href="#v:comparePrim">comparePrim</a> :: <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> w z -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ordering">Ordering</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Prim" class="def">Prim</a> x y <span class="keyword">where</span><a href="src/Darcs-Patch-Prim-V1-Core.html#Prim" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Move" class="def">Move</a> :: !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DP" class="def">DP</a> :: !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> !(<a href="Darcs-Patch-Prim-V1-Core.html#t:DirPatchType">DirPatchType</a> x y) -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:FP" class="def">FP</a> :: !<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> !(<a href="Darcs-Patch-Prim-V1-Core.html#t:FilePatchType">FilePatchType</a> x y) -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ChangePref" class="def">ChangePref</a> :: !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Prim" class="caption collapser" onclick="toggleSection('i:Prim')">Instances</p><div id="section.i:Prim" class="show"><table><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Invert.html#t:Invert">Invert</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Inspect.html#t:PatchInspect">PatchInspect</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Read.html#t:ReadPatch">ReadPatch</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Apply.html#t:Apply">Apply</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src">~ ((* -> *) -> *) (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a>) <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a> => <a href="Darcs-Patch-Show.html#t:ShowPatch">ShowPatch</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimApply">PrimApply</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimRead">PrimRead</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimDetails">PrimDetails</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimConstruct">PrimConstruct</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:FromPrim">FromPrim</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:DirPatchType" class="def">DirPatchType</a> x y <a href="src/Darcs-Patch-Prim-V1-Core.html#DirPatchType" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:RmDir" class="def">RmDir</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AddDir" class="def">AddDir</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:DirPatchType" class="caption collapser" onclick="toggleSection('i:DirPatchType')">Instances</p><div id="section.i:DirPatchType" class="show"><table><tr><td class="src"><a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:DirPatchType">DirPatchType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:DirPatchType">DirPatchType</a> x y)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:DirPatchType">DirPatchType</a> x y)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:DirPatchType">DirPatchType</a> x y)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:FilePatchType" class="def">FilePatchType</a> x y <a href="src/Darcs-Patch-Prim-V1-Core.html#FilePatchType" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:RmFile" class="def">RmFile</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AddFile" class="def">AddFile</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Hunk" class="def">Hunk</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>] [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TokReplace" class="def">TokReplace</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a> !<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Binary" class="def">Binary</a> <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:FilePatchType" class="caption collapser" onclick="toggleSection('i:FilePatchType')">Instances</p><div id="section.i:FilePatchType" class="show"><table><tr><td class="src"><a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> <a href="Darcs-Patch-Prim-V1-Core.html#t:FilePatchType">FilePatchType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:FilePatchType">FilePatchType</a> x y)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:FilePatchType">FilePatchType</a> x y)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> (<a href="Darcs-Patch-Prim-V1-Core.html#t:FilePatchType">FilePatchType</a> x y)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:isIdentity" class="def">isIdentity</a> :: <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y -> <a href="Darcs-Witnesses-Eq.html#t:EqCheck">EqCheck</a> x y<a href="src/Darcs-Patch-Prim-V1-Core.html#isIdentity" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:comparePrim" class="def">comparePrim</a> :: <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> x y -> <a href="Darcs-Patch-Prim-V1-Core.html#t:Prim">Prim</a> w z -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Ord.html#t:Ordering">Ordering</a><a href="src/Darcs-Patch-Prim-V1-Core.html#comparePrim" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-Prim-V1-Core.html#v:comparePrim">comparePrim</a></code> <code>p1 p2</code> is used to provide an arbitrary ordering between
<code>p1</code> and <code>p2</code>. Basically, identical patches are equal and
<code>Move < DP < FP < ChangePref</code>.
Everything else is compared in dictionary order of its arguments.
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
