Darcs.Repository.Rebase

Createreadwrite rebase patch

readTentativeRebase :: RepoPatch p => Repository rt p wU wR -> IO (Suspended p wR)

writeTentativeRebase :: RepoPatch p => Repository rt p wU wR -> Suspended p wR -> IO ()

withTentativeRebase :: RepoPatch p => Repository rt p wU wR -> Repository rt p wU wR' -> (Suspended p wR -> Suspended p wR') -> IO ()

readRebase :: RepoPatch p => Repository rt p wU wR -> IO (Suspended p wR)

finalizeTentativeRebase :: IO ()

revertTentativeRebase :: RepoPatch p => Repository rt p wU wR -> IO ()

withManualRebaseUpdate :: RepoPatch p => Repository rt p wU wR -> (Repository rt p wU wR -> IO (Repository rt p wU wR', FL (RebaseFixup (PrimOf p)) wR' wR, x)) -> IO (Repository rt p wU wR', x)

Handle rebase format and status

checkHasRebase :: Repository rt p wU wR -> IO ()

Fail unless we already have some suspended patches. Not essential, since all rebase commands should be happy to work with an empty rebase state.

displayRebaseStatus :: RepoPatch p => Repository rt p wU wR -> IO ()

Report the rebase status if there is (still) a rebase in progress after the command has finished running. To be called via finally for every RepoJob.

updateRebaseFormat :: RepoPatch p => Repository 'RW p wU wR -> IO ()

Rebase format update for all commands that modify the repo, except rebase upgrade. This is called by finalizeRepositoryChanges.

Handle old-style rebase

extractOldStyleRebase :: forall p wA wB. RepoPatch p => RL (PiaW p) wA wB -> Maybe ((RL (PatchInfoAnd p) :> Dup (Suspended p)) wA wB)

checkOldStyleRebaseStatus :: Repository rt p wU wR -> IO ()

Fail if there is an old-style rebase present. To be called initially for every command except rebase upgrade.