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)

PrimPatch prim => Merge (Patch prim)

PrimPatch prim => PatchInspect (Patch prim)

PrimPatch prim => ReadPatch (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)

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)

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