Darcs.Patch

Synopsis

Documentation

class (Patchy p, Effect p, FromPrims p, Conflict p) => RepoPatch p Source

Instances

RepoPatch Patch
RepoPatchBase p => RepoPatch (FL p)

data Prim Source

data Patch Source

Instances

Show 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 RealPatch Source

Duplicate x: This patch has no effect since x is already present in the repository

Etacilpud x: invert (Duplicate x)

Normal prim: A primitive patch

Conflictor ix xx x: ix is the set of patches:

that conflict with x and also conflict with another patch in the repository
that conflict with a patch that conflict with x

xx is the sequence of patches that conflict *only* with x

x is the current patch

ix and x are stored as Non objects, which include any necessary context to uniquely define the patch that is referred to.

InvConflictor ix xx x: like invert (Conflictor ix xx x)

data Named p Source

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

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

class (Apply p, Commute p, ShowPatch p, ReadPatch p, Invert p) => Patchy p Source

Instances

Patchy Prim
Patchy Patch
Patchy RealPatch
(Conflict p, Patchy p) => Patchy (RL p)
(Conflict p, Patchy p) => Patchy (FL p)
(Conflict p, Effect p, Patchy p) => Patchy (Named p)
RepoPatch p => Patchy (PatchInfoAnd p)

flattenFL :: Patch -> FL Patch Source

joinPatches :: FromPrims p => FL p -> pSource

fromPrim :: FromPrim p => Prim -> pSource

fromPrims :: FromPrims p => FL Prim -> pSource

isNullPatch :: Patch -> Bool Source

nullP :: Patch -> EqCheck Source

rmfile :: FilePath -> Prim Source

addfile :: FilePath -> Prim Source

rmdir :: FilePath -> Prim Source

adddir :: FilePath -> Prim Source

move :: FilePath -> FilePath -> Prim Source

hunk :: FilePath -> Int -> [ByteString] -> [ByteString] -> Prim Source

tokreplace :: FilePath -> String -> String -> String -> Prim Source

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

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

binary :: FilePath -> ByteString -> ByteString -> Prim Source

description :: ShowPatch p => p -> Doc Source

showContextPatch :: ShowPatch p => p -> TreeIO Doc Source

showPatch :: ShowPatch p => p -> Doc Source

showNicely :: ShowPatch p => p -> Doc Source

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

changepref :: String -> String -> String -> Prim Source

thing :: ShowPatch p => p -> String Source

things :: ShowPatch p => p -> String Source

isSimilar :: Prim -> Prim -> Bool Source

Tells you if two patches are in the same category, human-wise. Currently just returns true if they are filepatches on the same file.

primIsAddfile :: Prim -> Bool Source

primIsHunk :: Prim -> Bool Source

primIsSetpref :: Prim -> Bool Source

merger :: String -> Patch -> Patch -> Patch Source

isMerger :: Patch -> Bool Source

merge :: Commute p => (p :\/: p) -> p :/\: pSource

commute :: Commute p => (p :> p) -> Maybe (p :> p)Source

listTouchedFiles :: Commute p => p -> [FilePath]Source

hunkMatches :: Commute p => (ByteString -> Bool) -> p -> Bool Source

unravel :: Patch -> [FL Prim]Source

elegantMerge :: (Patch :\/: Patch) -> Maybe (Patch :/\: Patch)Source

resolveConflicts :: Conflict p => p -> [[Sealed (FL Prim)]]Source

class Effect p whereSource

Patches whose concrete effect which can be expressed as a list of primitive patches.

A minimal definition would be either of effect or effectRL.

Methods

effect :: p -> FL Prim Source

Instances

Effect Prim
Effect Patch
Effect RealPatch
Effect p => Effect (RL p)
Effect p => Effect (FL p)
Effect p => Effect (Named p)
Effect p => Effect (PatchInfoAnd p)

primIsBinary :: Prim -> Bool Source

gzWritePatch :: ShowPatch p => FilePath -> p -> IO ()Source

writePatch :: ShowPatch p => FilePath -> p -> IO ()Source

primIsAdddir :: Prim -> Bool Source

invert :: Invert p => p -> pSource

invertFL :: Invert p => FL p -> RL pSource

invertRL :: Invert p => RL p -> FL pSource

identity :: Invert p => pSource

commuteFL :: Commute p => (p :> FL p) -> Either (Sealed2 p) (FL p :> p)Source

commuteRL :: Commute p => (RL p :> p) -> Maybe (p :> RL p)Source

readPatch :: ReadPatch p => ByteString -> Maybe (Sealed p, ByteString)Source

canonize :: Prim -> FL Prim Source

sortCoalesceFL :: FL Prim -> FL Prim Source

sortCoalesceFL ps coalesces as many patches in ps as possible, sorting the results according to the scheme defined in comparePrim

tryToShrink :: FL Prim -> FL Prim Source

applyToSlurpy :: (Apply p, Monad m) => p -> Slurpy -> m Slurpy Source

patchname :: Named p -> String Source

patchcontents :: Named p -> pSource

applyToFilepaths :: Apply p => p -> [FilePath] -> [FilePath]Source

forceReplaceSlurpy :: Prim -> Slurpy -> Maybe Slurpy Source

apply :: (Apply p, WriteableDirectory m) => [DarcsFlag] -> p -> m ()Source

applyToTree :: Apply p => p -> Tree IO -> IO (Tree IO)Source

Apply a patch to a Tree, yielding a new Tree.

patch2patchinfo :: Named p -> PatchInfo Source

data LineMark Source

Constructors

AddedLine PatchInfo
RemovedLine PatchInfo
AddedRemovedLine PatchInfo PatchInfo
None

Instances

Show LineMark

type MarkedUpFile = [(ByteString, LineMark)]Source

markupFile :: Effect p => PatchInfo -> p -> (FilePath, MarkedUpFile) -> (FilePath, MarkedUpFile)Source

emptyMarkedupFile :: MarkedUpFile Source

summary :: ShowPatch p => p -> Doc Source

plainSummary :: (Conflict e, Effect e) => e -> Doc Source

xmlSummary :: (Effect p, Patchy p, Conflict p) => Named p -> Doc Source

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

getdeps :: Named p -> [PatchInfo]Source

listConflictedFiles :: Conflict p => p -> [FilePath]Source

modernizePatch :: Patch -> Patch Source

data DirMark Source

info of a directory member

Constructors

AddedFile
RemovedFile
MovedFile String
ModifiedFile
DullFile
AddedDir
RemovedDir
MovedDir !String
DullDir

Instances

Eq DirMark
Ord DirMark
Show DirMark

patchChanges :: Prim -> [(String, DirMark)]Source

applyToPop :: PatchInfo -> FL Prim -> Population -> Population Source

Show Prim
Show2 Prim
MyEq Prim
Invert Prim
ReadPatch Prim
ShowPatch Prim
Commute Prim
Apply Prim
Patchy Prim
Effect Prim
Conflict Prim
ToFromPrim Prim
FromPrim Prim
Nonable Prim

Show RealPatch
Show2 RealPatch
MyEq RealPatch
Invert RealPatch
ReadPatch RealPatch
ShowPatch RealPatch
Commute RealPatch
Apply RealPatch
Patchy RealPatch
Effect RealPatch
Conflict RealPatch
ToFromPrim RealPatch
FromPrim RealPatch
Nonable RealPatch
RepoPatchBase RealPatch