Darcs.Repository.InternalTypes

Documentation

data Repository (rt :: RepoType) (p :: * -> * -> *) wRecordedstate wUnrecordedstate wTentativestate

A Repository is a token representing the state of a repository on disk. It is parameterized by the patch type in the repository, and witnesses for the recorded state of the repository (i.e. what darcs get would retrieve), the unrecorded state (what's in the working tree now), and the tentative state, which represents work in progress that will eventually become the new recorded state unless something goes wrong.

Instances

Show (Repository rt p wRecordedstate wUnrecordedstate wTentativestate)

Defined in Darcs.Repository.InternalTypes

Methods

showsPrec :: Int -> Repository rt p wRecordedstate wUnrecordedstate wTentativestate -> ShowS

show :: Repository rt p wRecordedstate wUnrecordedstate wTentativestate -> String

showList :: [Repository rt p wRecordedstate wUnrecordedstate wTentativestate] -> ShowS

data PristineType

Constructors

NoPristine

PlainPristine

HashedPristine

Instances

Eq PristineType

Defined in Darcs.Repository.InternalTypes

Methods

(==) :: PristineType -> PristineType -> Bool

(/=) :: PristineType -> PristineType -> Bool

Show PristineType

Defined in Darcs.Repository.InternalTypes

Methods

showsPrec :: Int -> PristineType -> ShowS

show :: PristineType -> String

showList :: [PristineType] -> ShowS

repoCache :: Repository rt p wR wU wT -> Cache

modifyCache :: (Cache -> Cache) -> Repository rt p wR wU wT -> Repository rt p wR wU wT

repoFormat :: Repository rt p wR wU wT -> RepoFormat

repoLocation :: Repository rt p wR wU wT -> String

withRepoLocation :: Repository rt p wR wU wT -> IO a -> IO a

repoPristineType :: Repository rt p wR wU wT -> PristineType

unsafeCoerceRepoType :: Repository rt p wR wU wT -> Repository rt' p wR wU wT

unsafeCoercePatchType :: Repository rt p wR wU wT -> Repository rt p' wR wU wT

unsafeCoerceR :: Repository rt p wR wU wT -> Repository rt p wR' wU wT

unsafeCoerceU :: Repository rt p wR wU wT -> Repository rt p wR wU' wT

unsafeCoerceT :: Repository rt p wR wU wT -> Repository rt p wR wU wT'

mkRepo :: String -> RepoFormat -> PristineType -> Cache -> Repository rt p wR wU wT