darcs-2.16.5: a distributed, interactive, smart revision control system

Safe Haskell | Safe-Inferred
Language | Haskell2010

Darcs.Repository.ApplyPatches

Synopsis

- applyPatches :: (MonadProgress m, ApplyMonad (ApplyState p) m, Apply p) => FL (PatchInfoAnd rt p) wX wY -> m ()
- runTolerantly :: TolerantWrapper TolerantIO a -> IO a
- runSilently :: TolerantWrapper SilentIO a -> IO a
- data DefaultIO a
- runDefault :: DefaultIO a -> IO a

# Documentation

applyPatches :: (MonadProgress m, ApplyMonad (ApplyState p) m, Apply p) => FL (PatchInfoAnd rt p) wX wY -> m () #

runTolerantly :: TolerantWrapper TolerantIO a -> IO a #

Apply patches, emitting warnings if there are any IO errors

runSilently :: TolerantWrapper SilentIO a -> IO a #

Apply patches, ignoring all errors

data DefaultIO a #

#### Instances

Instances details

Applicative DefaultIO # |
Instance details Defined in Darcs.Repository.ApplyPatches Methods pure :: a -> DefaultIO a # (<*>) :: DefaultIO (a -> b) -> DefaultIO a -> DefaultIO b # liftA2 :: (a -> b -> c) -> DefaultIO a -> DefaultIO b -> DefaultIO c # (*>) :: DefaultIO a -> DefaultIO b -> DefaultIO b # (<*) :: DefaultIO a -> DefaultIO b -> DefaultIO a #
Functor DefaultIO # |
Instance details Defined in Darcs.Repository.ApplyPatches Methods fmap :: (a -> b) -> DefaultIO a -> DefaultIO b # (<$) :: a -> DefaultIO b -> DefaultIO a #
Monad DefaultIO # |
Instance details Defined in Darcs.Repository.ApplyPatches Methods (>>=) :: DefaultIO a -> (a -> DefaultIO b) -> DefaultIO b # (>>) :: DefaultIO a -> DefaultIO b -> DefaultIO b # return :: a -> DefaultIO a #
ApplyMonadTree DefaultIO # |
Instance details 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 () #
MonadProgress DefaultIO # |
Instance details Defined in Darcs.Repository.ApplyPatches Methods runProgressActions :: String -> [ProgressAction DefaultIO ()] -> DefaultIO () #
ApplyMonad Tree DefaultIO # |
Instance details Defined in Darcs.Repository.ApplyPatches Associated Types type ApplyMonadBase DefaultIO :: Type -> Type # Methods nestedApply :: DefaultIO x -> Tree (ApplyMonadBase DefaultIO) -> DefaultIO (x, Tree (ApplyMonadBase DefaultIO)) # liftApply :: (Tree (ApplyMonadBase DefaultIO) -> ApplyMonadBase DefaultIO x) -> Tree (ApplyMonadBase DefaultIO) -> DefaultIO (x, Tree (ApplyMonadBase DefaultIO)) # getApplyState :: DefaultIO (Tree (ApplyMonadBase DefaultIO)) #
type ApplyMonadBase DefaultIO # |
Instance details Defined in Darcs.Repository.ApplyPatches type ApplyMonadBase DefaultIO = IO

runDefault :: DefaultIO a -> IO a #

The default mode of applying patches: fail if the directory is not as we expect