<!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</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.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-Prim.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</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"><a href="#v:showPrim">showPrim</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> prim => <a href="Darcs-Patch-Format.html#t:FileNameFormat">FileNameFormat</a> -> prim a b -> <a href="Printer.html#t:Doc">Doc</a></li><li class="src short"><a href="#v:showPrimFL">showPrimFL</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> prim => <a href="Darcs-Patch-Format.html#t:FileNameFormat">FileNameFormat</a> -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim a b -> <a href="Printer.html#t:Doc">Doc</a></li><li class="src short"><a href="#v:primIsAddfile">primIsAddfile</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:primIsHunk">primIsHunk</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:primIsBinary">primIsBinary</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:primIsSetpref">primIsSetpref</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:primIsAdddir">primIsAdddir</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:is_filepatch">is_filepatch</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Darcs-Patch-FileName.html#t:FileName">FileName</a></li><li class="src short"><a href="#v:canonize">canonize</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y</li><li class="src short"><a href="#v:tryToShrink">tryToShrink</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y</li><li class="src short"><a href="#v:sortCoalesceFL">sortCoalesceFL</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y</li><li class="src short"><a href="#v:join">join</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => (prim <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> prim) x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y)</li><li class="src short"><a href="#v:canonizeFL">canonizeFL</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y</li><li class="src short"><a href="#v:tryShrinkingInverse">tryShrinkingInverse</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y)</li><li class="src short"><a href="#v:summarizePrim">summarizePrim</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimDetails">PrimDetails</a> prim => prim x y -> [<a href="Darcs-Patch-SummaryData.html#t:SummDetail">SummDetail</a>]</li><li class="src short"><a href="#v:applyPrimFL">applyPrimFL</a> :: (<a href="Darcs-Patch-Prim-Class.html#t:PrimApply">PrimApply</a> prim, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> prim)) => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:readPrim">readPrim</a> :: (<a href="Darcs-Patch-Prim-Class.html#t:PrimRead">PrimRead</a> prim, <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m) => <a href="Darcs-Patch-Format.html#t:FileNameFormat">FileNameFormat</a> -> m (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (prim x))</li><li class="src short"><span class="keyword">class</span> <a href="#t:FromPrim">FromPrim</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:fromPrim">fromPrim</a> :: <a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p x y -> p x y</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:FromPrims">FromPrims</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:fromPrims">fromPrims</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> (<a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p) x y -> p x y</li><li><a href="#v:joinPatches">joinPatches</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> p x y</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> p => <a href="#t:ToFromPrim">ToFromPrim</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:toPrim">toPrim</a> :: p x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p x y)</li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> prim, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> prim, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> prim, <a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</a> prim, <a href="Darcs-Patch-Prim.html#t:PrimConstruct">PrimConstruct</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimDetails">PrimDetails</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimRead">PrimRead</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimApply">PrimApply</a> prim) => <a href="#t:PrimPatch">PrimPatch</a> prim </li><li class="src short"><span class="keyword">class</span> <a href="Darcs-Patch-Prim.html#t:PrimPatch">PrimPatch</a> (<a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p) => <a href="#t:PrimPatchBase">PrimPatchBase</a> p <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:PrimOf">PrimOf</a> p :: * -> * -> *</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:PrimConstruct">PrimConstruct</a> prim <span class="keyword">where</span><ul class="subs"><li><a href="#v:addfile">addfile</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y</li><li><a href="#v:rmfile">rmfile</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y</li><li><a href="#v:adddir">adddir</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y</li><li><a href="#v:rmdir">rmdir</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y</li><li><a href="#v:move">move</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim 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> -> prim x y</li><li><a href="#v:hunk">hunk</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</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>] -> prim x y</li><li><a href="#v:tokreplace">tokreplace</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</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> -> prim x y</li><li><a href="#v:binary">binary</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</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> -> prim x y</li><li><a href="#v:primFromHunk">primFromHunk</a> :: <a href="Darcs-Patch-FileHunk.html#t:FileHunk">FileHunk</a> x y -> prim x y</li><li><a href="#v:anIdentity">anIdentity</a> :: prim x x</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:showPrim" class="def">showPrim</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> prim => <a href="Darcs-Patch-Format.html#t:FileNameFormat">FileNameFormat</a> -> prim a b -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Prim-Class.html#showPrim" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:showPrimFL" class="def">showPrimFL</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> prim => <a href="Darcs-Patch-Format.html#t:FileNameFormat">FileNameFormat</a> -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim a b -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Prim-Class.html#showPrimFL" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:primIsAddfile" class="def">primIsAddfile</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-Prim-Class.html#primIsAddfile" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:primIsHunk" class="def">primIsHunk</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-Prim-Class.html#primIsHunk" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:primIsBinary" class="def">primIsBinary</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-Prim-Class.html#primIsBinary" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:primIsSetpref" class="def">primIsSetpref</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-Prim-Class.html#primIsSetpref" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:primIsAdddir" class="def">primIsAdddir</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-Prim-Class.html#primIsAdddir" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:is_filepatch" class="def">is_filepatch</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim => prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Darcs-Patch-FileName.html#t:FileName">FileName</a><a href="src/Darcs-Patch-Prim-Class.html#is_filepatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:canonize" class="def">canonize</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y<a href="src/Darcs-Patch-Prim-Class.html#canonize" class="link">Source</a></p><div class="doc"><p>It can sometimes be handy to have a canonical representation of a given
patch. We achieve this by defining a canonical form for each patch type,
and a function <code><a href="Darcs-Patch-Prim.html#v:canonize">canonize</a></code> which takes a patch and puts it into
canonical form. This routine is used by the diff function to create an
optimal patch (based on an LCS algorithm) from a simple hunk describing the
old and new version of a file.
</p></div></div><div class="top"><p class="src"><a name="v:tryToShrink" class="def">tryToShrink</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y<a href="src/Darcs-Patch-Prim-Class.html#tryToShrink" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sortCoalesceFL" class="def">sortCoalesceFL</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y<a href="src/Darcs-Patch-Prim-Class.html#sortCoalesceFL" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-Prim.html#v:sortCoalesceFL">sortCoalesceFL</a></code> <code>ps</code> coalesces as many patches in <code>ps</code> as
possible, sorting the results in some standard order.
</p></div></div><div class="top"><p class="src"><a name="v:join" class="def">join</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => (prim <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> prim) x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y)<a href="src/Darcs-Patch-Prim-Class.html#join" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:canonizeFL" class="def">canonizeFL</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y<a href="src/Darcs-Patch-Prim-Class.html#canonizeFL" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-Prim.html#v:canonizeFL">canonizeFL</a></code> <code>ps</code> puts a sequence of primitive patches into
canonical form. Even if the patches are just hunk patches,
this is not necessarily the same set of results as you would get
if you applied the sequence to a specific tree and recalculated
a diff.
</p><p>Note that this process does not preserve the commutation behaviour
of the patches and is therefore not appropriate for use when
working with already recorded patches (unless doing amend-record
or the like).
</p></div></div><div class="top"><p class="src"><a name="v:tryShrinkingInverse" class="def">tryShrinkingInverse</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y)<a href="src/Darcs-Patch-Prim-Class.html#tryShrinkingInverse" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:summarizePrim" class="def">summarizePrim</a> :: <a href="Darcs-Patch-Prim-Class.html#t:PrimDetails">PrimDetails</a> prim => prim x y -> [<a href="Darcs-Patch-SummaryData.html#t:SummDetail">SummDetail</a>]<a href="src/Darcs-Patch-Prim-Class.html#summarizePrim" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:applyPrimFL" class="def">applyPrimFL</a> :: (<a href="Darcs-Patch-Prim-Class.html#t:PrimApply">PrimApply</a> prim, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> prim)) => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> prim x y -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a><a href="src/Darcs-Patch-Prim-Class.html#applyPrimFL" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:readPrim" class="def">readPrim</a> :: (<a href="Darcs-Patch-Prim-Class.html#t:PrimRead">PrimRead</a> prim, <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m) => <a href="Darcs-Patch-Format.html#t:FileNameFormat">FileNameFormat</a> -> m (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (prim x))<a href="src/Darcs-Patch-Prim-Class.html#readPrim" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:FromPrim" class="def">FromPrim</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Prim-Class.html#FromPrim" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:fromPrim" class="def">fromPrim</a> :: <a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p x y -> p x y<a href="src/Darcs-Patch-Prim-Class.html#fromPrim" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:FromPrim" class="caption collapser" onclick="toggleSection('i:FromPrim')">Instances</p><div id="section.i:FromPrim" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim.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.html#t:FromPrim">FromPrim</a> <a href="Darcs-Patch-Prim-V3-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> p => <a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> (<a href="Darcs-Patch-V1-Core.html#t:Patch">Patch</a> prim)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> (<a href="Darcs-Patch-V2-Real.html#t:RealPatch">RealPatch</a> prim)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:FromPrims" class="def">FromPrims</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Prim-Class.html#FromPrims" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:fromPrims" class="def">fromPrims</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> (<a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p) x y -> p x y<a href="src/Darcs-Patch-Prim-Class.html#fromPrims" class="link">Source</a></p><p class="src"><a name="v:joinPatches" class="def">joinPatches</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> p x y<a href="src/Darcs-Patch-Prim-Class.html#joinPatches" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:FromPrims" class="caption collapser" onclick="toggleSection('i:FromPrims')">Instances</p><div id="section.i:FromPrims" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> p => <a href="Darcs-Patch-Prim.html#t:FromPrims">FromPrims</a> (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> p => <a href="Darcs-Patch-Prim.html#t:FromPrims">FromPrims</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Darcs-Patch-Prim.html#t:FromPrim">FromPrim</a> p => <a name="t:ToFromPrim" class="def">ToFromPrim</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Prim-Class.html#ToFromPrim" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:toPrim" class="def">toPrim</a> :: p x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p x y)<a href="src/Darcs-Patch-Prim-Class.html#toPrim" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:ToFromPrim" class="caption collapser" onclick="toggleSection('i:ToFromPrim')">Instances</p><div id="section.i:ToFromPrim" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:ToFromPrim">ToFromPrim</a> (<a href="Darcs-Patch-V2-Real.html#t:RealPatch">RealPatch</a> prim)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> prim, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> prim, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> prim, <a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</a> prim, <a href="Darcs-Patch-Prim.html#t:PrimConstruct">PrimConstruct</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimCanonize">PrimCanonize</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimClassify">PrimClassify</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimDetails">PrimDetails</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimShow">PrimShow</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimRead">PrimRead</a> prim, <a href="Darcs-Patch-Prim-Class.html#t:PrimApply">PrimApply</a> prim) => <a name="t:PrimPatch" class="def">PrimPatch</a> prim <a href="src/Darcs-Patch-Prim-Class.html#PrimPatch" class="link">Source</a></p><div class="subs instances"><p id="control.i:PrimPatch" class="caption collapser" onclick="toggleSection('i:PrimPatch')">Instances</p><div id="section.i:PrimPatch" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim.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-Patch-Prim.html#t:PrimPatch">PrimPatch</a> <a href="Darcs-Patch-Prim-V3-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Darcs-Patch-Prim.html#t:PrimPatch">PrimPatch</a> (<a href="Darcs-Patch-Prim.html#t:PrimOf">PrimOf</a> p) => <a name="t:PrimPatchBase" class="def">PrimPatchBase</a> p <a href="src/Darcs-Patch-Prim-Class.html#PrimPatchBase" class="link">Source</a></p><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:PrimOf" class="def">PrimOf</a> p :: * -> * -> *<a href="src/Darcs-Patch-Prim-Class.html#PrimOf" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:PrimPatchBase" class="caption collapser" onclick="toggleSection('i:PrimPatchBase')">Instances</p><div id="section.i:PrimPatchBase" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim.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.html#t:PrimPatchBase">PrimPatchBase</a> <a href="Darcs-Patch-Prim-V3-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> p => <a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> p => <a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> (<a href="Darcs-Patch-V1-Core.html#t:Patch">Patch</a> prim)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> p => <a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> p => <a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> (<a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Prim.html#t:PrimPatchBase">PrimPatchBase</a> (<a href="Darcs-Patch-V2-Real.html#t:RealPatch">RealPatch</a> prim)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:PrimConstruct" class="def">PrimConstruct</a> prim <span class="keyword">where</span><a href="src/Darcs-Patch-Prim-Class.html#PrimConstruct" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:addfile" class="def">addfile</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#addfile" class="link">Source</a></p><p class="src"><a name="v:rmfile" class="def">rmfile</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#rmfile" class="link">Source</a></p><p class="src"><a name="v:adddir" class="def">adddir</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#adddir" class="link">Source</a></p><p class="src"><a name="v:rmdir" class="def">rmdir</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#rmdir" class="link">Source</a></p><p class="src"><a name="v:move" class="def">move</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#move" class="link">Source</a></p><p 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> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#changepref" class="link">Source</a></p><p class="src"><a name="v:hunk" class="def">hunk</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</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>] -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#hunk" class="link">Source</a></p><p class="src"><a name="v:tokreplace" class="def">tokreplace</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</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> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#tokreplace" class="link">Source</a></p><p class="src"><a name="v:binary" class="def">binary</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</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> -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#binary" class="link">Source</a></p><p class="src"><a name="v:primFromHunk" class="def">primFromHunk</a> :: <a href="Darcs-Patch-FileHunk.html#t:FileHunk">FileHunk</a> x y -> prim x y<a href="src/Darcs-Patch-Prim-Class.html#primFromHunk" class="link">Source</a></p><p class="src"><a name="v:anIdentity" class="def">anIdentity</a> :: prim x x<a href="src/Darcs-Patch-Prim-Class.html#anIdentity" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:PrimConstruct" class="caption collapser" onclick="toggleSection('i:PrimConstruct')">Instances</p><div id="section.i:PrimConstruct" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim.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.html#t:PrimConstruct">PrimConstruct</a> <a href="Darcs-Patch-Prim-V3-Core.html#t:Prim">Prim</a></td><td class="doc empty"> </td></tr></table></div></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>
