Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Patch.Rebase.Legacy.Item
Synopsis
- data RebaseItem (p :: Type -> Type -> Type) wX wY where
- ToEdit :: forall (p :: Type -> Type -> Type) wX wY. Named p wX wY -> RebaseItem p wX wY
- Fixup :: forall (p :: Type -> Type -> Type) wX wY. RebaseFixup (PrimOf p) wX wY -> RebaseItem p wX wY
- toRebaseChanges :: forall (p :: Type -> Type -> Type) wX wY. RepoPatch p => FL (RebaseItem p) wX wY -> Sealed (FL (RebaseChange (PrimOf p)) wX)
Documentation
data RebaseItem (p :: Type -> Type -> Type) wX wY where #
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 or content 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 :: forall (p :: Type -> Type -> Type) wX wY. Named p wX wY -> RebaseItem p wX wY | |
Fixup :: forall (p :: Type -> Type -> Type) wX wY. RebaseFixup (PrimOf p) wX wY -> RebaseItem p wX wY |
Instances
(PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (RebaseItem p) # | |
Defined in Darcs.Patch.Rebase.Legacy.Item Methods readPatch' :: Parser (Sealed (RebaseItem p wX)) # | |
(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseItem p) # | |
Defined in Darcs.Patch.Rebase.Legacy.Item Methods showDict2 :: ShowDict (RebaseItem p wX wY) # | |
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseItem p wX) # | |
Defined in Darcs.Patch.Rebase.Legacy.Item Methods showDict1 :: Dict (Show (RebaseItem p wX wX0)) # | |
(Show2 p, Show2 (PrimOf p)) => Show (RebaseItem p wX wY) # | |
Defined in Darcs.Patch.Rebase.Legacy.Item Methods showsPrec :: Int -> RebaseItem p wX wY -> ShowS # show :: RebaseItem p wX wY -> String # showList :: [RebaseItem p wX wY] -> ShowS # |
toRebaseChanges :: forall (p :: Type -> Type -> Type) wX wY. RepoPatch p => FL (RebaseItem p) wX wY -> Sealed (FL (RebaseChange (PrimOf p)) wX) #