| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.Rebase.Legacy.Wrapped
Synopsis
- data WrappedNamed p wX wY where
- NormalP :: !(Named p wX wY) -> WrappedNamed p wX wY
- RebaseP :: (PrimPatchBase p, FromPrim p, Effect p) => !PatchInfo -> !(Suspended p wX) -> WrappedNamed p wX wX
- fromRebasing :: WrappedNamed p wX wY -> Named p wX wY
Documentation
data WrappedNamed p wX wY where Source #
A patch that lives in a repository where an old-style rebase is in
progress. Such a repository will consist of Normal patches
along with exactly one Suspended patch.
It is here only so that we can upgrade an old-style rebase.
NormalP represents a normal patch within a respository where a
rebase is in progress. NormalP 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
RebaseP patch and setting the appropriate format flag.
Note that the witnesses are such that the RebaseP
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.
Constructors
| NormalP :: !(Named p wX wY) -> WrappedNamed p wX wY | |
| RebaseP :: (PrimPatchBase p, FromPrim p, Effect p) => !PatchInfo -> !(Suspended p wX) -> WrappedNamed p wX wX |
Instances
| RepoPatch p => ReadPatch (WrappedNamed p) Source # | |
Defined in Darcs.Patch.Rebase.Legacy.Wrapped Methods readPatch' :: Parser (Sealed (WrappedNamed p wX)) Source # | |
fromRebasing :: WrappedNamed p wX wY -> Named p wX wY Source #