Safe Haskell	None
Language	Haskell2010

Darcs.Patch.ApplyMonad

Synopsis

Documentation

class (Functor m, Monad m, Functor (ApplyMonadBase m), Monad (ApplyMonadBase m), ApplyMonadStateOperations state m, ToTree state) => ApplyMonad state m where Source #

Minimal complete definition

nestedApply, liftApply, getApplyState

Associated Types

type ApplyMonadBase m :: * -> * Source #

Methods

nestedApply :: m x -> state (ApplyMonadBase m) -> m (x, state (ApplyMonadBase m)) Source #

liftApply :: (state (ApplyMonadBase m) -> ApplyMonadBase m x) -> state (ApplyMonadBase m) -> m (x, state (ApplyMonadBase m)) Source #

getApplyState :: m (state (ApplyMonadBase m)) Source #

Instances

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 #
ApplyMonad Tree DefaultIO Source #
Associated Types type ApplyMonadBase (DefaultIO :: * -> ) :: -> * Source # Methods nestedApply :: DefaultIO x -> Tree (ApplyMonadBase DefaultIO) -> DefaultIO (x, Tree (ApplyMonadBase DefaultIO)) Source # liftApply :: (Tree (ApplyMonadBase DefaultIO) -> ApplyMonadBase DefaultIO x) -> Tree (ApplyMonadBase DefaultIO) -> DefaultIO (x, Tree (ApplyMonadBase DefaultIO)) Source # getApplyState :: DefaultIO (Tree (ApplyMonadBase DefaultIO)) Source #
(Functor m, Monad m) => ApplyMonad Tree (TreeMonad m) Source #
Associated Types type ApplyMonadBase (TreeMonad m :: * -> ) :: -> * Source # Methods nestedApply :: TreeMonad m x -> Tree (ApplyMonadBase (TreeMonad m)) -> TreeMonad m (x, Tree (ApplyMonadBase (TreeMonad m))) Source # liftApply :: (Tree (ApplyMonadBase (TreeMonad m)) -> ApplyMonadBase (TreeMonad m) x) -> Tree (ApplyMonadBase (TreeMonad m)) -> TreeMonad m (x, Tree (ApplyMonadBase (TreeMonad m))) Source # getApplyState :: TreeMonad m (Tree (ApplyMonadBase (TreeMonad m))) Source #
ApplyMonad Tree (HashedIO p) Source #
Associated Types type ApplyMonadBase (HashedIO p :: * -> ) :: -> * Source # Methods nestedApply :: HashedIO p x -> Tree (ApplyMonadBase (HashedIO p)) -> HashedIO p (x, Tree (ApplyMonadBase (HashedIO p))) Source # liftApply :: (Tree (ApplyMonadBase (HashedIO p)) -> ApplyMonadBase (HashedIO p) x) -> Tree (ApplyMonadBase (HashedIO p)) -> HashedIO p (x, Tree (ApplyMonadBase (HashedIO p))) Source # getApplyState :: HashedIO p (Tree (ApplyMonadBase (HashedIO p))) Source #

class (Functor m, Monad m, ApplyMonad state (ApplyMonadOver state m)) => ApplyMonadTrans state m where Source #

Minimal complete definition

runApplyMonad

Associated Types

type ApplyMonadOver state m :: * -> * Source #

Methods

runApplyMonad :: ApplyMonadOver state m x -> state m -> m (x, state m) Source #

Instances

(Functor m, Monad m) => ApplyMonadTrans Tree m Source #
Associated Types type ApplyMonadOver (Tree :: (* -> ) -> ) (m :: * -> ) :: -> * Source # Methods runApplyMonad :: ApplyMonadOver Tree m x -> Tree m -> m (x, Tree m) Source #

class ApplyMonadState state Source #

Associated Types

type ApplyMonadStateOperations state :: (* -> *) -> Constraint Source #

Instances

ApplyMonadState Tree Source #
Associated Types type ApplyMonadStateOperations (Tree :: (* -> ) -> ) :: (* -> *) -> Constraint Source #

withFileNames :: Maybe [OrigFileNameOf] -> [FileName] -> FilePathMonad a -> FilePathMonadState Source #

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.

withFiles :: [(FileName, ByteString)] -> RestrictedApply a -> [(FileName, ByteString)] Source #

