| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.Repository.InternalTypes
Synopsis
- data Repository (rt :: RepoType) (p :: * -> * -> *) wRecordedstate wUnrecordedstate wTentativestate
- data PristineType
- 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 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 # | |
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 Source #
Constructors
| NoPristine | |
| PlainPristine | |
| HashedPristine |
Instances
| Eq PristineType Source # | |
Defined in Darcs.Repository.InternalTypes | |
| Show PristineType Source # | |
Defined in Darcs.Repository.InternalTypes Methods showsPrec :: Int -> PristineType -> ShowS # show :: PristineType -> String # showList :: [PristineType] -> 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 #
repoFormat :: Repository rt p wR wU wT -> RepoFormat Source #
repoLocation :: Repository rt p wR wU wT -> String Source #
withRepoLocation :: Repository rt p wR wU wT -> IO a -> IO a Source #
repoPristineType :: Repository rt p wR wU wT -> PristineType 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 #
mkRepo :: String -> RepoFormat -> PristineType -> Cache -> Repository rt p wR wU wT Source #