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

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

Instances details

(PrimPatchBase p, PatchListFormat p, ReadPatch p) => ReadPatch (RebaseItem p) # |
Instance details Defined in Darcs.Patch.Rebase.Legacy.Item Methods readPatch' :: Parser (Sealed (RebaseItem p wX)) #
(Show2 p, Show2 (PrimOf p)) => Show2 (RebaseItem p) # |
Instance details Defined in Darcs.Patch.Rebase.Legacy.Item Methods showDict2 :: ShowDict (RebaseItem p wX wY) #
(Show2 p, Show2 (PrimOf p)) => Show1 (RebaseItem p wX) # |
Instance details 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) # |
Instance details 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) #