Darcs.Patch.V1.Core

Documentation

data Patch prim wX wY where

The format of a merger is Merger undos unwindings conflicting original.

undos = the effect of the merger

unwindings = TODO: eh?

conflicting = the patch we conflict with

original = the patch we really are

Constructors

PP :: prim wX wY -> Patch prim wX wY

Merger :: FL (Patch prim) wX wY -> RL (Patch prim) wX wB -> Patch prim wC wB -> Patch prim wC wD -> Patch prim wX wY

Regrem :: FL (Patch prim) wX wY -> RL (Patch prim) wX wB -> Patch prim wC wB -> Patch prim wC wA -> Patch prim wY wX

Instances

Show2 prim => Show2 (Patch prim)

MyEq prim => MyEq (Patch prim)

PatchListFormat (Patch prim)

PrimPatch prim => PatchInspect (Patch prim)

PatchDebug prim => PatchDebug (Patch prim)

MaybeInternal (Patch prim)

NameHack (Patch prim)

PrimPatch prim => ReadPatch (Patch prim)

Invert prim => Invert (Patch prim)

PrimPatch prim => Commute (Patch prim)

PrimPatch prim => Merge (Patch prim)

PrimPatch prim => Apply (Patch prim)

PrimPatch prim => RepairToFL (Patch prim)

Check (Patch prim)

PrimPatch prim => ShowPatch (Patch prim)

PrimPatch prim => ShowPatchBasic (Patch prim)

PrimPatch prim => Patchy (Patch prim)

PrimPatch prim => Matchable (Patch prim)

IsHunk prim => IsHunk (Patch prim)

FromPrim (Patch prim)

PrimPatch prim => PrimPatchBase (Patch prim)

PrimPatch prim => Effect (Patch prim)

PrimPatch prim => CommuteNoConflicts (Patch prim)

PrimPatch prim => Conflict (Patch prim)

RecontextRebase (Patch prim)

PrimPatch prim => RepoPatch (Patch prim)

Show2 prim => Show1 (Patch prim wX)

MyEq prim => Eq (Patch prim wX wY)

Show2 prim => Show (Patch prim wX wY)

type ApplyState (Patch prim) = ApplyState prim

type PrimOf (Patch prim) = prim

isMerger :: Patch prim wA wB -> Bool

mergerUndo :: Patch prim wX wY -> FL (Patch prim) wX wY