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])