<!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.PatchInfoAnd</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-PatchInfoAnd.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-PatchInfoAnd.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.PatchInfoAnd</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:Hopefully">Hopefully</a> a x y</li><li class="src short"><span class="keyword">data</span> <a href="#t:PatchInfoAnd">PatchInfoAnd</a> p a b</li><li class="src short"><span class="keyword">data</span> <a href="#t:WPatchInfo">WPatchInfo</a> a b</li><li class="src short"><a href="#v:unWPatchInfo">unWPatchInfo</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> a b -> <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a></li><li class="src short"><a href="#v:compareWPatchInfo">compareWPatchInfo</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> c d -> <a href="Darcs-Witnesses-Eq.html#t:EqCheck">EqCheck</a> (a, b) (c, d)</li><li class="src short"><a href="#v:piap">piap</a> :: <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a> -> <a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b</li><li class="src short"><a href="#v:n2pia">n2pia</a> :: <a href="Darcs-Patch-Named.html#t:Named">Named</a> p x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p x y</li><li class="src short"><a href="#v:patchInfoAndPatch">patchInfoAndPatch</a> :: <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a> -> <a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p) a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b</li><li class="src short"><a href="#v:fmapPIAP">fmapPIAP</a> :: (<span class="keyword">forall</span> a b. p a b -> q a b) -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> q x y</li><li class="src short"><a href="#v:fmapFL_PIAP">fmapFL_PIAP</a> :: (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> q x y) -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> q x y</li><li class="src short"><a href="#v:conscientiously">conscientiously</a> :: (<a href="Printer.html#t:Doc">Doc</a> -> <a href="Printer.html#t:Doc">Doc</a>) -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b</li><li class="src short"><a href="#v:hopefully">hopefully</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b</li><li class="src short"><a href="#v:info">info</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a></li><li class="src short"><a href="#v:winfo">winfo</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> a b</li><li class="src short"><a href="#v:hopefullyM">hopefullyM</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-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> m (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b)</li><li class="src short"><a href="#v:createHashed">createHashed</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/System-IO.html#t:IO">IO</a> (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (a x))) -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (<a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a> a x))</li><li class="src short"><a href="#v:extractHash">extractHash</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b) <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:actually">actually</a> :: a x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a> a x y</li><li class="src short"><a href="#v:unavailable">unavailable</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-PatchInfoAnd.html#t:Hopefully">Hopefully</a> a x y</li><li class="src short"><a href="#v:patchDesc">patchDesc</a> :: <span class="keyword">forall</span> p x y. <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</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></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Hopefully" class="def">Hopefully</a> a x y <a href="src/Darcs-Patch-PatchInfoAnd.html#Hopefully" class="link">Source</a></p><div class="doc"><p><code><code><a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a></code> p C</code> <code>(x y)</code> is <code><code><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a></code> String (p C</code> <code>(x y))</code> in a
form adapted to darcs patches. The <code>C</code> <code>(x y)</code> represents the type
witness for the patch that should be there. The <code>Hopefully</code> type
just tells whether we expect the patch to be hashed or not, and
<code>SimpleHopefully</code> does the real work of emulating
<code><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a></code>. <code>Hopefully sh</code> represents an expected unhashed patch, and
<code>Hashed hash sh</code> represents an expected hashed patch with its hash.
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:PatchInfoAnd" class="def">PatchInfoAnd</a> p a b <a href="src/Darcs-Patch-PatchInfoAnd.html#PatchInfoAnd" class="link">Source</a></p><div class="doc"><p><code><code><a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a></code> p a b</code> represents a hope we have to get a
patch through its info. We're not sure we have the patch, but we
know its info.
</p></div><div class="subs instances"><p id="control.i:PatchInfoAnd" class="caption collapser" onclick="toggleSection('i:PatchInfoAnd')">Instances</p><div id="section.i:PatchInfoAnd" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</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-Commute.html#t:Commute">Commute</a> p, <a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> p) => <a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</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-Commute.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Commute.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-Commute.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Invert.html#t:Invert">Invert</a> p) => <a href="Darcs-Patch-Invert.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-Merge.html#t:Merge">Merge</a> p => <a href="Darcs-Patch-Merge.html#t:Merge">Merge</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-Inspect.html#t:PatchInspect">PatchInspect</a> p => <a href="Darcs-Patch-Inspect.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-Read.html#t:ReadPatch">ReadPatch</a> p, <a href="Darcs-Patch-Format.html#t:PatchListFormat">PatchListFormat</a> p) => <a href="Darcs-Patch-Read.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-Apply.html#t:Apply">Apply</a> p => <a href="Darcs-Patch-Apply.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-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><tr><td class="src">(<a href="Darcs-Patch-Apply.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-Show.html#t:ShowPatch">ShowPatch</a> p, ~ ((* -> *) -> *) (<a href="Darcs-Patch-Apply.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-Show.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-Format.html#t:PatchListFormat">PatchListFormat</a> p, <a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</a> p) => <a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</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-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, ~ ((* -> *) -> *) (<a href="Darcs-Patch-Apply.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-FileHunk.html#t:IsHunk">IsHunk</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:PrimPatchBase">PrimPatchBase</a> p => <a href="Darcs-Patch-Prim-Class.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-Effect.html#t:Effect">Effect</a> p => <a href="Darcs-Patch-Effect.html#t:Effect">Effect</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">data</span> <a name="t:WPatchInfo" class="def">WPatchInfo</a> a b <a href="src/Darcs-Patch-PatchInfoAnd.html#WPatchInfo" class="link">Source</a></p><div class="doc"><p><code><code><a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a></code> a b</code> represents the info of a patch, marked with
the patch's witnesses.
</p></div><div class="subs instances"><p id="control.i:WPatchInfo" class="caption collapser" onclick="toggleSection('i:WPatchInfo')">Instances</p><div id="section.i:WPatchInfo" class="show"><table><tr><td class="src"><a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:unWPatchInfo" class="def">unWPatchInfo</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> a b -> <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a><a href="src/Darcs-Patch-PatchInfoAnd.html#unWPatchInfo" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:compareWPatchInfo" class="def">compareWPatchInfo</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> c d -> <a href="Darcs-Witnesses-Eq.html#t:EqCheck">EqCheck</a> (a, b) (c, d)<a href="src/Darcs-Patch-PatchInfoAnd.html#compareWPatchInfo" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:piap" class="def">piap</a> :: <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a> -> <a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b<a href="src/Darcs-Patch-PatchInfoAnd.html#piap" class="link">Source</a></p><div class="doc"><p><code><code><a href="Darcs-Patch-PatchInfoAnd.html#v:piap">piap</a></code> i p</code> creates a PatchInfoAnd containing p with info i.
</p></div></div><div class="top"><p class="src"><a name="v:n2pia" class="def">n2pia</a> :: <a href="Darcs-Patch-Named.html#t:Named">Named</a> p x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p x y<a href="src/Darcs-Patch-PatchInfoAnd.html#n2pia" class="link">Source</a></p><div class="doc"><p><code>n2pia</code> creates a PatchInfoAnd representing a <code>Named</code> patch.
</p></div></div><div class="top"><p class="src"><a name="v:patchInfoAndPatch" class="def">patchInfoAndPatch</a> :: <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a> -> <a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p) a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b<a href="src/Darcs-Patch-PatchInfoAnd.html#patchInfoAndPatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:fmapPIAP" class="def">fmapPIAP</a> :: (<span class="keyword">forall</span> a b. p a b -> q a b) -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> q x y<a href="src/Darcs-Patch-PatchInfoAnd.html#fmapPIAP" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:fmapFL_PIAP" class="def">fmapFL_PIAP</a> :: (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> q x y) -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> q x y<a href="src/Darcs-Patch-PatchInfoAnd.html#fmapFL_PIAP" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:conscientiously" class="def">conscientiously</a> :: (<a href="Printer.html#t:Doc">Doc</a> -> <a href="Printer.html#t:Doc">Doc</a>) -> <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b<a href="src/Darcs-Patch-PatchInfoAnd.html#conscientiously" class="link">Source</a></p><div class="doc"><p><code><code><a href="Darcs-Patch-PatchInfoAnd.html#v:conscientiously">conscientiously</a></code> er hp</code> tries to extract a patch from a <code><a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a></code>.
If it fails, it applies the error handling function <code>er</code> to a description
of the patch info component of <code>hp</code>.
</p></div></div><div class="top"><p class="src"><a name="v:hopefully" class="def">hopefully</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b<a href="src/Darcs-Patch-PatchInfoAnd.html#hopefully" class="link">Source</a></p><div class="doc"><p><code><code><a href="Darcs-Patch-PatchInfoAnd.html#v:hopefully">hopefully</a></code> hp</code> tries to get a patch from a <code><a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a></code>
value. If it fails, it outputs an error "failed to read patch:
<description of the patch>". We get the description of the patch
from the info part of <code>hp</code>
</p></div></div><div class="top"><p class="src"><a name="v:info" class="def">info</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-Info.html#t:PatchInfo">PatchInfo</a><a href="src/Darcs-Patch-PatchInfoAnd.html#info" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:winfo" class="def">winfo</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="Darcs-Patch-PatchInfoAnd.html#t:WPatchInfo">WPatchInfo</a> a b<a href="src/Darcs-Patch-PatchInfoAnd.html#winfo" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hopefullyM" class="def">hopefullyM</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-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> m (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b)<a href="src/Darcs-Patch-PatchInfoAnd.html#hopefullyM" class="link">Source</a></p><div class="doc"><p><code>hopefullyM</code> is a version of <code>hopefully</code> which calls <code>fail</code> in a
monad instead of erroring.
</p></div></div><div class="top"><p class="src"><a name="v:createHashed" class="def">createHashed</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/System-IO.html#t:IO">IO</a> (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (a x))) -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (<a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a> a x))<a href="src/Darcs-Patch-PatchInfoAnd.html#createHashed" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extractHash" class="def">extractHash</a> :: <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</a> p a b -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p a b) <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-PatchInfoAnd.html#extractHash" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:actually" class="def">actually</a> :: a x y -> <a href="Darcs-Patch-PatchInfoAnd.html#t:Hopefully">Hopefully</a> a x y<a href="src/Darcs-Patch-PatchInfoAnd.html#actually" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unavailable" class="def">unavailable</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-PatchInfoAnd.html#t:Hopefully">Hopefully</a> a x y<a href="src/Darcs-Patch-PatchInfoAnd.html#unavailable" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:patchDesc" class="def">patchDesc</a> :: <span class="keyword">forall</span> p x y. <a href="Darcs-Patch-PatchInfoAnd.html#t:PatchInfoAnd">PatchInfoAnd</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-PatchInfoAnd.html#patchDesc" class="link">Source</a></p></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>
