Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Patch prim wX wY where Source
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
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 |
mergerUndo :: Patch prim wX wY -> FL (Patch prim) wX wY Source