Darcs.Patch.Named

Documentation

data Named p wX wY where

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).

Constructors

NamedP :: !PatchInfo -> ![PatchInfo] -> !(FL p wX wY) -> Named p wX wY

Instances

Show2 p => Show2 (Named p)

(Commute p, MyEq p) => MyEq (Named p)

PatchListFormat (Named p)

PatchInspect p => PatchInspect (Named p)

PatchDebug p => PatchDebug (Named p)

(ReadPatch p, PatchListFormat p) => ReadPatch (Named p)

Invert p => Invert (Named p)

(Commute p, NameHack p) => Commute (Named p)

(Merge p, NameHack p) => Merge (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)

(Patchy p, NameHack 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)

Show2 p => Show1 (Named p wX)

Show2 p => Show (Named p wX wY)

type ApplyState (Named p) = ApplyState p

type PrimOf (Named p) = PrimOf p

infopatch :: PatchInfo -> FL p wX wY -> Named p wX wY

adddeps :: Named p wX wY -> [PatchInfo] -> Named p wX wY

namepatch :: String -> String -> String -> [String] -> FL p wX wY -> IO (Named p wX wY)

anonymous :: FL p wX wY -> IO (Named p wX wY)

getdeps :: Named p wX wY -> [PatchInfo]

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

commuterIdNamed :: CommuteFn p1 p2 -> CommuteFn p1 (Named p2)

commuterNamedId :: CommuteFn p1 p2 -> CommuteFn (Named p1) p2

mergerIdNamed :: MergeFn p1 p2 -> MergeFn p1 (Named p2)