Darcs.Patch.ApplyMonad

Documentation

class (Monad m, ApplyMonadOperations state m) => ApplyMonad (state :: (* -> *) -> *) m | m -> state where

Methods

readFilePS :: ObjectIdOf state -> m ByteString

Instances

ApplyMonad Tree DefaultIO

Defined in Darcs.Repository.ApplyPatches

Methods

readFilePS :: ObjectIdOf Tree -> DefaultIO ByteString

MonadThrow m => ApplyMonad Tree (TreeMonad m)

Defined in Darcs.Patch.ApplyMonad

Methods

readFilePS :: ObjectIdOf Tree -> TreeMonad m ByteString

MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m)

Defined in Darcs.Patch.Prim.FileUUID.Apply

Methods

readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString

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

Associated Types

type ApplyMonadOver state m :: * -> *

Methods

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

Instances

MonadThrow m => ApplyMonadTrans ObjectMap m

Defined in Darcs.Patch.Prim.FileUUID.Apply

Associated Types

type ApplyMonadOver ObjectMap m :: Type -> Type

Methods

runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m)

MonadThrow m => ApplyMonadTrans Tree m

Defined in Darcs.Patch.ApplyMonad

Associated Types

type ApplyMonadOver Tree m :: Type -> Type

Methods

runApplyMonad :: ApplyMonadOver Tree m x -> Tree m -> m (x, Tree m)

type family ApplyMonadOperations (state :: (* -> *) -> *) :: (* -> *) -> Constraint

Instances

type ApplyMonadOperations ObjectMap

Defined in Darcs.Patch.Prim.FileUUID.Apply

type ApplyMonadOperations ObjectMap

type ApplyMonadOperations Tree

Defined in Darcs.Patch.ApplyMonad

type ApplyMonadOperations Tree = ApplyMonadTree

withFileNames :: Maybe [OrigFileNameOf] -> [AnchoredPath] -> FilePathMonad a -> FilePathMonadState

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.

class MonadThrow m => ApplyMonadTree m where

Minimal complete definition

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

Methods

mDoesDirectoryExist :: AnchoredPath -> m Bool

mDoesFileExist :: AnchoredPath -> m Bool

mReadFilePS :: AnchoredPath -> m ByteString

mCreateDirectory :: AnchoredPath -> m ()

mRemoveDirectory :: AnchoredPath -> m ()

mCreateFile :: AnchoredPath -> m ()

mRemoveFile :: AnchoredPath -> m ()

mRename :: AnchoredPath -> AnchoredPath -> m ()

mModifyFilePS :: AnchoredPath -> (ByteString -> m ByteString) -> m ()

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

Instances

ApplyMonadTree DefaultIO

Defined in Darcs.Repository.ApplyPatches

Methods

mDoesDirectoryExist :: AnchoredPath -> DefaultIO Bool

mDoesFileExist :: AnchoredPath -> DefaultIO Bool

mReadFilePS :: AnchoredPath -> DefaultIO ByteString

mCreateDirectory :: AnchoredPath -> DefaultIO ()

mRemoveDirectory :: AnchoredPath -> DefaultIO ()

mCreateFile :: AnchoredPath -> DefaultIO ()

mRemoveFile :: AnchoredPath -> DefaultIO ()

mRename :: AnchoredPath -> AnchoredPath -> DefaultIO ()

mModifyFilePS :: AnchoredPath -> (ByteString -> DefaultIO ByteString) -> DefaultIO ()

mChangePref :: String -> String -> String -> DefaultIO ()

MonadThrow m => ApplyMonadTree (TreeMonad m)

Defined in Darcs.Patch.ApplyMonad

Methods

mDoesDirectoryExist :: AnchoredPath -> TreeMonad m Bool

mDoesFileExist :: AnchoredPath -> TreeMonad m Bool

mReadFilePS :: AnchoredPath -> TreeMonad m ByteString

mCreateDirectory :: AnchoredPath -> TreeMonad m ()

mRemoveDirectory :: AnchoredPath -> TreeMonad m ()

mCreateFile :: AnchoredPath -> TreeMonad m ()

mRemoveFile :: AnchoredPath -> TreeMonad m ()

mRename :: AnchoredPath -> AnchoredPath -> TreeMonad m ()

mModifyFilePS :: AnchoredPath -> (ByteString -> TreeMonad m ByteString) -> TreeMonad m ()

mChangePref :: String -> String -> String -> TreeMonad m ()

evalApplyMonad :: ApplyMonadTrans state m => ApplyMonadOver state m a -> state m -> m a