Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Patch prim wX wY
Documentation
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
Show2 prim => Show2 (Patch prim) Source | |
PatchListFormat (Patch prim) Source | |
PatchDebug prim => PatchDebug (Patch prim) Source | |
MaybeInternal (Patch prim) Source | |
NameHack (Patch prim) Source | |
Check (Patch prim) Source | |
FromPrim (Patch prim) Source | |
PrimPatch prim => PrimPatchBase (Patch prim) Source | |
RecontextRebase (Patch prim) Source | |
Show2 prim => Show1 (Patch prim wX) Source | |
Show2 prim => Show (Patch prim wX wY) Source | |
type ApplyState (Patch prim) = ApplyState prim Source | |
type PrimOf (Patch prim) = prim Source |