<!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.Repair</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-Repair.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-Repair.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.Repair</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="#t:Repair">Repair</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:applyAndTryToFix">applyAndTryToFix</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p) => p x y -> m (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, p x y))</li></ul></li><li class="src short"><span class="keyword">class</span> <a href="Darcs-Patch-Apply.html#t:Apply">Apply</a> p => <a href="#t:RepairToFL">RepairToFL</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:applyAndTryToFixFL">applyAndTryToFixFL</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p) => p x y -> m (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y))</li></ul></li><li class="src short"><a href="#v:mapMaybeSnd">mapMaybeSnd</a> :: (a -> b) -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c, a) -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c, b)</li><li class="src short"><span class="keyword">class</span> <a href="#t:Check">Check</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:isInconsistent">isInconsistent</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="Printer.html#t:Doc">Doc</a></li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Repair" class="def">Repair</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Repair.html#Repair" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-Repair.html#t:Repair">Repair</a></code> and <code><a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</a></code> deal with repairing old patches that were
were written out due to bugs or that we no longer wish to support.
<code><a href="Darcs-Patch-Repair.html#t:Repair">Repair</a></code> is implemented by collections of patches (FL, Named, PatchInfoAnd) that
might need repairing.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:applyAndTryToFix" class="def">applyAndTryToFix</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p) => p x y -> m (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, p x y))<a href="src/Darcs-Patch-Repair.html#applyAndTryToFix" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Repair" class="caption collapser" onclick="toggleSection('i:Repair')">Instances</p><div id="section.i:Repair" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</a> p => <a href="Darcs-Patch-Repair.html#t:Repair">Repair</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-Repair.html#t:RepairToFL">RepairToFL</a> p => <a href="Darcs-Patch-Repair.html#t:Repair">Repair</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-Repair.html#t:RepairToFL">RepairToFL</a> p => <a href="Darcs-Patch-Repair.html#t:Repair">Repair</a> (<a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</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-Apply.html#t:Apply">Apply</a> p => <a name="t:RepairToFL" class="def">RepairToFL</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Repair.html#RepairToFL" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</a></code> is implemented by single patches that can be repaired (Prim, Patch, RealPatch)
There is a default so that patch types with no current legacy problems don't need to
have an implementation.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:applyAndTryToFixFL" class="def">applyAndTryToFixFL</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p) => p x y -> m (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a>, <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y))<a href="src/Darcs-Patch-Repair.html#applyAndTryToFixFL" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:RepairToFL" class="caption collapser" onclick="toggleSection('i:RepairToFL')">Instances</p><div id="section.i:RepairToFL" class="show"><table><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-Repair.html#t:RepairToFL">RepairToFL</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Repair.html#t:RepairToFL">RepairToFL</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"><a name="v:mapMaybeSnd" class="def">mapMaybeSnd</a> :: (a -> b) -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c, a) -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (c, b)<a href="src/Darcs-Patch-Repair.html#mapMaybeSnd" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:Check" class="def">Check</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-Repair.html#Check" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:isInconsistent" class="def">isInconsistent</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="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-Repair.html#isInconsistent" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Check" class="caption collapser" onclick="toggleSection('i:Check')">Instances</p><div id="section.i:Check" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Repair.html#t:Check">Check</a> p => <a href="Darcs-Patch-Repair.html#t:Check">Check</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-Repair.html#t:Check">Check</a> p => <a href="Darcs-Patch-Repair.html#t:Check">Check</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-Repair.html#t:Check">Check</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-Repair.html#t:Check">Check</a> p => <a href="Darcs-Patch-Repair.html#t:Check">Check</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-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-Repair.html#t:Check">Check</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>
