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

Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Index.Monad

Documentation

data FileModMonad a Source #

Instances

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

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