class ToTree s where Source #

Minimal complete definition

toTree

Methods

toTree :: s m -> Tree m Source #

Instances

ToTree Tree Source #
Methods toTree :: Tree m -> Tree m Source #

class (Functor m, Monad m) => ApplyMonadTree m where Source #

Minimal complete definition

mDoesDirectoryExist, mDoesFileExist, mReadFilePS, mCreateDirectory, mRemoveDirectory, mRemoveFile, mRename, mModifyFilePS

Methods

mDoesDirectoryExist :: FileName -> m Bool Source #

mDoesFileExist :: FileName -> m Bool Source #

mReadFilePS :: FileName -> m ByteString Source #

mReadFilePSs :: FileName -> m [ByteString] Source #

mCreateDirectory :: FileName -> m () Source #

mRemoveDirectory :: FileName -> m () Source #

mCreateFile :: FileName -> m () Source #

mRemoveFile :: FileName -> m () Source #

mRename :: FileName -> FileName -> m () Source #

mModifyFilePS :: FileName -> (ByteString -> m ByteString) -> m () Source #

mModifyFilePSs :: FileName -> ([ByteString] -> m [ByteString]) -> m () Source #

mChangePref :: String -> String -> String -> m () Source #

Instances

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 #
ApplyMonadTree DefaultIO Source #
Methods mDoesDirectoryExist :: FileName -> DefaultIO Bool Source # mDoesFileExist :: FileName -> DefaultIO Bool Source # mReadFilePS :: FileName -> DefaultIO ByteString Source # mReadFilePSs :: FileName -> DefaultIO [ByteString] Source # mCreateDirectory :: FileName -> DefaultIO () Source # mRemoveDirectory :: FileName -> DefaultIO () Source # mCreateFile :: FileName -> DefaultIO () Source # mRemoveFile :: FileName -> DefaultIO () Source # mRename :: FileName -> FileName -> DefaultIO () Source # mModifyFilePS :: FileName -> (ByteString -> DefaultIO ByteString) -> DefaultIO () Source # mModifyFilePSs :: FileName -> ([ByteString] -> DefaultIO [ByteString]) -> DefaultIO () Source # mChangePref :: String -> String -> String -> DefaultIO () Source #
(Functor m, Monad m) => ApplyMonadTree (TreeMonad m) Source #
Methods mDoesDirectoryExist :: FileName -> TreeMonad m Bool Source # mDoesFileExist :: FileName -> TreeMonad m Bool Source # mReadFilePS :: FileName -> TreeMonad m ByteString Source # mReadFilePSs :: FileName -> TreeMonad m [ByteString] Source # mCreateDirectory :: FileName -> TreeMonad m () Source # mRemoveDirectory :: FileName -> TreeMonad m () Source # mCreateFile :: FileName -> TreeMonad m () Source # mRemoveFile :: FileName -> TreeMonad m () Source # mRename :: FileName -> FileName -> TreeMonad m () Source # mModifyFilePS :: FileName -> (ByteString -> TreeMonad m ByteString) -> TreeMonad m () Source # mModifyFilePSs :: FileName -> ([ByteString] -> TreeMonad m [ByteString]) -> TreeMonad m () Source # mChangePref :: String -> String -> String -> TreeMonad m () Source #
ApplyMonadTree (HashedIO p) Source #
Methods mDoesDirectoryExist :: FileName -> HashedIO p Bool Source # mDoesFileExist :: FileName -> HashedIO p Bool Source # mReadFilePS :: FileName -> HashedIO p ByteString Source # mReadFilePSs :: FileName -> HashedIO p [ByteString] Source # mCreateDirectory :: FileName -> HashedIO p () Source # mRemoveDirectory :: FileName -> HashedIO p () Source # mCreateFile :: FileName -> HashedIO p () Source # mRemoveFile :: FileName -> HashedIO p () Source # mRename :: FileName -> FileName -> HashedIO p () Source # mModifyFilePS :: FileName -> (ByteString -> HashedIO p ByteString) -> HashedIO p () Source # mModifyFilePSs :: FileName -> ([ByteString] -> HashedIO p [ByteString]) -> HashedIO p () Source # mChangePref :: String -> String -> String -> HashedIO p () Source #