Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Darcs.Patch.Named
Synopsis
- data Named p wX wY where
- infopatch :: forall p wX wY. FromPrim p => PatchInfo -> FL (PrimOf p) wX wY -> Named p wX wY
- adddeps :: Named p wX wY -> [PatchInfo] -> Named p wX wY
- anonymous :: FromPrim p => FL (PrimOf p) wX wY -> IO (Named p wX wY)
- class HasDeps p where
- patch2patchinfo :: Named p wX wY -> PatchInfo
- patchname :: Named p wX wY -> String
- patchcontents :: Named p wX wY -> FL p wX wY
- fmapNamed :: (forall wA wB. p wA wB -> q wA wB) -> Named p wX wY -> Named q wX wY
- fmapFL_Named :: (FL p wA wB -> FL q wC wD) -> Named p wA wB -> Named q wC wD
- mergerIdNamed :: MergeFn p1 p2 -> MergeFn p1 (Named p2)
- data ShowDepsFormat
- showDependencies :: ShowDepsFormat -> [PatchInfo] -> Doc
Documentation
The Named
type adds a patch info about a patch, that is a name.
NamedP info deps p
represents patch p
with name
info
. deps
is a list of dependencies added at the named patch
level, compared with the unnamed level (ie, dependencies added with
darcs record --ask-deps
).
Instances
Apply p => Apply (Named p) # | |
Defined in Darcs.Patch.Named Associated Types type ApplyState (Named p) :: (Type -> Type) -> Type # Methods apply :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m () # unapply :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m () # | |
Commute p => Commute (Named p) # | |
(Commute p, Conflict p) => Conflict (Named p) # | This instance takes care of handling the interaction between conflict
resolution and explicit dependencies. By definition, a conflict counts as
resolved if another patch depends on it. This principle extends to explicit
dependencies between This means we count any patch inside a |
Defined in Darcs.Patch.Named Methods resolveConflicts :: RL (Named p) wO wX -> RL (Named p) wX wY -> [ConflictDetails (PrimOf (Named p)) wY] # | |
PatchDebug p => PatchDebug (Named p) # | |
Defined in Darcs.Patch.Named Methods patchDebugDummy :: Named p wX wY -> () # | |
Effect p => Effect (Named p) # | |
IsHunk (Named p) # | |
PatchListFormat (Named p) # | |
Defined in Darcs.Patch.Named Methods patchListFormat :: ListFormat (Named p) # | |
PrimPatchBase p => PrimPatchBase (Named p) # | |
Defined in Darcs.Patch.Named | |
IdEq2 (Named p) # | |
Ident (Named p) # | |
PatchInspect p => PatchInspect (Named p) # | |
Defined in Darcs.Patch.Named Methods listTouchedFiles :: Named p wX wY -> [AnchoredPath] # hunkMatches :: (ByteString -> Bool) -> Named p wX wY -> Bool # | |
CleanMerge p => CleanMerge (Named p) # | |
Defined in Darcs.Patch.Named | |
Merge p => Merge (Named p) # | |
HasDeps (Named p) # | |
Defined in Darcs.Patch.Named | |
(ReadPatch p, PatchListFormat p) => ReadPatch (Named p) # | |
Defined in Darcs.Patch.Named Methods readPatch' :: Parser (Sealed (Named p wX)) # | |
Check p => Check (Named p) # | |
Defined in Darcs.Patch.Named Methods isInconsistent :: Named p wX wY -> Maybe Doc # | |
RepairToFL p => Repair (Named p) # | |
Defined in Darcs.Patch.Named Methods applyAndTryToFix :: ApplyMonad (ApplyState (Named p)) m => Named p wX wY -> m (Maybe (String, Named p wX wY)) # | |
(Apply p, IsHunk p, PatchListFormat p, ShowContextPatch p) => ShowContextPatch (Named p) # | |
Defined in Darcs.Patch.Named Methods showContextPatch :: ApplyMonad (ApplyState (Named p)) m => ShowPatchFor -> Named p wX wY -> m Doc # | |
(Summary p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p) # | |
(PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (Named p) # | |
Defined in Darcs.Patch.Named Methods showPatch :: ShowPatchFor -> Named p wX wY -> Doc # | |
Summary p => Summary (Named p) # | |
Defined in Darcs.Patch.Named Methods conflictedEffect :: Named p wX wY -> [IsConflictedPrim (PrimOf (Named p))] # | |
(PrimPatchBase p, Unwind p) => Unwind (Named p) # | |
Defined in Darcs.Patch.Named | |
Eq2 (Named p) # | |
Show2 p => Show2 (Named p) # | |
Defined in Darcs.Patch.Named | |
(Commute p, Conflict p) => Conflict (PatchInfoAnd rt p) # | |
Defined in Darcs.Patch.PatchInfoAnd Methods resolveConflicts :: RL (PatchInfoAnd rt p) wO wX -> RL (PatchInfoAnd rt p) wX wY -> [ConflictDetails (PrimOf (PatchInfoAnd rt p)) wY] # | |
RepairToFL p => Repair (PatchInfoAnd rt p) # | |
Defined in Darcs.Patch.PatchInfoAnd Methods applyAndTryToFix :: ApplyMonad (ApplyState (PatchInfoAnd rt p)) m => PatchInfoAnd rt p wX wY -> m (Maybe (String, PatchInfoAnd rt p wX wY)) # | |
Show2 p => Show1 (Named p wX) # | |
Show2 p => Show2 (PatchInfoAnd rt p) # | |
Defined in Darcs.Patch.PatchInfoAnd Methods showDict2 :: ShowDict (PatchInfoAnd rt p wX wY) # | |
Show2 p => Show (Named p wX wY) # | |
Show2 p => Show1 (PatchInfoAnd rt p wX) # | |
Defined in Darcs.Patch.PatchInfoAnd Methods showDict1 :: Dict (Show (PatchInfoAnd rt p wX wX0)) # | |
type ApplyState (Named p) # | |
Defined in Darcs.Patch.Named | |
type PrimOf (Named p) # | |
Defined in Darcs.Patch.Named | |
type PatchId (Named p) # | |
Defined in Darcs.Patch.Named |
This slightly ad-hoc class is here so we can call getdeps
with patch
types that wrap a Named
, such as RebaseChange
.
Instances
HasDeps (Named p) # | |
Defined in Darcs.Patch.Named | |
HasDeps (RebaseChange prim) # | |
Defined in Darcs.Patch.Rebase.Change Methods getdeps :: RebaseChange prim wX wY -> [PatchInfo] # |
patch2patchinfo :: Named p wX wY -> PatchInfo #
patchcontents :: Named p wX wY -> FL p wX wY #
mergerIdNamed :: MergeFn p1 p2 -> MergeFn p1 (Named p2) #
data ShowDepsFormat #
Constructors
ShowDepsVerbose | |
ShowDepsSummary |
Instances
Eq ShowDepsFormat # | |
Defined in Darcs.Patch.Named Methods (==) :: ShowDepsFormat -> ShowDepsFormat -> Bool # (/=) :: ShowDepsFormat -> ShowDepsFormat -> Bool # |
showDependencies :: ShowDepsFormat -> [PatchInfo] -> Doc #