darcs-2.8.4: a distributed, interactive, smart revision control system

Safe HaskellNone

Darcs.Patch.V1.Core

Documentation

data Patch prim x y where

Constructors

PP :: prim x y -> Patch prim x y 
Merger :: FL (Patch prim) x y -> RL (Patch prim) x b -> Patch prim c b -> Patch prim c d -> Patch prim x y 
Regrem :: FL (Patch prim) x y -> RL (Patch prim) x b -> Patch prim c b -> Patch prim c a -> Patch prim y x 

Instances

PrimPatch prim => Show2 (Patch prim) 
PatchListFormat (Patch prim) 
MyEq prim => MyEq (Patch prim) 
PrimPatch prim => Commute (Patch prim) 
Invert prim => Invert (Patch prim) 
(Commute (Patch prim), PrimPatch prim) => Merge (Patch prim) 
PrimPatch prim => PatchInspect (Patch prim) 
PrimPatch prim => ReadPatch (Patch prim) 
PrimPatch prim => Apply (Patch prim) 
(Apply (Patch prim), PrimPatch prim) => RepairToFL (Patch prim) 
Check (Patch prim) 
(ShowPatchBasic (Patch prim), PrimPatch prim) => ShowPatch (Patch prim) 
PrimPatch prim => ShowPatchBasic (Patch prim) 
(MyEq (Patch prim), Apply (Patch prim), Commute (Patch prim), PatchInspect (Patch prim), ShowPatch (Patch prim), ReadPatch (Patch prim), Invert (Patch prim), PrimPatch prim) => Patchy (Patch prim) 
IsHunk prim => IsHunk (Patch prim) 
FromPrim (Patch prim) 
(PrimPatch (PrimOf (Patch prim)), PrimPatch prim) => PrimPatchBase (Patch prim) 
PrimPatch prim => Effect (Patch prim) 
PrimPatch prim => CommuteNoConflicts (Patch prim) 
(Effect (Patch prim), PatchInspect (PrimOf (Patch prim)), PrimPatch prim) => Conflict (Patch prim) 
(Patchy (Patch prim), Merge (Patch prim), Effect (Patch prim), IsHunk (Patch prim), FromPrim (Patch prim), Conflict (Patch prim), CommuteNoConflicts (Patch prim), Check (Patch prim), RepairToFL (Patch prim), PatchListFormat (Patch prim), PrimPatchBase (Patch prim), Patchy (PrimOf (Patch prim)), IsHunk (PrimOf (Patch prim)), PrimPatch prim) => RepoPatch (Patch prim) 
PrimPatch prim => Show1 (Patch prim x) 
MyEq prim => Eq (Patch prim x y) 
PrimPatch prim => Show (Patch prim x y) 

isMerger :: Patch prim a b -> Bool

mergerUndo :: Patch prim x y -> FL (Patch prim) x y