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 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.
Constructors
| RF [[ByteString]] |
Instances
data RepoProperty Source
Constructors
| Darcs1_0 | |
| Darcs2 | |
| HashedInventory |
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