Safe Haskell | None |
---|---|
Language | Haskell2010 |
Darcs.Patch.V1.Core
Synopsis
- data RepoPatchV1 (prim :: Type -> Type -> Type) wX wY where
- PP :: forall (prim :: Type -> Type -> Type) wX wY. prim wX wY -> RepoPatchV1 prim wX wY
- Merger :: forall (prim :: Type -> Type -> Type) wX wY wB wC wD. FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wX -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY
- Regrem :: forall (prim :: Type -> Type -> Type) wY wX wB wC wD. FL (RepoPatchV1 prim) wY wX -> RL (RepoPatchV1 prim) wY wB -> RepoPatchV1 prim wC wY -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY
- isMerger :: forall (prim :: Type -> Type -> Type) wA wB. RepoPatchV1 prim wA wB -> Bool
- mergerUndo :: forall (prim :: Type -> Type -> Type) wX wY. RepoPatchV1 prim wX wY -> FL (RepoPatchV1 prim) wX wY
Documentation
data RepoPatchV1 (prim :: Type -> Type -> Type) 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 :: forall (prim :: Type -> Type -> Type) wX wY. prim wX wY -> RepoPatchV1 prim wX wY | |
Merger :: forall (prim :: Type -> Type -> Type) wX wY wB wC wD. FL (RepoPatchV1 prim) wX wY -> RL (RepoPatchV1 prim) wX wB -> RepoPatchV1 prim wC wX -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY | |
Regrem :: forall (prim :: Type -> Type -> Type) wY wX wB wC wD. FL (RepoPatchV1 prim) wY wX -> RL (RepoPatchV1 prim) wY wB -> RepoPatchV1 prim wC wY -> RepoPatchV1 prim wC wD -> RepoPatchV1 prim wX wY |
Instances
mergerUndo :: forall (prim :: Type -> Type -> Type) wX wY. RepoPatchV1 prim wX wY -> FL (RepoPatchV1 prim) wX wY #