Documentation

finalizeTentativeUnrevert :: IO () Source #

revertTentativeUnrevert :: IO () Source #

writeUnrevert :: (RepoPatch p, ApplyState p ~ Tree) => PatchSet p Origin wR -> FL (PrimOf p) wR wX -> IO () Source #

readUnrevert :: RepoPatch p => PatchSet p Origin wR -> IO (SealedPatchSet p Origin) Source #

removeFromUnrevertContext :: forall p wR wX. (RepoPatch p, ApplyState p ~ Tree) => PatchSet p Origin wR -> FL (PatchInfoAnd p) wX wR -> IO () Source #