Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Repository.Repair
Documentation
replayRepository :: forall (p :: Type -> Type -> Type) (rt :: AccessType) wU wR a. (RepoPatch p, ApplyState p ~ Tree) => DiffAlgorithm -> Repository rt p wU wR -> Verbosity -> (RepositoryConsistency p wR -> IO a) -> IO a Source #
checkIndex :: forall (p :: Type -> Type -> Type) (rt :: AccessType) wU wR. (RepoPatch p, ApplyState p ~ Tree) => Repository rt p wU wR -> Bool -> IO Bool Source #
replayRepositoryInTemp :: forall (p :: Type -> Type -> Type) (rt :: AccessType) wU wR. (RepoPatch p, ApplyState p ~ Tree) => DiffAlgorithm -> Repository rt p wU wR -> Verbosity -> IO (RepositoryConsistency p wR) Source #
data RepositoryConsistency (p :: Type -> Type -> Type) wR Source #
Constructors
RepositoryConsistency | |