Safe Haskell | None |
---|---|
Language | Haskell2010 |
- merge :: Merge p => (p :\/: p) wX wY -> (p :/\: p) wX wY
- merger :: PrimPatch prim => String -> RepoPatchV1 prim wX wY -> RepoPatchV1 prim wX wZ -> Sealed (RepoPatchV1 prim wY)
- unravel :: PrimPatch prim => RepoPatchV1 prim wX wY -> [Sealed (FL prim wX)]
- publicUnravel :: PrimPatch prim => RepoPatchV1 prim wX wY -> [Sealed (FL prim wY)]
Documentation
merger :: PrimPatch prim => String -> RepoPatchV1 prim wX wY -> RepoPatchV1 prim wX wZ -> Sealed (RepoPatchV1 prim wY) Source #
merger takes two patches, (which have been determined to conflict) and
constructs a Merger patch to represent the conflict. p1
is considered to
be conflicting with p2
(p1
is the "first" patch in the repo ordering),
the resulting Merger is therefore a representation of p2
.
publicUnravel :: PrimPatch prim => RepoPatchV1 prim wX wY -> [Sealed (FL prim wY)] Source #
Orphan instances
MyEq prim => MyEq (RepoPatchV1 prim) Source # | |
PrimPatch prim => Commute (RepoPatchV1 prim) Source # | |
PrimPatch prim => PatchInspect (RepoPatchV1 prim) Source # | |
Invert prim => Invert (RepoPatchV1 prim) Source # | |
PrimPatch prim => Merge (RepoPatchV1 prim) Source # | |
IsHunk prim => IsHunk (RepoPatchV1 prim) Source # | |
PrimPatch prim => Effect (RepoPatchV1 prim) Source # | |
PrimPatch prim => CommuteNoConflicts (RepoPatchV1 prim) Source # | |
PrimPatch prim => Conflict (RepoPatchV1 prim) Source # | |
MyEq prim => Eq (RepoPatchV1 prim wX wY) Source # | |