Safe Haskell | Safe-Infered |
---|
- data Named p x y where
- infopatch :: Patchy p => PatchInfo -> FL p x y -> Named p x y
- adddeps :: Named p x y -> [PatchInfo] -> Named p x y
- namepatch :: Patchy p => String -> String -> String -> [String] -> FL p x y -> IO (Named p x y)
- anonymous :: Patchy p => FL p x y -> IO (Named p x y)
- getdeps :: Named p x y -> [PatchInfo]
- patch2patchinfo :: Named p x y -> PatchInfo
- patchname :: Named p x y -> String
- patchcontents :: Named p x y -> FL p x y
- fmapNamed :: (forall a b. p a b -> q a b) -> Named p x y -> Named q x y
- fmapFL_Named :: (FL p x y -> FL q x y) -> Named p x y -> Named q x y
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
).
(PatchListFormat p, ShowPatch p) => Show2 (Named p) | |
PatchListFormat (Named p) | |
(Commute p, MyEq p) => MyEq (Named p) | |
Commute p => Commute (Named p) | |
(Commute p, Invert p) => Invert (Named p) | |
Merge p => Merge (Named p) | |
PatchInspect p => PatchInspect (Named p) | |
(ReadPatch p, PatchListFormat p) => ReadPatch (Named p) | |
Apply p => Apply (Named p) | |
RepairToFL p => Repair (Named p) | |
Check p => Check (Named p) | |
(Apply p, CommuteNoConflicts p, Conflict p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p) => ShowPatch (Named p) | |
(PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (Named p) | |
(CommuteNoConflicts p, Conflict p, IsHunk p, PatchListFormat p, PrimPatchBase p, Patchy p, ~ ((* -> *) -> *) (ApplyState p) Tree) => Patchy (Named p) | |
IsHunk (Named p) | |
PrimPatchBase p => PrimPatchBase (Named p) | |
Effect p => Effect (Named p) | |
(CommuteNoConflicts p, Conflict p) => Conflict (Named p) | |
(PatchListFormat p, ShowPatch p) => Show1 (Named p x) | |
(PatchListFormat p, ShowPatch p) => Show (Named p x y) |
namepatch :: Patchy p => String -> String -> String -> [String] -> FL p x y -> IO (Named p x y)Source
patch2patchinfo :: Named p x y -> PatchInfoSource
patchcontents :: Named p x y -> FL p x ySource