Safe Haskell	Safe-Inferred
Language	Haskell2010

Darcs.Patch.ApplyMonad

Synopsis

class (Monad m, ApplyMonadOperations state m) => ApplyMonad (state :: (* -> *) -> *) m | m -> state where
- readFilePS :: ObjectIdOf state -> m ByteString
class (Monad m, ApplyMonad state (ApplyMonadOver state m)) => ApplyMonadTrans state m where
- type ApplyMonadOver state m :: * -> *
- runApplyMonad :: ApplyMonadOver state m x -> state m -> m (x, state m)
type family ApplyMonadOperations (state :: (* -> *) -> *) :: (* -> *) -> Constraint
withFileNames :: Maybe [OrigFileNameOf] -> [AnchoredPath] -> FilePathMonad a -> FilePathMonadState
class MonadThrow m => ApplyMonadTree m where
- 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 ()
evalApplyMonad :: ApplyMonadTrans state m => ApplyMonadOver state m a -> state m -> m a

Documentation

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

Methods

readFilePS :: ObjectIdOf state -> m ByteString Source #

Instances

Instances details

ApplyMonad Tree DefaultIO Source #
Instance details Defined in Darcs.Repository.ApplyPatches Methods readFilePS :: ObjectIdOf Tree -> DefaultIO ByteString Source #
MonadThrow m => ApplyMonad Tree (TreeMonad m) Source #
Instance details Defined in Darcs.Patch.ApplyMonad Methods readFilePS :: ObjectIdOf Tree -> TreeMonad m ByteString Source #
MonadThrow m => ApplyMonad ObjectMap (StateT (ObjectMap m) m) Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Methods readFilePS :: ObjectIdOf ObjectMap -> StateT (ObjectMap m) m ByteString Source #

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

Associated Types

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

Methods

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

Instances

Instances details

MonadThrow m => ApplyMonadTrans ObjectMap m Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply Associated Types type ApplyMonadOver ObjectMap m :: Type -> Type Source # Methods runApplyMonad :: ApplyMonadOver ObjectMap m x -> ObjectMap m -> m (x, ObjectMap m) Source #
MonadThrow m => ApplyMonadTrans Tree m Source #
Instance details Defined in Darcs.Patch.ApplyMonad Associated Types type ApplyMonadOver Tree m :: Type -> Type Source # Methods runApplyMonad :: ApplyMonadOver Tree m x -> Tree m -> m (x, Tree m) Source #

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

Instances

Instances details

type ApplyMonadOperations ObjectMap Source #
Instance details Defined in Darcs.Patch.Prim.FileUUID.Apply type ApplyMonadOperations ObjectMap
type ApplyMonadOperations Tree Source #
Instance details Defined in Darcs.Patch.ApplyMonad type ApplyMonadOperations Tree = ApplyMonadTree

withFileNames :: Maybe [OrigFileNameOf] -> [AnchoredPath] -> 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.

class MonadThrow m => ApplyMonadTree m where Source #

Minimal complete definition

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

Methods

mDoesDirectoryExist :: AnchoredPath -> m Bool Source #

mDoesFileExist :: AnchoredPath -> m Bool Source #

mReadFilePS :: AnchoredPath -> m ByteString Source #

mCreateDirectory :: AnchoredPath -> m () Source #

mRemoveDirectory :: AnchoredPath -> m () Source #

mCreateFile :: AnchoredPath -> m () Source #

mRemoveFile :: AnchoredPath -> m () Source #

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

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

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

Instances

Instances details

ApplyMonadTree DefaultIO Source #
Instance details Defined in Darcs.Repository.ApplyPatches Methods mDoesDirectoryExist :: AnchoredPath -> DefaultIO Bool Source # mDoesFileExist :: AnchoredPath -> DefaultIO Bool Source # mReadFilePS :: AnchoredPath -> DefaultIO ByteString Source # mCreateDirectory :: AnchoredPath -> DefaultIO () Source # mRemoveDirectory :: AnchoredPath -> DefaultIO () Source # mCreateFile :: AnchoredPath -> DefaultIO () Source # mRemoveFile :: AnchoredPath -> DefaultIO () Source # mRename :: AnchoredPath -> AnchoredPath -> DefaultIO () Source # mModifyFilePS :: AnchoredPath -> (ByteString -> DefaultIO ByteString) -> DefaultIO () Source # mChangePref :: String -> String -> String -> DefaultIO () Source #
MonadThrow m => ApplyMonadTree (TreeMonad m) Source #
Instance details Defined in Darcs.Patch.ApplyMonad Methods mDoesDirectoryExist :: AnchoredPath -> TreeMonad m Bool Source # mDoesFileExist :: AnchoredPath -> TreeMonad m Bool Source # mReadFilePS :: AnchoredPath -> TreeMonad m ByteString Source # mCreateDirectory :: AnchoredPath -> TreeMonad m () Source # mRemoveDirectory :: AnchoredPath -> TreeMonad m () Source # mCreateFile :: AnchoredPath -> TreeMonad m () Source # mRemoveFile :: AnchoredPath -> TreeMonad m () Source # mRename :: AnchoredPath -> AnchoredPath -> TreeMonad m () Source # mModifyFilePS :: AnchoredPath -> (ByteString -> TreeMonad m ByteString) -> TreeMonad m () Source # mChangePref :: String -> String -> String -> TreeMonad m () Source #

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