| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Darcs.Patch.V1.Commute
Contents
- 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
| Eq2 prim => Eq2 (RepoPatchV1 prim) Source # | |
| Invert prim => Invert (RepoPatchV1 prim) Source # | |
| PrimPatch prim => PatchInspect (RepoPatchV1 prim) Source # | |
| PrimPatch prim => Commute (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 # | |
| Eq2 prim => Eq (RepoPatchV1 prim wX wY) Source # | |