#include "gadts.h"
module Darcs.Patch.TouchesFiles ( look_touch, choose_touching,
select_touching,
deselect_not_touching, select_not_touching,
) where
import Data.List ( sort, isSuffixOf )
import Darcs.Patch.Choices ( PatchChoices, Tag, TaggedPatch,
patchChoices, tag, getChoices,
forceFirsts, forceLasts, tpPatch,
)
import Darcs.Patch ( Patchy, applyToFilepaths, listTouchedFiles )
import Darcs.Witnesses.Ordered ( FL(..), (:>)(..), mapFL_FL, (+>+) )
import Darcs.Witnesses.Sealed ( Sealed, seal )
select_touching :: Patchy p => [FilePath] -> PatchChoices p C(x y) -> PatchChoices p C(x y)
select_touching [] pc = pc
select_touching files pc = forceFirsts xs pc
where ct :: Patchy p => [FilePath] -> FL (TaggedPatch p) C(x y) -> [Tag]
ct _ NilFL = []
ct fs (tp:>:tps) = case look_touch fs (tpPatch tp) of
(True, fs') -> tag tp:ct fs' tps
(False, fs') -> ct fs' tps
xs = case getChoices pc of
_ :> mc :> lc -> ct (map fix files) (mc +>+ lc)
deselect_not_touching :: Patchy p => [FilePath] -> PatchChoices p C(x y) -> PatchChoices p C(x y)
deselect_not_touching [] pc = pc
deselect_not_touching files pc = forceLasts xs pc
where ct :: Patchy p => [FilePath] -> FL (TaggedPatch p) C(x y) -> [Tag]
ct _ NilFL = []
ct fs (tp:>:tps) = case look_touch fs (tpPatch tp) of
(True, fs') -> ct fs' tps
(False, fs') -> tag tp:ct fs' tps
xs = case getChoices pc of
fc :> mc :> _ -> ct (map fix files) (fc +>+ mc)
select_not_touching :: Patchy p => [FilePath] -> PatchChoices p C(x y) -> PatchChoices p C(x y)
select_not_touching [] pc = pc
select_not_touching files pc = forceFirsts xs pc
where ct :: Patchy p => [FilePath] -> FL (TaggedPatch p) C(x y) -> [Tag]
ct _ NilFL = []
ct fs (tp:>:tps) = case look_touch fs (tpPatch tp) of
(True, fs') -> ct fs' tps
(False, fs') -> tag tp:ct fs' tps
xs = case getChoices pc of
fc :> mc :> _ -> ct (map fix files) (fc +>+ mc)
fix :: FilePath -> FilePath
fix f | "/" `isSuffixOf` f = fix $ init f
fix "" = "."
fix "." = "."
fix f = "./" ++ f
choose_touching :: Patchy p => [FilePath] -> FL p C(x y) -> Sealed (FL p C(x))
choose_touching [] p = seal p
choose_touching files p = case getChoices $ select_touching files $ patchChoices p of
fc :> _ :> _ -> seal $ mapFL_FL tpPatch fc
look_touch :: Patchy p => [FilePath] -> p C(x y) -> (Bool, [FilePath])
look_touch fs p = (any (\tf -> any (affects tf) fs) (listTouchedFiles p)
|| fs' /= fs, fs')
where affects :: FilePath -> FilePath -> Bool
affects touched f = touched == f
|| touched `isSubPathOf` f
|| f `isSubPathOf` touched
isSubPathOf :: FilePath -> FilePath -> Bool
isSubPathOf sub path = case splitAt (length sub) path of
(path', '/':_) -> path' == sub
_ -> False
fs' = sort $ applyToFilepaths p fs