Safe Haskell | Safe-Infered |
---|
Documentation
data Patch prim x y whereSource
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 |
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) |
mergerUndo :: Patch prim x y -> FL (Patch prim) x ySource