Searched refs:WorkRepoDir (Results 1 – 6 of 6) sorted by relevance
142 amInRepository (WorkRepoDir d) =199 amNotInRepository (WorkRepoDir d) = do218 WorkRepoDir d -> do
126 data WorkRepo = WorkRepoDir String | WorkRepoPossibleURL String | WorkRepoCurrentDir constructor
58 | WorkRepoDir String | WorkRepoUrl String | RemoteRepo String constructor
554 repoDir = singleStrArg [] ["repodir"] F.WorkRepoDir arg "DIRECTORY"556 where arg (F.WorkRepoDir s) = Just s
309 R.amNotInRepository (maybe WorkRepoCurrentDir WorkRepoDir (newRepo ? fs))
494 go (Just s) _ = WorkRepoDir s