<!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.ApplyMonad</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-ApplyMonad.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Darcs-Patch-ApplyMonad.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.ApplyMonad</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="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m), <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m), <a href="Darcs-Patch-ApplyMonad.html#t:ToTree">ToTree</a> state) => <a href="#t:ApplyMonad">ApplyMonad</a> m state <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:ApplyMonadBase">ApplyMonadBase</a> m :: * -> *</li><li><a href="#v:nestedApply">nestedApply</a> :: m x -> state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m) -> m (x, state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m))</li><li><a href="#v:liftApply">liftApply</a> :: (state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m) -> <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m x) -> state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m) -> m (x, state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m))</li><li><a href="#v:getApplyState">getApplyState</a> :: m (state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m))</li><li><a href="#v:putApplyState">putApplyState</a> :: state m -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:editFile">editFile</a> :: state ~ <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a> => <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:UUID">UUID</a> -> (<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> -> <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>) -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:editDirectory">editDirectory</a> :: state ~ <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a> => <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:UUID">UUID</a> -> (<a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:DirContent">DirContent</a> -> <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:DirContent">DirContent</a>) -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mDoesDirectoryExist">mDoesDirectoryExist</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:mDoesFileExist">mDoesFileExist</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a></li><li><a href="#v:mReadFilePS">mReadFilePS</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a></li><li><a href="#v:mReadFilePSs">mReadFilePSs</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>]</li><li><a href="#v:mCreateDirectory">mCreateDirectory</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mRemoveDirectory">mRemoveDirectory</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mCreateFile">mCreateFile</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mRemoveFile">mRemoveFile</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mRename">mRename</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> <a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mModifyFilePS">mModifyFilePS</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> (<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> -> m <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>) -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mModifyFilePSs">mModifyFilePSs</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> ([<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>] -> m [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>]) -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li><li><a href="#v:mChangePref">mChangePref</a> :: state ~ <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</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/Data-String.html#t:String">String</a> -> m <a href="/usr/share/doc/ghc/html/libraries/ghc-prim-0.2.0.0/GHC-Tuple.html#t:-40--41-">()</a></li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <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-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadOver">ApplyMonadOver</a> m state) state) => <a href="#t:ApplyMonadTrans">ApplyMonadTrans</a> m state <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:ApplyMonadOver">ApplyMonadOver</a> m state :: * -> *</li><li><a href="#v:runApplyMonad">runApplyMonad</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadOver">ApplyMonadOver</a> m state x -> state m -> m (x, state m)</li></ul></li><li class="src short"><a href="#v:withFileNames">withFileNames</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [OrigFileNameOf] -> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> FilePathMonad a -> FilePathMonadState</li><li class="src short"><a href="#v:withFiles">withFiles</a> :: [(<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>, <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>)] -> RestrictedApply a -> [(<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>, <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>)]</li><li class="src short"><span class="keyword">class</span> <a href="#t:ToTree">ToTree</a> s <span class="keyword">where</span><ul class="subs"><li><a href="#v:toTree">toTree</a> :: s m -> <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a> m</li></ul></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> m, <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m), <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Monad">Monad</a> (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m), <a href="Darcs-Patch-ApplyMonad.html#t:ToTree">ToTree</a> state) => <a name="t:ApplyMonad" class="def">ApplyMonad</a> m state <span class="keyword">where</span><a href="src/Darcs-Patch-ApplyMonad.html#ApplyMonad" class="link">Source</a></p><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:ApplyMonadBase" class="def">ApplyMonadBase</a> m :: * -> *<a href="src/Darcs-Patch-ApplyMonad.html#ApplyMonadBase" class="link">Source</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:nestedApply" class="def">nestedApply</a> :: m x -> state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m) -> m (x, state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m))<a href="src/Darcs-Patch-ApplyMonad.html#nestedApply" class="link">Source</a></p><p class="src"><a name="v:liftApply" class="def">liftApply</a> :: (state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m) -> <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m x) -> state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m) -> m (x, state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m))<a href="src/Darcs-Patch-ApplyMonad.html#liftApply" class="link">Source</a></p><p class="src"><a name="v:getApplyState" class="def">getApplyState</a> :: m (state (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadBase">ApplyMonadBase</a> m))<a href="src/Darcs-Patch-ApplyMonad.html#getApplyState" class="link">Source</a></p><p class="src"><a name="v:putApplyState" class="def">putApplyState</a> :: state m -> 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-Patch-ApplyMonad.html#putApplyState" class="link">Source</a></p><p class="src"><a name="v:editFile" class="def">editFile</a> :: state ~ <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a> => <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:UUID">UUID</a> -> (<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> -> <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>) -> 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-Patch-ApplyMonad.html#editFile" class="link">Source</a></p><p class="src"><a name="v:editDirectory" class="def">editDirectory</a> :: state ~ <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a> => <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:UUID">UUID</a> -> (<a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:DirContent">DirContent</a> -> <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:DirContent">DirContent</a>) -> 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-Patch-ApplyMonad.html#editDirectory" class="link">Source</a></p><p class="src"><a name="v:mDoesDirectoryExist" class="def">mDoesDirectoryExist</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-ApplyMonad.html#mDoesDirectoryExist" class="link">Source</a></p><p class="src"><a name="v:mDoesFileExist" class="def">mDoesFileExist</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Bool.html#t:Bool">Bool</a><a href="src/Darcs-Patch-ApplyMonad.html#mDoesFileExist" class="link">Source</a></p><p class="src"><a name="v:mReadFilePS" class="def">mReadFilePS</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a><a href="src/Darcs-Patch-ApplyMonad.html#mReadFilePS" class="link">Source</a></p><p class="src"><a name="v:mReadFilePSs" class="def">mReadFilePSs</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> m [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>]<a href="src/Darcs-Patch-ApplyMonad.html#mReadFilePSs" class="link">Source</a></p><p class="src"><a name="v:mCreateDirectory" class="def">mCreateDirectory</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> 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-Patch-ApplyMonad.html#mCreateDirectory" class="link">Source</a></p><p class="src"><a name="v:mRemoveDirectory" class="def">mRemoveDirectory</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> 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-Patch-ApplyMonad.html#mRemoveDirectory" class="link">Source</a></p><p class="src"><a name="v:mCreateFile" class="def">mCreateFile</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> 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-Patch-ApplyMonad.html#mCreateFile" class="link">Source</a></p><p class="src"><a name="v:mRemoveFile" class="def">mRemoveFile</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> 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-Patch-ApplyMonad.html#mRemoveFile" class="link">Source</a></p><p class="src"><a name="v:mRename" class="def">mRename</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> <a href="Darcs-Patch-FileName.html#t:FileName">FileName</a> -> 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-Patch-ApplyMonad.html#mRename" class="link">Source</a></p><p class="src"><a name="v:mModifyFilePS" class="def">mModifyFilePS</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> (<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a> -> m <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>) -> 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-Patch-ApplyMonad.html#mModifyFilePS" class="link">Source</a></p><p class="src"><a name="v:mModifyFilePSs" class="def">mModifyFilePSs</a> :: state ~ <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-FileName.html#t:FileName">FileName</a> -> ([<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>] -> m [<a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>]) -> 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-Patch-ApplyMonad.html#mModifyFilePSs" class="link">Source</a></p><p class="src"><a name="v:mChangePref" class="def">mChangePref</a> :: state ~ <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</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/Data-String.html#t:String">String</a> -> 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-Patch-ApplyMonad.html#mChangePref" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:ApplyMonad" class="caption collapser" onclick="toggleSection('i:ApplyMonad')">Instances</p><div id="section.i:ApplyMonad" class="show"><table><tr><td class="src"><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="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> RestrictedApply <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> FilePathMonad <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> AnnotatedM <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> SilentIO <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> TolerantIO <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <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-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> (<a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Monad.html#t:TreeMonad">TreeMonad</a> m) <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> (<a href="Darcs-Repository-HashedIO.html#t:HashedIO">HashedIO</a> p) <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <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-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> (<a href="/usr/share/doc/ghc/html/libraries/mtl-2.1.1/Control-Monad-State-Lazy.html#t:StateT">StateT</a> (<a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a> m) m) <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <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-ApplyMonad.html#t:ApplyMonad">ApplyMonad</a> (<a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadOver">ApplyMonadOver</a> m state) state) => <a name="t:ApplyMonadTrans" class="def">ApplyMonadTrans</a> m state <span class="keyword">where</span><a href="src/Darcs-Patch-ApplyMonad.html#ApplyMonadTrans" class="link">Source</a></p><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:ApplyMonadOver" class="def">ApplyMonadOver</a> m state :: * -> *<a href="src/Darcs-Patch-ApplyMonad.html#ApplyMonadOver" class="link">Source</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:runApplyMonad" class="def">runApplyMonad</a> :: <a href="Darcs-Patch-ApplyMonad.html#t:ApplyMonadOver">ApplyMonadOver</a> m state x -> state m -> m (x, state m)<a href="src/Darcs-Patch-ApplyMonad.html#runApplyMonad" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:ApplyMonadTrans" class="caption collapser" onclick="toggleSection('i:ApplyMonadTrans')">Instances</p><div id="section.i:ApplyMonadTrans" class="show"><table><tr><td class="src">(<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <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-ApplyMonad.html#t:ApplyMonadTrans">ApplyMonadTrans</a> m <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src">(<a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Control-Monad.html#t:Functor">Functor</a> m, <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-ApplyMonad.html#t:ApplyMonadTrans">ApplyMonadTrans</a> m <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:withFileNames" class="def">withFileNames</a> :: <a href="/usr/share/doc/ghc/html/libraries/base-4.5.0.0/Data-Maybe.html#t:Maybe">Maybe</a> [OrigFileNameOf] -> [<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>] -> FilePathMonad a -> FilePathMonadState<a href="src/Darcs-Patch-ApplyMonad.html#withFileNames" class="link">Source</a></p><div class="doc"><p>withFileNames takes a maybe list of existing rename-pairs, a list of
filenames and an action, and returns the resulting triple of affected files,
updated filename list and new rename details. If the rename-pairs are not
present, a new list is generated from the filesnames.
</p></div></div><div class="top"><p class="src"><a name="v:withFiles" class="def">withFiles</a> :: [(<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>, <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>)] -> RestrictedApply a -> [(<a href="Darcs-Patch-FileName.html#t:FileName">FileName</a>, <a href="/usr/share/doc/ghc/html/libraries/bytestring-0.9.2.1/Data-ByteString.html#t:ByteString">ByteString</a>)]<a href="src/Darcs-Patch-ApplyMonad.html#withFiles" class="link">Source</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a name="t:ToTree" class="def">ToTree</a> s <span class="keyword">where</span><a href="src/Darcs-Patch-ApplyMonad.html#ToTree" class="link">Source</a></p><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:toTree" class="def">toTree</a> :: s m -> <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a> m<a href="src/Darcs-Patch-ApplyMonad.html#toTree" class="link">Source</a></p></div><div class="subs instances"><p id="control.i:ToTree" class="caption collapser" onclick="toggleSection('i:ToTree')">Instances</p><div id="section.i:ToTree" class="show"><table><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ToTree">ToTree</a> <a href="/usr/share/doc/ghc/html/libraries/hashed-storage-0.5.9/Storage-Hashed-Tree.html#t:Tree">Tree</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Darcs-Patch-ApplyMonad.html#t:ToTree">ToTree</a> <a href="Darcs-Patch-Prim-V3-ObjectMap.html#t:ObjectMap">ObjectMap</a></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>
