<!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.Commute</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-Commute.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-Commute.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.Commute</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: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"><a href="#v:commuteFL">commuteFL</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</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-Witnesses-Ordered.html#t:FL">FL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)</li><li class="src short"><a href="#v:commuteFLorComplain">commuteFLorComplain</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p) x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (<a href="Darcs-Witnesses-Sealed.html#t:Sealed2">Sealed2</a> p) ((<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)</li><li class="src short"><a href="#v:commuteRL">commuteRL</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</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> <a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p) x y)</li><li class="src short"><a href="#v:commuteRLFL">commuteRLFL</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</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-Witnesses-Ordered.html#t:FL">FL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p) x y)</li><li class="src short"><a href="#v:toFwdCommute">toFwdCommute</a> :: (<a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> q, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m) => ((p <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> q) x y -> m ((q <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> p) x y)) -> (q <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y -> m ((p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> q) x y)</li><li class="src short"><a href="#v:toRevCommute">toRevCommute</a> :: (<a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> q, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m) => ((p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> q) x y -> m ((q <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)) -> (q <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> p) x y -> m ((p <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> q) x y)</li></ul></div><div id="interface"><h1>Documentation</h1><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-Commute.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-Commute.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-Commute.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-Commute.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Commute.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-Commute.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Commute.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-Commute.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-Commute.html#t:Commute">Commute</a> p => <a href="Darcs-Patch-Commute.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-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-Commute.html#t:Commute">Commute</a> (PatchChoice 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-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-Commute.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"><a name="v:commuteFL" class="def">commuteFL</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</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-Witnesses-Ordered.html#t:FL">FL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)<a href="src/Darcs-Patch-Commute.html#commuteFL" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:commuteFLorComplain" class="def">commuteFLorComplain</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p) x y -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Either.html#t:Either">Either</a> (<a href="Darcs-Witnesses-Sealed.html#t:Sealed2">Sealed2</a> p) ((<a href="Darcs-Witnesses-Ordered.html#t:FL">FL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)<a href="src/Darcs-Patch-Commute.html#commuteFLorComplain" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:commuteRL" class="def">commuteRL</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</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> <a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p) x y)<a href="src/Darcs-Patch-Commute.html#commuteRL" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:commuteRLFL" class="def">commuteRLFL</a> :: <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p => (<a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:FL">FL</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-Witnesses-Ordered.html#t:FL">FL</a> p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> <a href="Darcs-Witnesses-Ordered.html#t:RL">RL</a> p) x y)<a href="src/Darcs-Patch-Commute.html#commuteRLFL" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:toFwdCommute" class="def">toFwdCommute</a> :: (<a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> q, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m) => ((p <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> q) x y -> m ((q <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> p) x y)) -> (q <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y -> m ((p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> q) x y)<a href="src/Darcs-Patch-Commute.html#toFwdCommute" class="link">Source</a></p><div class="doc"><p>Swaps the ordered pair type so that commute can be
called directly.
</p></div></div><div class="top"><p class="src"><a name="v:toRevCommute" class="def">toRevCommute</a> :: (<a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> p, <a href="Darcs-Patch-Commute.html#t:Commute">Commute</a> q, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m) => ((p <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> q) x y -> m ((q <a href="Darcs-Witnesses-Ordered.html#t::-62-">:></a> p) x y)) -> (q <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> p) x y -> m ((p <a href="Darcs-Witnesses-Ordered.html#t::-60-">:<</a> q) x y)<a href="src/Darcs-Patch-Commute.html#toRevCommute" class="link">Source</a></p><div class="doc"><p>Swaps the ordered pair type from the order expected
by commute to the reverse order.
</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>
