Safe Haskell | None |
---|---|
Language | Haskell2010 |
- doesPatchIndexExist :: FilePath -> IO Bool
- isPatchIndexDisabled :: FilePath -> IO Bool
- isPatchIndexInSync :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO Bool
- canUsePatchIndex :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO Bool
- canCreatePI :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO Bool
- createPIWithInterrupt :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO ()
- createOrUpdatePatchIndexDisk :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO ()
- deletePatchIndex :: FilePath -> IO ()
- dumpPatchIndex :: FilePath -> IO ()
- dumpPatchIndexFiles :: FilePath -> IO ()
- filterPatches :: (RepoPatch p, ApplyState p ~ Tree, a ~ PatchInfoAnd p) => Repository p wR wU wT -> [FilePath] -> [Sealed2 a] -> IO [Sealed2 a]
- type PatchFilter p = [FilePath] -> [Sealed2 (PatchInfoAnd p)] -> IO [Sealed2 (PatchInfoAnd p)]
- maybeFilterPatches :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> PatchFilter p
- getRelevantSubsequence :: (RepoPatch p, ApplyState p ~ Tree, a ~ PatchInfoAnd p) => Sealed (RL a wK) -> Repository p wR wU wR -> [FileName] -> IO (Sealed (RL a Origin))
- piTest :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO ()
- attemptCreatePatchIndex :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO ()
Documentation
doesPatchIndexExist :: FilePath -> IO Bool Source
check if patch-index exits for this repository
isPatchIndexDisabled :: FilePath -> IO Bool Source
check if noPatchIndex exists
isPatchIndexInSync :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO Bool Source
check if patch-index is in sync with repository
canUsePatchIndex :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO Bool Source
see if the default is to use patch index or not | creates Patch index, if it does not exist, and noPatchIndex is not set
canCreatePI :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO Bool Source
Checks whether a patch index can (and should) be created. If we are not in an old-fashioned repo, and if we haven't been told not to, then we should create a patch index if it doesn't already exist.
createPIWithInterrupt :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO () Source
createOrUpdatePatchIndexDisk :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO () Source
create or update patch index
deletePatchIndex :: FilePath -> IO () Source
dumpPatchIndex :: FilePath -> IO () Source
dumpPatchIndexFiles :: FilePath -> IO () Source
filterPatches :: (RepoPatch p, ApplyState p ~ Tree, a ~ PatchInfoAnd p) => Repository p wR wU wT -> [FilePath] -> [Sealed2 a] -> IO [Sealed2 a] Source
filter given patches so as to keep only the patches that modify the given files
type PatchFilter p = [FilePath] -> [Sealed2 (PatchInfoAnd p)] -> IO [Sealed2 (PatchInfoAnd p)] Source
maybeFilterPatches :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> PatchFilter p Source
If a patch index is available, filter given patches so as to keep only the patches that modify the given files. If none is available, return the original input.
getRelevantSubsequence :: (RepoPatch p, ApplyState p ~ Tree, a ~ PatchInfoAnd p) => Sealed (RL a wK) -> Repository p wR wU wR -> [FileName] -> IO (Sealed (RL a Origin)) Source
piTest :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO () Source
attemptCreatePatchIndex :: (RepoPatch p, ApplyState p ~ Tree) => Repository p wR wU wT -> IO () Source
Check if patch index can be created and build it with interrupt.