Darcs.Repository.Format

Documentation

newtype RepoFormat

Representation of the format of a repository. Each sublist corresponds to a line in the format file. Currently all lines are expected to be singleton words.

Constructors

RF [[RepoProperty]]

Instances

Show RepoFormat

data RepoProperty

Constructors

Darcs1

Darcs2

HashedInventory

NoWorkingDir

RebaseInProgress

UnknownFormat String

Instances

Eq RepoProperty

Show RepoProperty

identifyRepoFormat :: String -> IO RepoFormat

Identify the format of the repository at the given location (directory, URL, or SSH path). Fails if we weren't able to identify the format.

tryIdentifyRepoFormat :: String -> IO (Either String RepoFormat)

Identify the format of the repository at the given location (directory, URL, or SSH path). Return Left reason if it fails, where reason explains why we weren't able to identify the format. Note that we do no verification of the format, which is handled by readProblem or writeProblem on the resulting RepoFormat.

createRepoFormat :: Bool -> WithWorkingDir -> RepoFormat

createRepoFormat useFormat1 useNoWorkingDir create a repo format

writeRepoFormat :: RepoFormat -> FilePath -> IO ()

Write the repo format to the given file.

writeProblem :: RepoFormat -> Maybe String

writeProblem form tells if we can write to a repo in format form, first checking if we can read that repo It returns Nothing if there's no problem writing to such a repository.

readProblem :: RepoFormat -> Maybe String

readProblem source returns Just an error message if we cannot read from a repo in format source, or Nothing if there's no such problem.

transferProblem :: RepoFormat -> RepoFormat -> Maybe String

transferProblem source target returns Just an error message if we cannot transfer patches from a repo in format source to a repo in format target, or Nothing if there are no such problem.

formatHas :: RepoProperty -> RepoFormat -> Bool

Is a given property contained within a given format?

addToFormat :: RepoProperty -> RepoFormat -> RepoFormat

Add a single property to an existing format.

removeFromFormat :: RepoProperty -> RepoFormat -> RepoFormat

Remove a single property from an existing format.