darcs-2.12.5: a distributed, interactive, smart revision control system

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.V1.Core

Synopsis

- data RepoPatchV1 prim wX wY where
  - PP :: prim wX wY -> RepoPatchV1 prim wX wY
  - Merger :: FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wB -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY
  - Regrem :: FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wB -> RepoPatchV1 prim wC wA -> RepoPatchV1 prim wY wX
- isMerger :: RepoPatchV1 prim wA wB -> Bool
- mergerUndo :: RepoPatchV1 prim wX wY -> FL (RepoPatchV1 prim) wX wY

# Documentation

data RepoPatchV1 prim wX wY where #

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

Constructors

PP :: prim wX wY -> RepoPatchV1 prim wX wY |
Merger :: FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wB -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY |
Regrem :: FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wB -> RepoPatchV1 prim wC wA -> RepoPatchV1 prim wY wX |

Instances

Show2 prim => Show2 (RepoPatchV1 prim) # |
Methods showDict2 :: ShowDict (RepoPatchV1 prim wX wY) #
PatchListFormat (RepoPatchV1 prim) # |
Methods patchListFormat :: ListFormat (RepoPatchV1 prim) #
PatchDebug prim => PatchDebug (RepoPatchV1 prim) # |
Methods patchDebugDummy :: RepoPatchV1 prim wX wY -> () #
Check (RepoPatchV1 prim) # |
Methods isInconsistent :: RepoPatchV1 prim wX wY -> Maybe Doc #
FromPrim (RepoPatchV1 prim) # |
Methods fromPrim :: PrimOf (RepoPatchV1 prim) wX wY -> RepoPatchV1 prim wX wY #
PrimPatch prim => PrimPatchBase (RepoPatchV1 prim) # |
Associated Types type PrimOf (RepoPatchV1 prim :: * -> * -> *) :: * -> * -> * #
Show2 prim => Show1 (RepoPatchV1 prim wX) # |
Methods showDict1 :: ShowDict (RepoPatchV1 prim wX wX) #
Show2 prim => Show (RepoPatchV1 prim wX wY) # |
Methods showsPrec :: Int -> RepoPatchV1 prim wX wY -> ShowS # show :: RepoPatchV1 prim wX wY -> String # showList :: [RepoPatchV1 prim wX wY] -> ShowS #
type ApplyState (RepoPatchV1 prim) # |
type ApplyState (RepoPatchV1 prim) = ApplyState prim
type PrimOf (RepoPatchV1 prim) # |
type PrimOf (RepoPatchV1 prim) = prim

isMerger :: RepoPatchV1 prim wA wB -> Bool #

mergerUndo :: RepoPatchV1 prim wX wY -> FL (RepoPatchV1 prim) wX wY #