<!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.Match</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-Match.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Match.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.Match</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p><em>First matcher, Second matcher and Nonrange matcher</em>
</p><p>When we match for patches, we have a PatchSet, of which we want a
subset. This subset is formed by the patches in a given interval
which match a given criterion. If we represent time going left to
right, then we have (up to) three <code><a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a></code>s:
</p><ul><li> the <code>firstMatcher</code> is the left bound of the interval,
</li><li> the <code>secondMatcher</code> is the right bound, and
</li><li> the <code><a href="Darcs-Match.html#v:nonrangeMatcher">nonrangeMatcher</a></code> is the criterion we use to select among
patches in the interval.
</li></ul></div></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"><a href="#v:matchFirstPatchset">matchFirstPatchset</a> :: <a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="Darcs-Patch-Set.html#t:SealedPatchSet">SealedPatchSet</a> p start</li><li class="src short"><a href="#v:matchSecondPatchset">matchSecondPatchset</a> :: <a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="Darcs-Patch-Set.html#t:SealedPatchSet">SealedPatchSet</a> p start</li><li class="src short"><a href="#v:matchPatch">matchPatch</a> :: <a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="Darcs-Witnesses-Sealed.html#t:Sealed2">Sealed2</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p)</li><li class="src short"><a href="#v:matchAPatch">matchAPatch</a> :: <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Named.html#t:Named">Named</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><li class="src short"><a href="#v:matchAPatchread">matchAPatchread</a> :: <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <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-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:getFirstMatch">getFirstMatch</a> :: (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p), <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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:getNonrangeMatch">getNonrangeMatch</a> :: (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p), <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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:getNonrangeMatchS">getNonrangeMatchS</a> :: (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p), <a href="Darcs-MonadProgress.html#t:MonadProgress">MonadProgress</a> m, <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-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a> x -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:getPartialFirstMatch">getPartialFirstMatch</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:getPartialSecondMatch">getPartialSecondMatch</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:getPartialNonrangeMatch">getPartialNonrangeMatch</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:firstMatch">firstMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:secondMatch">secondMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:haveNonrangeMatch">haveNonrangeMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:havePatchsetMatch">havePatchsetMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:getOnePatchset">getOnePatchset</a> :: (<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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Set.html#t:SealedPatchSet">SealedPatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a>)</li><li class="src short"><a href="#v:checkMatchSyntax">checkMatchSyntax</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:applyInvToMatcher">applyInvToMatcher</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p)) => <a href="Darcs-Match.html#t:InclusiveOrExclusive">InclusiveOrExclusive</a> -> <a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a> p -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a> x -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:nonrangeMatcher">nonrangeMatcher</a> :: <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a> p)</li><li class="src short"><span class="keyword">data</span> <a href="#t:InclusiveOrExclusive">InclusiveOrExclusive</a> <ul class="subs"><li>= <a href="#v:Inclusive">Inclusive</a> </li><li>| <a href="#v:Exclusive">Exclusive</a> </li></ul></li><li class="src short"><a href="#v:matchExists">matchExists</a> :: <a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a> p -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:applyNInv">applyNInv</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p)) => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a> x -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li class="src short"><a href="#v:hasIndexRange">hasIndexRange</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <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-Int.html#t:Int">Int</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:matchFirstPatchset" class="def">matchFirstPatchset</a> :: <a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="Darcs-Patch-Set.html#t:SealedPatchSet">SealedPatchSet</a> p start<a href="src/Darcs-Match.html#matchFirstPatchset" class="link">Source</a></p><div class="doc"><p><code>matchFirstPatchset fs ps</code> returns the part of <code>ps</code> before its
first matcher, ie the one that comes first dependencywise. Hence,
patches in <code>matchFirstPatchset fs ps</code> are the context for the ones
we don't want.
</p></div></div><div class="top"><p class="src"><a name="v:matchSecondPatchset" class="def">matchSecondPatchset</a> :: <a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="Darcs-Patch-Set.html#t:SealedPatchSet">SealedPatchSet</a> p start<a href="src/Darcs-Match.html#matchSecondPatchset" class="link">Source</a></p><div class="doc"><p><code>matchSecondPatchset fs ps</code> returns the part of <code>ps</code> before its
second matcher, ie the one that comes last dependencywise.
</p></div></div><div class="top"><p class="src"><a name="v:matchPatch" class="def">matchPatch</a> :: <a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="Darcs-Witnesses-Sealed.html#t:Sealed2">Sealed2</a> (<a href="Darcs-Patch-Named.html#t:Named">Named</a> p)<a href="src/Darcs-Match.html#matchPatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:matchAPatch" class="def">matchAPatch</a> :: <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Named.html#t:Named">Named</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-Match.html#matchAPatch" class="link">Source</a></p><div class="doc"><p><code>matchAPatch fs p</code> tells whether <code>p</code> matches the matchers in
the flags <code>fs</code>
</p></div></div><div class="top"><p class="src"><a name="v:matchAPatchread" class="def">matchAPatchread</a> :: <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <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-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Match.html#matchAPatchread" class="link">Source</a></p><div class="doc"><p><code>matchAPatchread fs p</code> tells whether <code>p</code> matches the matchers in
the flags listed in <code>fs</code>.
</p></div></div><div class="top"><p class="src"><a name="v:getFirstMatch" class="def">getFirstMatch</a> :: (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p), <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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <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-Match.html#getFirstMatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:getNonrangeMatch" class="def">getNonrangeMatch</a> :: (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p), <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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <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-Match.html#getNonrangeMatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:getNonrangeMatchS" class="def">getNonrangeMatchS</a> :: (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p), <a href="Darcs-MonadProgress.html#t:MonadProgress">MonadProgress</a> m, <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-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a> x -> 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-Match.html#getNonrangeMatchS" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:getPartialFirstMatch" class="def">getPartialFirstMatch</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <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-Match.html#getPartialFirstMatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:getPartialSecondMatch" class="def">getPartialSecondMatch</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <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-Match.html#getPartialSecondMatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:getPartialNonrangeMatch" class="def">getPartialNonrangeMatch</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <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-Match.html#getPartialNonrangeMatch" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:firstMatch" class="def">firstMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Match.html#firstMatch" class="link">Source</a></p><div class="doc"><p><code>firstMatch fs</code> tells whether <code>fs</code> implies a <a href="first match.html">first match</a>, that
is if we match against patches from a point in the past on, rather
than against all patches since the creation of the repository.
</p></div></div><div class="top"><p class="src"><a name="v:secondMatch" class="def">secondMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Match.html#secondMatch" class="link">Source</a></p><div class="doc"><p><code>secondMatch fs</code> tells whether <code>fs</code> implies a <a href="second match.html">second match</a>, that
is if we match against patches up to a point in the past on, rather
than against all patches until now.
</p></div></div><div class="top"><p class="src"><a name="v:haveNonrangeMatch" class="def">haveNonrangeMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Match.html#haveNonrangeMatch" class="link">Source</a></p><div class="doc"><p><code>haveNonrangeMatch flags</code> tells whether there is a flag in
<code>flags</code> which corresponds to a match that is <a href="non-range.html">non-range</a>. Thus,
<code>--match</code>, <code>--patch</code> and <code>--index</code> make <code>haveNonrangeMatch</code>
true, but not <code>--from-patch</code> or <code>--to-patch</code>.
</p></div></div><div class="top"><p class="src"><a name="v:havePatchsetMatch" class="def">havePatchsetMatch</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Match.html#havePatchsetMatch" class="link">Source</a></p><div class="doc"><p><code>havePatchsetMatch flags</code> tells whether there is a <a href="patchset
match.html">patchset
match</a> in the flag list. A patchset match is <code>--match</code> or
<code>--patch</code>, or <code>--context</code>, but not <code>--from-patch</code> nor (!)
<code>--index</code>.
Question: Is it supposed not to be a subset of <code>haveNonrangeMatch</code>?
</p></div></div><div class="top"><p class="src"><a name="v:getOnePatchset" class="def">getOnePatchset</a> :: (<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-Repository-InternalTypes.html#t:Repository">Repository</a> p r u t -> [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> (<a href="Darcs-Patch-Set.html#t:SealedPatchSet">SealedPatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a>)<a href="src/Darcs-Match.html#getOnePatchset" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:checkMatchSyntax" class="def">checkMatchSyntax</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/System-IO.html#t:IO">IO</a> <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-Match.html#checkMatchSyntax" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:applyInvToMatcher" class="def">applyInvToMatcher</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p)) => <a href="Darcs-Match.html#t:InclusiveOrExclusive">InclusiveOrExclusive</a> -> <a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a> p -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a> x -> 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-Match.html#applyInvToMatcher" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nonrangeMatcher" class="def">nonrangeMatcher</a> :: <a href="Darcs-Patch-Patchy.html#t:Patchy">Patchy</a> p => [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a> p)<a href="src/Darcs-Match.html#nonrangeMatcher" class="link">Source</a></p><div class="doc"><p><code>nonrangeMatcher</code> is the criterion that is used to match against
patches in the interval. It is 'Just m' when the <code>--patch</code>, <code>--match</code>,
<code>--tag</code> options are passed (or their plural variants).
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:InclusiveOrExclusive" class="def">InclusiveOrExclusive</a> <a href="src/Darcs-Match.html#InclusiveOrExclusive" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Inclusive" class="def">Inclusive</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Exclusive" class="def">Exclusive</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:InclusiveOrExclusive" class="caption collapser" onclick="toggleSection('i:InclusiveOrExclusive')">Instances</p><div id="section.i:InclusiveOrExclusive" class="show"><table><tr><td class="src"><a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Eq.html#t:Eq">Eq</a> <a href="Darcs-Match.html#t:InclusiveOrExclusive">InclusiveOrExclusive</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:matchExists" class="def">matchExists</a> :: <a href="Darcs-Patch-Match.html#t:Matcher">Matcher</a> p -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p start x -> <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Match.html#matchExists" class="link">Source</a></p><div class="doc"><p><code>matchExists m ps</code> tells whether there is a patch matching
<code>m</code> in <code>ps</code>
</p></div></div><div class="top"><p class="src"><a name="v:applyNInv" class="def">applyNInv</a> :: (<a href="Darcs-Patch-RepoPatch.html#t:RepoPatch">RepoPatch</a> p, <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> m (<a href="Darcs-Patch-Apply.html#t:ApplyState">ApplyState</a> p)) => <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a> -> <a href="Darcs-Patch-Set.html#t:PatchSet">PatchSet</a> p <a href="Darcs-Patch-Set.html#t:Origin">Origin</a> x -> 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-Match.html#applyNInv" class="link">Source</a></p><div class="doc"><p><code>applyNInv</code> n ps applies the inverse of the last <code>n</code> patches of <code>ps</code>.
</p></div></div><div class="top"><p class="src"><a name="v:hasIndexRange" class="def">hasIndexRange</a> :: [<a href="Darcs-Flags.html#t:DarcsFlag">DarcsFlag</a>] -> <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-Int.html#t:Int">Int</a>, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Int.html#t:Int">Int</a>)<a href="src/Darcs-Match.html#hasIndexRange" 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>
