Darcs.Patch.Core

Documentation

data Patch where

Constructors

PP :: Prim -> Patch

ComP :: FL Patch -> Patch

Merger :: Patch -> RL Patch -> Patch -> Patch -> Patch

Regrem :: Patch -> RL Patch -> Patch -> Patch -> Patch

Instances

Show Patch

Show2 Patch

MyEq Patch

Invert Patch

ReadPatch Patch

ShowPatch Patch

Commute Patch

Apply Patch

Patchy Patch

Effect Patch

Conflict Patch

FromPrims Patch

FromPrim Patch

RepoPatch Patch

RepoPatchBase Patch

data Named p 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] -> !p -> Named p

Instances

(Conflict p, ShowPatch p) => Show (Named p)

MyEq p => MyEq (Named p)

Invert p => Invert (Named p)

ReadPatch p => ReadPatch (Named p)

(Conflict p, ShowPatch p) => ShowPatch (Named p)

Commute p => Commute (Named p)

Apply p => Apply (Named p)

(Conflict p, Effect p, Patchy p) => Patchy (Named p)

Effect p => Effect (Named p)

Conflict p => Conflict (Named p)

joinPatchesFL :: FL Patch -> Patch

concatFL :: FL (FL a) -> FL a

flattenFL :: Patch -> FL Patch

nullP :: Patch -> EqCheck

isNullPatch :: Patch -> Bool

infopatch :: Patchy p => PatchInfo -> p -> Named p

nFn :: FilePath -> FilePath

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

namepatch :: Patchy p => String -> String -> String -> [String] -> p -> IO (Named p)

anonymous :: Patchy p => p -> IO (Named p)

mergerUndo :: Patch -> Patch

isMerger :: Patch -> Bool

getdeps :: Named p -> [PatchInfo]

patch2patchinfo :: Named p -> PatchInfo

patchname :: Named p -> String

patchcontents :: Named p -> p