| darcs-2.4.4: a distributed, interactive, smart revision control system | Source code | Contents | Index

Darcs.Patch.Core

Synopsis

data Patch where

PP :: Prim -> Patch
ComP :: FL Patch -> Patch
Merger :: Patch -> RL Patch -> Patch -> Patch -> Patch
Regrem :: Patch -> RL Patch -> Patch -> Patch -> Patch

data Named p where

NamedP :: !PatchInfo -> ![PatchInfo] -> !p -> Named p

join_patchesFL :: 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
n_fn :: 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)
merger_undo :: Patch -> Patch
isMerger :: Patch -> Bool
getdeps :: Named p -> [PatchInfo]
patch2patchinfo :: Named p -> PatchInfo
patchname :: Named p -> String
patchcontents :: Named p -> p

Documentation

data Patch where | Source

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

join_patchesFL :: FL Patch -> Patch | Source

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

flattenFL :: Patch -> FL Patch | Source

nullP :: Patch -> EqCheck | Source

isNullPatch :: Patch -> Bool | Source

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

n_fn :: FilePath -> FilePath | Source

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

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

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

merger_undo :: Patch -> Patch | Source

isMerger :: Patch -> Bool | Source

getdeps :: Named p -> [PatchInfo] | Source

patch2patchinfo :: Named p -> PatchInfo | Source

patchname :: Named p -> String | Source

patchcontents :: Named p -> p | Source

Produced by Haddock version 2.4.2