darcs-2.12.5: a distributed, interactive, smart revision control system

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.Index.Monad

# Documentation

data FileModMonad a #

Instances

Monad FileModMonad # |
Methods (>>=) :: FileModMonad a -> (a -> FileModMonad b) -> FileModMonad b # (>>) :: FileModMonad a -> FileModMonad b -> FileModMonad b # return :: a -> FileModMonad a # fail :: String -> FileModMonad a #
Functor FileModMonad # |
Methods fmap :: (a -> b) -> FileModMonad a -> FileModMonad b # (<$) :: a -> FileModMonad b -> FileModMonad a #
Applicative FileModMonad # |
Methods pure :: a -> FileModMonad a # (<*>) :: FileModMonad (a -> b) -> FileModMonad a -> FileModMonad b # (*>) :: FileModMonad a -> FileModMonad b -> FileModMonad b # (<*) :: FileModMonad a -> FileModMonad b -> FileModMonad a #
ApplyMonadTree FileModMonad # |
Methods mDoesDirectoryExist :: FileName -> FileModMonad Bool # mDoesFileExist :: FileName -> FileModMonad Bool # mReadFilePS :: FileName -> FileModMonad ByteString # mReadFilePSs :: FileName -> FileModMonad [ByteString] # mCreateDirectory :: FileName -> FileModMonad () # mRemoveDirectory :: FileName -> FileModMonad () # mCreateFile :: FileName -> FileModMonad () # mRemoveFile :: FileName -> FileModMonad () # mRename :: FileName -> FileName -> FileModMonad () # mModifyFilePS :: FileName -> (ByteString -> FileModMonad ByteString) -> FileModMonad () # mModifyFilePSs :: FileName -> ([ByteString] -> FileModMonad [ByteString]) -> FileModMonad () # mChangePref :: String -> String -> String -> FileModMonad () #
ApplyMonad Tree FileModMonad # |
Associated Types type ApplyMonadBase (FileModMonad :: * -> *) :: * -> * # Methods nestedApply :: FileModMonad x -> Tree (ApplyMonadBase FileModMonad) -> FileModMonad (x, Tree (ApplyMonadBase FileModMonad)) # liftApply :: (Tree (ApplyMonadBase FileModMonad) -> ApplyMonadBase FileModMonad x) -> Tree (ApplyMonadBase FileModMonad) -> FileModMonad (x, Tree (ApplyMonadBase FileModMonad)) # getApplyState :: FileModMonad (Tree (ApplyMonadBase FileModMonad)) #
MonadState (Set FileName, [PatchMod FileName]) FileModMonad # |
Methods get :: FileModMonad (Set FileName, [PatchMod FileName]) # put :: (Set FileName, [PatchMod FileName]) -> FileModMonad () # state :: ((Set FileName, [PatchMod FileName]) -> (a, (Set FileName, [PatchMod FileName]))) -> FileModMonad a #
type ApplyMonadBase FileModMonad # |
type ApplyMonadBase FileModMonad = FileModMonad

withPatchMods :: FileModMonad a -> Set FileName -> (Set FileName, [PatchMod FileName]) #