<!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.Patchy</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-Patchy.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-Patchy.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.Patchy</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">class</span> (<a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> p, <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</a> p, <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> p, <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</a> p, <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> p) => <a href="#t:Patchy">Patchy</a> p </li><li class="src short"><span class="keyword">class</span> <a href="#t:Apply">Apply</a> p <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:ApplyState">ApplyState</a> p :: (* -> *) -> *</li><li><a href="#v:apply">apply</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p) => p 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></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Commute">Commute</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:commute">commute</a> :: (p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> ((p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Invert">Invert</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:invert">invert</a> :: p x y -> p y x</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:PatchInspect">PatchInspect</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:listTouchedFiles">listTouchedFiles</a> :: p x y -> [<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a>]</li><li><a href="#v:hunkMatches">hunkMatches</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/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -> p x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:ReadPatch">ReadPatch</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:readPatch-39-">readPatch'</a> :: <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m => m (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (p x))</li></ul></li><li class="src short"><a href="#v:showPatch">showPatch</a> :: <a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</a> p => p x y -> <a href="Printer.html#t:Doc">Doc</a></li><li class="src short"><span class="keyword">class</span> <a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</a> p => <a href="#t:ShowPatch">ShowPatch</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:showNicely">showNicely</a> :: p x y -> <a href="Printer.html#t:Doc">Doc</a></li><li><a href="#v:showContextPatch">showContextPatch</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadTrans">ApplyMonadTrans</a> m (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p), <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p)) => p x y -> m <a href="Printer.html#t:Doc">Doc</a></li><li><a href="#v:description">description</a> :: p x y -> <a href="Printer.html#t:Doc">Doc</a></li><li><a href="#v:summary">summary</a> :: p x y -> <a href="Printer.html#t:Doc">Doc</a></li><li><a href="#v:summaryFL">summaryFL</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Printer.html#t:Doc">Doc</a></li><li><a href="#v:thing">thing</a> :: p x y -> <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:things">things</a> :: p x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> p, <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</a> p, <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> p, <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</a> p, <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> p) => <a name="t:Patchy" class="def">Patchy</a> p <a href="src/Darcs-Patch-Patchy.html#Patchy" class="link">Source</a></p><div class="subs instances"><p id="control.i:Patchy" class="caption collapser" onclick="toggleSection('i:Patchy')">Instances</p><div id="section.i:Patchy" class="show"><table><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-Patchy.html#t:Patchy">Patchy</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-Patchy.html#t:Patchy">Patchy</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p) => <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</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-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p) => <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</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-Conflict.html#t:CommuteNoConflicts">CommuteNoConflicts</a> p, <a href="Darcs-Patch-Conflict.html#t:Conflict">Conflict</a> p, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, ~ ((* -> *) -> *) (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p) <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-Patchy.html#t:Patchy">Patchy</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-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, ~ ((* -> *) -> *) (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p) <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-Patchy.html#t:Patchy">Patchy</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</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:Apply" class="def">Apply</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Apply.html#Apply" 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:ApplyState" class="def">ApplyState</a> p :: (* -> *) -> *<a href="src/Darcs-Patch-Apply.html#ApplyState" class="link">Source</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:apply" class="def">apply</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p) => p 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-Apply.html#apply" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Apply" class="caption collapser" onclick="toggleSection('i:Apply')">Instances</p><div id="section.i:Apply" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Patchy.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-Patchy.html#t:Apply">Apply</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-Patchy.html#t:Apply">Apply</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:Apply">Apply</a> p => <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</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-Patchy.html#t:Apply">Apply</a> p => <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</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-Patchy.html#t:Apply">Apply</a> p => <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</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-Patchy.html#t:Apply">Apply</a> p => <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:Apply">Apply</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:Commute" class="def">Commute</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Commute.html#Commute" class="link">Source</a></p><div class="doc"><p>Things that can commute.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:commute" class="def">commute</a> :: (p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> ((p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)<a href="src/Darcs-Patch-Commute.html#commute" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Commute" class="caption collapser" onclick="toggleSection('i:Commute')">Instances</p><div id="section.i:Commute" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Patchy.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-Patchy.html#t:Commute">Commute</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-Patchy.html#t:Commute">Commute</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</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-Patchy.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</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-Patchy.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</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-Patchy.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</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-Patchy.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> (PatchChoice p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> (<a href="Darcs-Patch-Choices.html#t:TaggedPatch">TaggedPatch</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</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:Invert" class="def">Invert</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Invert.html#Invert" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:invert" class="def">invert</a> :: p x y -> p y x<a href="src/Darcs-Patch-Invert.html#invert" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Invert" class="caption collapser" onclick="toggleSection('i:Invert')">Instances</p><div id="section.i:Invert" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Patchy.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-Patchy.html#t:Invert">Invert</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-Patchy.html#t:Invert">Invert</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> p) => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</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-Patchy.html#t:Invert">Invert</a> p, <a href="Darcs-Patch-Patchy.html#t:Commute">Commute</a> p) => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</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-Patchy.html#t:Invert">Invert</a> prim => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</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-Patchy.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> p) => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</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-Patchy.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> p) => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</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-Patchy.html#t:Invert">Invert</a> p => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> (<a href="Darcs-Patch-Choices.html#t:TaggedPatch">TaggedPatch</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:Invert">Invert</a> prim => <a href="Darcs-Patch-Patchy.html#t:Invert">Invert</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:PatchInspect" class="def">PatchInspect</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Inspect.html#PatchInspect" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:listTouchedFiles" class="def">listTouchedFiles</a> :: p x y -> [<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:FilePath">FilePath</a>]<a href="src/Darcs-Patch-Inspect.html#listTouchedFiles" class="link">Source</a></p><p class="src"><a name="v:hunkMatches" class="def">hunkMatches</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/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a>) -> p 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-Inspect.html#hunkMatches" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:PatchInspect" class="caption collapser" onclick="toggleSection('i:PatchInspect')">Instances</p><div id="section.i:PatchInspect" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Patchy.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-Patchy.html#t:PatchInspect">PatchInspect</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-Patchy.html#t:PatchInspect">PatchInspect</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</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-Patchy.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</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-Patchy.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</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-Patchy.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</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-Patchy.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> (PatchChoice p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> (<a href="Darcs-Patch-Choices.html#t:TaggedPatch">TaggedPatch</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</a> prim => <a href="Darcs-Patch-Patchy.html#t:PatchInspect">PatchInspect</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:ReadPatch" class="def">ReadPatch</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Read.html#ReadPatch" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:readPatch-39-" class="def">readPatch'</a> :: <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m => m (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (p x))<a href="src/Darcs-Patch-Read.html#readPatch%27" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:ReadPatch" class="caption collapser" onclick="toggleSection('i:ReadPatch')">Instances</p><div id="section.i:ReadPatch" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Patchy.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-Patchy.html#t:ReadPatch">ReadPatch</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-Patchy.html#t:ReadPatch">ReadPatch</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p) => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</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-Patchy.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p) => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</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-Patchy.html#t:ReadPatch">ReadPatch</a> p => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> (<a href="Darcs-Patch-Bracketed.html#t:Bracketed">Bracketed</a> p)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</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-Patchy.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p) => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</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-Patchy.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p) => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> (<a href="Darcs-Patch-V2-Real.html#t:RealPatch">RealPatch</a> prim)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> p => <a href="Darcs-Patch-Patchy.html#t:ReadPatch">ReadPatch</a> (FLM p)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:showPatch" class="def">showPatch</a> :: <a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</a> p => p x y -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Show.html#showPatch" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</a> p => <a name="t:ShowPatch" class="def">ShowPatch</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Show.html#ShowPatch" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:showNicely" class="def">showNicely</a> :: p x y -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Show.html#showNicely" class="link">Source</a></p><p class="src"><a name="v:showContextPatch" class="def">showContextPatch</a> :: (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadTrans">ApplyMonadTrans</a> m (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p), <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p)) => p x y -> m <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Show.html#showContextPatch" class="link">Source</a></p><div class="doc"><p>showContextPatch is used to add context to a patch, as diff
-u does. Thus, it differs from showPatch only for hunks. It is
used for instance before putting it into a bundle. As this
unified context is not included in patch representation, this
requires access to the tree.
</p></div><p class="src"><a name="v:description" class="def">description</a> :: p x y -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Show.html#description" class="link">Source</a></p><p class="src"><a name="v:summary" class="def">summary</a> :: p x y -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Show.html#summary" class="link">Source</a></p><p class="src"><a name="v:summaryFL" class="def">summaryFL</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Show.html#summaryFL" class="link">Source</a></p><p class="src"><a name="v:thing" class="def">thing</a> :: p x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a><a href="src/Darcs-Patch-Show.html#thing" class="link">Source</a></p><p class="src"><a name="v:things" class="def">things</a> :: p x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a><a href="src/Darcs-Patch-Show.html#things" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:ShowPatch" class="caption collapser" onclick="toggleSection('i:ShowPatch')">Instances</p><div id="section.i:ShowPatch" class="show"><table><tr><td class="src">~ ((* -> *) -> *) (<a href="Darcs-Patch-Patchy.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-Patchy.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-Patchy.html#t:ShowPatch">ShowPatch</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-Patchy.html#t:ShowPatch">ShowPatch</a> <a href="Darcs-Patch-Dummy.html#t:DummyPatch">DummyPatch</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="Darcs-Patch-Patchy.html#t:Apply">Apply</a> p, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</a> p) => <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</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-Patchy.html#t:Apply">Apply</a> p, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</a> p) => <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</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-Patchy.html#t:Apply">Apply</a> p, <a href="Darcs-Patch-Conflict.html#t:CommuteNoConflicts">CommuteNoConflicts</a> p, <a href="Darcs-Patch-Conflict.html#t:Conflict">Conflict</a> p, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</a> p) => <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</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-Patchy.html#t:Apply">Apply</a> p, <a href="Darcs-Patch-Conflict.html#t:Conflict">Conflict</a> p, <a href="Darcs-Patch-Conflict.html#t:CommuteNoConflicts">CommuteNoConflicts</a> p, <a href="Darcs-Patch-FileHunk.html#t:IsHunk">IsHunk</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</a> p, ~ ((* -> *) -> *) (<a href="Darcs-Patch-Patchy.html#t:ApplyState">ApplyState</a> p) <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-Patchy.html#t:ShowPatch">ShowPatch</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Patchy.html#t:ShowPatch">ShowPatch</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></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
