Darcs.Patch.V2

Documentation

data RealPatch prim x y

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)

Instances

PrimPatch prim => Show2 (RealPatch prim)

PatchListFormat (RealPatch prim)

PrimPatch prim => MyEq (RealPatch prim)

PrimPatch prim => Commute (RealPatch prim)

Invert prim => Invert (RealPatch prim)

PrimPatch prim => Merge (RealPatch prim)

PatchInspect prim => PatchInspect (RealPatch prim)

PrimPatch prim => ReadPatch (RealPatch prim)

PrimPatch prim => ShowPatch (RealPatch prim)

PrimPatch prim => ShowPatchBasic (RealPatch prim)

IsHunk prim => IsHunk (RealPatch prim)

PrimPatch prim => Apply (RealPatch prim)

PrimPatch prim => Patchy (RealPatch prim)

PrimPatch prim => RepairToFL (RealPatch prim)

PrimPatch prim => Check (RealPatch prim)

ToFromPrim (RealPatch prim)

FromPrim (RealPatch prim)

PrimPatch prim => PrimPatchBase (RealPatch prim)

PrimPatch prim => Effect (RealPatch prim)

PrimPatch prim => CommuteNoConflicts (RealPatch prim)

PrimPatch prim => Conflict (RealPatch prim)

PrimPatch prim => RepoPatch (RealPatch prim)

PrimPatch prim => Nonable (RealPatch prim)

PrimPatch prim => Show (RealPatch prim x y)

prim2real :: prim x y -> RealPatch prim x y