Darcs.Repository.Format
- 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
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.
Constructors
| RF [[ByteString]] |
Instances
data RepoProperty
Constructors
| Darcs1_0 | |
| Darcs2 | |
| HashedInventory |
identifyRepoFormat :: String -> IO (Either String RepoFormat)
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.
createRepoFormat :: [DarcsFlag] -> RepoFormat
writeRepoFormat :: RepoFormat -> FilePath -> IO ()
writeRepoFormat writes the repo format to the given file.
writeProblem :: RepoFormat -> Maybe String
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 String
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 String
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 -> Bool
formatHasTogether :: [RepoProperty] -> RepoFormat -> Bool