- newtype RepoFormat = RF [[ByteString]]
- data RepoProperty
- = Darcs1_0
- | Darcs2
- | HashedInventory
- identifyRepoFormat :: String -> IO (Either String RepoFormat)
- createRepoFormat :: [DarcsFlag] -> RepoFormat
- writeRepoFormat :: RepoFormat -> FilePath -> IO ()
- writeProblem :: RepoFormat -> Maybe String
- readProblem :: RepoFormat -> Maybe String
- readfromAndWritetoProblem :: RepoFormat -> RepoFormat -> Maybe String
- formatHas :: RepoProperty -> RepoFormat -> Bool
- formatHasTogether :: [RepoProperty] -> RepoFormat -> Bool
Documentation
newtype RepoFormat Source
RepoFormat
is the representation of the format of a
repository. Each sublist corresponds to a line in the format
file. Each line is decomposed into words.
RF [[ByteString]] |
identifyRepoFormat :: String -> IO (Either String RepoFormat)Source
identifyRepoFormat URL
identifies the format of the repository
at the given address. Return Left reason
if it fails, where
reason
explains why we weren't able to identify the format.
writeRepoFormat :: RepoFormat -> FilePath -> IO ()Source
writeRepoFormat
writes the repo format to the given file.
writeProblem :: RepoFormat -> Maybe StringSource
writeProblem from
tells if we can write to a repo in format form
.
it returns Nothing
if there's no problem writing to such a repository.
readProblem :: RepoFormat -> Maybe StringSource
readProblem from
tells if we can write to a repo in format form
.
it returns Nothing
if there's no problem reading from such a repository.
readfromAndWritetoProblem :: RepoFormat -> RepoFormat -> Maybe StringSource
writeProblem from
tells if we can read and write to a repo in
format form
. it returns Nothing
if there's no problem reading
and writing to such a repository.
formatHas :: RepoProperty -> RepoFormat -> BoolSource
formatHasTogether :: [RepoProperty] -> RepoFormat -> BoolSource