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

Safe Haskell | Safe-Inferred
Language | Haskell2010

Darcs.Repository.InternalTypes

Synopsis

- data Repository (rt :: RepoType) (p :: * -> * -> *) wRecordedstate wUnrecordedstate wTentativestate
- data PristineType
  - = NoPristine
  - | PlainPristine
  - | HashedPristine
- 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

# 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

Instances details

Show (Repository rt p wRecordedstate wUnrecordedstate wTentativestate) # |
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 #

data PristineType #

Constructors

NoPristine |
PlainPristine |
HashedPristine |

#### Instances

Instances details

Show PristineType # |
Instance details Defined in Darcs.Repository.InternalTypes Methods showsPrec :: Int -> PristineType -> ShowS # show :: PristineType -> String # showList :: [PristineType] -> ShowS #
Eq PristineType # |
Instance details Defined in Darcs.Repository.InternalTypes Methods (==) :: PristineType -> PristineType -> Bool # (/=) :: PristineType -> PristineType -> Bool #

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 #