Darcs.Patch.Merge

Description

Synopsis

Documentation

class Commute p => Merge p where Source #

Things that can always be merged

Minimal complete definition

Methods

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

Instances

Merge DummyPatch Source #
Methods merge :: (DummyPatch :\/: DummyPatch) wX wY -> (DummyPatch :/\: DummyPatch) wX wY Source #
Merge p => Merge (RL p) Source #
Methods merge :: (RL p :\/: RL p) wX wY -> (RL p :/\: RL p) wX wY Source #
Merge p => Merge (FL p) Source #
Methods merge :: (FL p :\/: FL p) wX wY -> (FL p :/\: FL p) wX wY Source #
Merge p => Merge (Named p) Source #
Methods merge :: (Named p :\/: Named p) wX wY -> (Named p :/\: Named p) wX wY Source #
PrimPatch prim => Merge (RepoPatchV2 prim) Source #
Methods merge :: (RepoPatchV2 prim :\/: RepoPatchV2 prim) wX wY -> (RepoPatchV2 prim :/\: RepoPatchV2 prim) wX wY Source #
Merge p => Merge (LabelledPatch p) Source #
Methods merge :: (LabelledPatch p :\/: LabelledPatch p) wX wY -> (LabelledPatch p :/\: LabelledPatch p) wX wY Source #
Merge p => Merge (WrappedNamed rt p) Source #
Methods merge :: (WrappedNamed rt p :\/: WrappedNamed rt p) wX wY -> (WrappedNamed rt p :/\: WrappedNamed rt p) wX wY Source #
Merge p => Merge (PatchInfoAnd rt p) Source #
Methods merge :: (PatchInfoAnd rt p :\/: PatchInfoAnd rt p) wX wY -> (PatchInfoAnd rt p :/\: PatchInfoAnd rt p) wX wY Source #

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