darcs-2.16.1: a distributed, interactive, smart revision control system

Safe HaskellNone
LanguageHaskell2010

Darcs.Repository.InternalTypes

Synopsis

Documentation

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

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) Source # 
Instance details

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 #

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

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

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

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

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

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

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

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

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