| 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 #