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 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 #

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 #

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 #

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

Instances

ApplyMonadTree DefaultIO Source #
Methods mDoesDirectoryExist :: FileName -> DefaultIO Bool Source # mDoesFileExist :: FileName -> DefaultIO Bool Source # mReadFilePS :: 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 # 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 # 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 # mChangePref :: String -> String -> String -> TreeMonad m () Source #