<!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.V2.Non</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-V2-Non.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-V2-Non.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.V2.Non</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:Non">Non</a> p x <span class="keyword">where</span><ul class="subs"><li><a href="#v:Non">Non</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p y z -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x </li></ul></li><li class="src short"><span class="keyword">class</span> <a href="#t:Nonable">Nonable</a> p <span class="keyword">where</span><ul class="subs"><li><a href="#v:non">non</a> :: p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x</li></ul></li><li class="src short"><a href="#v:unNon">unNon</a> :: <a href="Darcs-Patch-Prim-Class.html#t:FromPrim">FromPrim</a> p => <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x)</li><li class="src short"><a href="#v:showNon">showNon</a> :: (<a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</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-V2-Non.html#t:Non">Non</a> p x -> <a href="Printer.html#t:Doc">Doc</a></li><li class="src short"><a href="#v:showNons">showNons</a> :: (<a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</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-V2-Non.html#t:Non">Non</a> p x] -> <a href="Printer.html#t:Doc">Doc</a></li><li class="src short"><a href="#v:readNon">readNon</a> :: (<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-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m) => m (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x)</li><li class="src short"><a href="#v:readNons">readNons</a> :: (<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-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m) => m [<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x]</li><li class="src short"><a href="#v:commutePrimsOrAddToCtx">commutePrimsOrAddToCtx</a> :: (WL l, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => l (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p) x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x</li><li class="src short"><a href="#v:commuteOrAddToCtx">commuteOrAddToCtx</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x</li><li class="src short"><a href="#v:commuteOrRemFromCtx">commuteOrRemFromCtx</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y)</li><li class="src short"><a href="#v:commuteOrAddToCtxRL">commuteOrAddToCtxRL</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => <a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x</li><li class="src short"><a href="#v:commuteOrRemFromCtxFL">commuteOrRemFromCtxFL</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y)</li><li class="src short"><a href="#v:remNons">remNons</a> :: (<a href="Darcs-Patch-V2-Non.html#t:Nonable">Nonable</a> p, <a href="Darcs-Patch-Effect.html#t:Effect">Effect</a> p, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p)) => [<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x] -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x</li><li class="src short"><a href="#v:-42--62-">(*>)</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> 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-V2-Non.html#t:Non">Non</a> p y)</li><li class="src short"><a href="#v:-62--42-">(>*)</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p 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-V2-Non.html#t:Non">Non</a> p x)</li><li class="src short"><a href="#v:-42--62--62-">(*>>)</a> :: (WL l, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p) => <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> l (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</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-V2-Non.html#t:Non">Non</a> p y)</li><li class="src short"><a href="#v:-62--62--42-">(>>*)</a> :: (WL l, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => l (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p) x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p 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-V2-Non.html#t:Non">Non</a> p x)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Non" class="def">Non</a> p x <span class="keyword">where</span><a href="src/Darcs-Patch-V2-Non.html#Non" class="link">Source</a></p><div class="doc"><p>A <code><a href="Darcs-Patch-V2-Non.html#t:Non">Non</a></code> stores a context with a <code>Prim</code> patch. It is a patch whose effect
isn't visible - a Non-affecting patch.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Non" class="def">Non</a> :: <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p y z -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Non" class="caption collapser" onclick="toggleSection('i:Non')">Instances</p><div id="section.i:Non" class="show"><table><tr><td class="src">(<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> p, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p)) => <a href="Darcs-Witnesses-Show.html#t:Show1">Show1</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</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-Prim-Class.html#t:PrimOf">PrimOf</a> p)) => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x)</td><td class="doc"><p>Nons are equal if their context patches are equal, and they have an equal
prim patch.
</p></td></tr><tr><td class="src">(<a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> p, <a href="Darcs-Witnesses-Show.html#t:Show2">Show2</a> (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p)) => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Text-Show.html#t:Show">Show</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x)</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:Nonable" class="def">Nonable</a> p <span class="keyword">where</span><a href="src/Darcs-Patch-V2-Non.html#Nonable" class="link">Source</a></p><div class="doc"><p>Nonable represents the class of patches that can be turned into a Non.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:non" class="def">non</a> :: p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x<a href="src/Darcs-Patch-V2-Non.html#non" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:Nonable" class="caption collapser" onclick="toggleSection('i:Nonable')">Instances</p><div id="section.i:Nonable" class="show"><table><tr><td class="src"><a href="Darcs-Patch-Prim-Class.html#t:PrimPatch">PrimPatch</a> prim => <a href="Darcs-Patch-V2-Non.html#t:Nonable">Nonable</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:unNon" class="def">unNon</a> :: <a href="Darcs-Patch-Prim-Class.html#t:FromPrim">FromPrim</a> p => <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="Darcs-Witnesses-Sealed.html#t:Sealed">Sealed</a> (<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x)<a href="src/Darcs-Patch-V2-Non.html#unNon" class="link">Source</a></p><div class="doc"><p>unNon converts a Non into a FL of its context followed by the primitive
patch.
</p></div></div><div class="top"><p class="src"><a name="v:showNon" class="def">showNon</a> :: (<a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</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-V2-Non.html#t:Non">Non</a> p x -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-V2-Non.html#showNon" class="link">Source</a></p><div class="doc"><p>showNon creates a Doc representing a Non.
</p></div></div><div class="top"><p class="src"><a name="v:showNons" class="def">showNons</a> :: (<a href="Darcs-Patch-Show.html#t:ShowPatchBasic">ShowPatchBasic</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-V2-Non.html#t:Non">Non</a> p x] -> <a href="Printer.html#t:Doc">Doc</a><a href="src/Darcs-Patch-V2-Non.html#showNons" class="link">Source</a></p><div class="doc"><p>showNons creates a Doc representing a list of Nons.
</p></div></div><div class="top"><p class="src"><a name="v:readNon" class="def">readNon</a> :: (<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-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m) => m (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x)<a href="src/Darcs-Patch-V2-Non.html#readNon" class="link">Source</a></p><div class="doc"><p>readNon is a parser that attempts to read a single Non.
</p></div></div><div class="top"><p class="src"><a name="v:readNons" class="def">readNons</a> :: (<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-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Patch-ReadMonads.html#t:ParserM">ParserM</a> m) => m [<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x]<a href="src/Darcs-Patch-V2-Non.html#readNons" class="link">Source</a></p><div class="doc"><p>readNons is a parser that attempts to read a list of Nons.
</p></div></div><div class="top"><p class="src"><a name="v:commutePrimsOrAddToCtx" class="def">commutePrimsOrAddToCtx</a> :: (WL l, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => l (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p) x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x<a href="src/Darcs-Patch-V2-Non.html#commutePrimsOrAddToCtx" class="link">Source</a></p><div class="doc"><p>commutePrimsOrAddToCtx takes a WL of prims and attempts to commute them
past a Non.
</p></div></div><div class="top"><p class="src"><a name="v:commuteOrAddToCtx" class="def">commuteOrAddToCtx</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x<a href="src/Darcs-Patch-V2-Non.html#commuteOrAddToCtx" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-V2-Non.html#v:commuteOrAddToCtx">commuteOrAddToCtx</a></code> <code>x cy</code> tries to commute <code>x</code> past <code>cy</code> and always
returns some variant <code>cy'</code>. If commutation suceeds, the variant is just
straightforwardly the commuted version. If commutation fails, the variant
consists of <code>x</code> prepended to the context of <code>cy</code>.
</p></div></div><div class="top"><p class="src"><a name="v:commuteOrRemFromCtx" class="def">commuteOrRemFromCtx</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y)<a href="src/Darcs-Patch-V2-Non.html#commuteOrRemFromCtx" class="link">Source</a></p><div class="doc"><p>commuteOrRemFromCtx attempts to remove a given patch from a Non. If the
patch was not in the Non, then the commute will succeed and the modified Non
will be returned. If the commute fails then the patch is either in the Non
context, or the Non patch itself; we attempt to remove the patch from the
context and then return the non with the updated context.
</p><p>TODO: understand if there is any case where p is equal to the prim patch of
the Non, in which case, we return the original Non, is that right?
</p></div></div><div class="top"><p class="src"><a name="v:commuteOrAddToCtxRL" class="def">commuteOrAddToCtxRL</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => <a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x<a href="src/Darcs-Patch-V2-Non.html#commuteOrAddToCtxRL" class="link">Source</a></p><div class="doc"><p><code><a href="Darcs-Patch-V2-Non.html#v:commuteOrAddToCtxRL">commuteOrAddToCtxRL</a></code> <code>xs cy</code> commutes as many patches of <code>xs</code> past <code>cy</code>
as possible, adding any that don't commute to the context of cy. Suppose we
have
</p><pre> x1 x2 x3 [c1 c2 y]
</pre><p>and that in our example <code>x1</code> fails to commute past <code>c1</code>, this function
would commute down to
</p><pre> x1 [c1'' c2'' y''] x2' x3'
</pre><p>and return <code>[x1 c1'' c2'' y'']</code>
</p></div></div><div class="top"><p class="src"><a name="v:commuteOrRemFromCtxFL" class="def">commuteOrRemFromCtxFL</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p y)<a href="src/Darcs-Patch-V2-Non.html#commuteOrRemFromCtxFL" class="link">Source</a></p><div class="doc"><p>commuteOrRemFromCtxFL attempts to remove a FL of patches from a Non,
returning Nothing if any of the individual removes fail.
</p></div></div><div class="top"><p class="src"><a name="v:remNons" class="def">remNons</a> :: (<a href="Darcs-Patch-V2-Non.html#t:Nonable">Nonable</a> p, <a href="Darcs-Patch-Effect.html#t:Effect">Effect</a> p, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p, <a href="Darcs-Witnesses-Eq.html#t:MyEq">MyEq</a> (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p)) => [<a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x] -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x<a href="src/Darcs-Patch-V2-Non.html#remNons" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:-42--62-" class="def">(*>)</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> 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-V2-Non.html#t:Non">Non</a> p y)<a href="src/Darcs-Patch-V2-Non.html#%2A%3E" class="link">Source</a></p><div class="doc"><p>(*>) attemts to modify a Non by commuting it past a given patch.
</p></div></div><div class="top"><p class="src"><a name="v:-62--42-" class="def">(>*)</a> :: (<a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => p x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p 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-V2-Non.html#t:Non">Non</a> p x)<a href="src/Darcs-Patch-V2-Non.html#%3E%2A" class="link">Source</a></p><div class="doc"><p>(>*) attempts to modify a Non, by commuting a given patch past it.
</p></div></div><div class="top"><p class="src"><a name="v:-42--62--62-" class="def">(*>>)</a> :: (WL l, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p, <a href="Darcs-Patch-Prim-Class.html#t:PrimPatchBase">PrimPatchBase</a> p) => <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p x -> l (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</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-V2-Non.html#t:Non">Non</a> p y)<a href="src/Darcs-Patch-V2-Non.html#%2A%3E%3E" class="link">Source</a></p><div class="doc"><p>(*>>) attempts to modify a Non by commuting it past a given WL of patches.
</p></div></div><div class="top"><p class="src"><a name="v:-62--62--42-" class="def">(>>*)</a> :: (WL l, <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p, <a href="Darcs-Patch-Prim-Class.html#t:ToFromPrim">ToFromPrim</a> p) => l (<a href="Darcs-Patch-Prim-Class.html#t:PrimOf">PrimOf</a> p) x y -> <a href="Darcs-Patch-V2-Non.html#t:Non">Non</a> p 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-V2-Non.html#t:Non">Non</a> p x)<a href="src/Darcs-Patch-V2-Non.html#%3E%3E%2A" class="link">Source</a></p><div class="doc"><p>(>>*) attempts to modify a Non by commuting a given WL of patches past it.
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.10.0</p></div></body></html>
