Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Rebase.Container

Synopsis

Documentation

data Suspended p wX wY where Source #

A patch that lives in a repository where a rebase is in progress. Such a repository will consist of Normal patches along with exactly one Suspended patch.

Most rebase operations will require the Suspended patch to be at the end of the repository.

Normal represents a normal patch within a respository where a rebase is in progress. Normal p is given the same on-disk representation as p, so a repository can be switched into and out of rebasing mode simply by adding or removing a Suspended patch and setting the appropriate format flag.

The single Suspended patch contains the entire rebase state, in the form of RebaseItems.

Note that the witnesses are such that the Suspended patch has no effect on the context of the rest of the repository; in a sense the patches within it are dangling off to one side from the main repository.

See Note [Rebase representation] in the Rebase for a discussion of the design choice to embed the rebase state in a single patch.

Constructors

Items :: FL (RebaseItem p) wX wY -> Suspended p wX wX

Instances

(Show2 p, Show2 (PrimOf p)) => Show2 (Suspended p) Source #
Methods showDict2 :: ShowDict (Suspended p wX wY) Source #
(PrimPatchBase p, PatchInspect p) => PatchInspect (Suspended p) Source #
Methods listTouchedFiles :: Suspended p wX wY -> [FilePath] Source # hunkMatches :: (ByteString -> Bool) -> Suspended p wX wY -> Bool Source #
(PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (Suspended p) Source #
Methods readPatch' :: ParserM m => m (Sealed (Suspended p wX)) Source #
Apply p => Apply (Suspended p) Source #
Associated Types type ApplyState (Suspended p :: * -> * -> ) :: ( -> ) -> Source # Methods apply :: ApplyMonad (ApplyState (Suspended p)) m => Suspended p wX wY -> m () Source #
Apply p => RepairToFL (Suspended p) Source #
Methods applyAndTryToFixFL :: ApplyMonad (ApplyState (Suspended p)) m => Suspended p wX wY -> m (Maybe (String, FL (Suspended p) wX wY)) Source #
Apply p => Repair (Suspended p) Source #
Methods applyAndTryToFix :: ApplyMonad (ApplyState (Suspended p)) m => Suspended p wX wY -> m (Maybe (String, Suspended p wX wY)) Source #
Check p => Check (Suspended p) Source #
Methods isInconsistent :: Suspended p wX wY -> Maybe Doc Source #
(PrimPatchBase p, PatchListFormat p, Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, ShowPatch p) => ShowPatch (Suspended p) Source #
Methods showNicely :: Suspended p wX wY -> Doc Source # showContextPatch :: (Monad m, ApplyMonad (ApplyState (Suspended p)) m) => Suspended p wX wY -> m Doc Source # description :: Suspended p wX wY -> Doc Source # summary :: Suspended p wX wY -> Doc Source # summaryFL :: FL (Suspended p) wX wY -> Doc Source # thing :: Suspended p wX wY -> String Source # things :: Suspended p wX wY -> String Source #
(PrimPatchBase p, PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (Suspended p) Source #
Methods showPatch :: Suspended p wX wY -> Doc Source #
PrimPatchBase p => PrimPatchBase (Suspended p) Source #
Associated Types type PrimOf (Suspended p :: * -> * -> ) :: -> * -> * Source #
Effect (Suspended p) Source #
Methods effect :: Suspended p wX wY -> FL (PrimOf (Suspended p)) wX wY Source # effectRL :: Suspended p wX wY -> RL (PrimOf (Suspended p)) wX wY Source #
Conflict p => Conflict (Suspended p) Source #
Methods resolveConflicts :: Suspended p wX wY -> [[Sealed (FL (PrimOf (Suspended p)) wY)]] Source # conflictedEffect :: Suspended p wX wY -> [IsConflictedPrim (PrimOf (Suspended p))] Source #
(Show2 p, Show2 (PrimOf p)) => Show1 (Suspended p wX) Source #
Methods showDict1 :: ShowDict (Suspended p wX wX) Source #
(Show2 p, Show2 (PrimOf p)) => Show (Suspended p wX wY) Source #
Methods showsPrec :: Int -> Suspended p wX wY -> ShowS # show :: Suspended p wX wY -> String # showList :: [Suspended p wX wY] -> ShowS #
type ApplyState (Suspended p) Source #
type ApplyState (Suspended p) = ApplyState p
type PrimOf (Suspended p) Source #
type PrimOf (Suspended p) = PrimOf p

countToEdit :: Suspended p wX wY -> Int Source #

simplifyPush :: (PrimPatchBase p, Commute p, FromPrim p, Effect p) => DiffAlgorithm -> RebaseFixup p wX wY -> Suspended p wY wY -> Suspended p wX wX Source #

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

addFixupsToSuspended :: (PrimPatchBase p, Commute p, FromPrim p, Effect p) => Named p wX wY -> Suspended p wY wY -> Suspended p wX wX Source #

add fixups for the name and effect of a patch to a Suspended

removeFixupsFromSuspended :: (PrimPatchBase p, Commute p, FromPrim p, Effect p) => Named p wX wY -> Suspended p wX wX -> Suspended p wY wY Source #

remove fixups (actually, add their inverse) for the name and effect of a patch to a Suspended