Darcs.Patch.Merge

Description

Synopsis

Documentation

class Commute p => Merge p where Source

Things that can always be merged

Methods

merge :: (p :\/: p) wX wY -> (p :/\: p) wX wY Source

Instances

Merge DummyPatch Source
Merge p => Merge (RL p) Source
Merge p => Merge (FL p) Source
(Merge p, NameHack p) => Merge (Named p) Source
PrimPatch prim => Merge (RealPatch prim) Source
(Merge p, NameHack p) => Merge (PatchInfoAnd p) Source
(PrimPatchBase p, FromPrim p, Effect p, Invert p, Merge p) => Merge (Rebasing p) Source
Merge p => Merge (LabelledPatch p) Source

mergeFL :: Merge p => (p :\/: FL p) wX wY -> (FL p :/\: p) wX wY Source