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

Safe HaskellNone
LanguageHaskell2010

Darcs.Patch.Rebase.Item

Synopsis

Documentation

data RebaseItem p wX wY where Source #

A single item in the rebase state consists of either a patch that is being edited, or a fixup that adjusts the context so that a subsequent patch that is being edited "makes sense".

ToEdit holds a patch that is being edited. The name (PatchInfo) of the patch will typically be the name the patch had before it was added to the rebase state; if it is moved back into the repository it must be given a fresh name to account for the fact that it will not necessarily have the same dependencies as the original patch. This is typically done by changing the Ignore-This junk.

Fixup adjusts the context so that a subsequent ToEdit patch is correct. Where possible, Fixup changes are commuted as far as possible into the rebase state, so any remaining ones will typically cause a conflict when the ToEdit patch is moved back into the repository.

Constructors

ToEdit :: Named p wX wY -> RebaseItem p wX wY 
Fixup :: RebaseFixup p wX wY -> RebaseItem p wX wY 
Instances
(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseItem p) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

showDict2 :: ShowDict (RebaseItem p wX wY) Source #

(PrimPatchBase p, PatchInspect p) => PatchInspect (RebaseItem p) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

(PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (RebaseItem p) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

readPatch' :: ParserM m => m (Sealed (RebaseItem p wX)) Source #

(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (RebaseItem p) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

showNicely :: RebaseItem p wX wY -> Doc Source #

description :: RebaseItem p wX wY -> Doc Source #

summary :: RebaseItem p wX wY -> Doc Source #

summaryFL :: FL (RebaseItem p) wX wY -> Doc Source #

thing :: RebaseItem p wX wY -> String Source #

things :: RebaseItem p wX wY -> String Source #

(PrimPatchBase p, PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (RebaseItem p) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

showPatch :: ShowPatchFor -> RebaseItem p wX wY -> Doc Source #

Check p => Check (RebaseItem p) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

isInconsistent :: RebaseItem p wX wY -> Maybe Doc Source #

(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseItem p wX) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

showDict1 :: ShowDict (RebaseItem p wX wX0) Source #

(Show2 p, Show2 (PrimOf p)) => Show (RebaseItem p wX wY) Source # 
Instance details

Defined in Darcs.Patch.Rebase.Item

Methods

showsPrec :: Int -> RebaseItem p wX wY -> ShowS #

show :: RebaseItem p wX wY -> String #

showList :: [RebaseItem p wX wY] -> ShowS #

simplifyPush :: (PrimPatchBase p, Commute p, FromPrim p, Effect p) => DiffAlgorithm -> RebaseFixup p wX wY -> FL (RebaseItem p) wY wZ -> Sealed (FL (RebaseItem p) wX) Source #

Given a list of rebase items, try to push a new fixup as far as possible into the list as possible, using both commutation and coalescing. If the fixup commutes past all the ToEdit patches then it is dropped entirely.

simplifyPushes :: (PrimPatchBase p, Commute p, FromPrim p, Effect p) => DiffAlgorithm -> FL (RebaseFixup p) wX wY -> FL (RebaseItem p) wY wZ -> Sealed (FL (RebaseItem p) wX) Source #

Like simplifyPush but for a list of fixups.