patches-vector 0.1.4.2 → 0.1.4.3
raw patch · 2 files changed
+3/−4 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- Data/Patch/Internal.hs +2/−3
- patches-vector.cabal +1/−1
Data/Patch/Internal.hs view
@@ -280,9 +280,8 @@ -- the provided function @m@. -- -- This is the standard @transform@ function of Operational Transformation--- patch resolution techniques, and can be thought of as the mapping--- for morphisms in a groupoid /fibration/ from a present version--- to a past version.+-- patch resolution techniques, and can be thought of as the pushout+-- of two diverging patches within the patch groupoid. -- -- prop> forAll (divergingPatchesFrom d) $ \(p,q) -> let (p', q') = transformWith ours p q in apply (p <> q') d == apply (q <> p') d -- prop> forAll (divergingPatchesFrom d) $ \(p,q) -> let (p', q') = transformWith ours p q in applicable p' (apply q d) && applicable q' (apply p d)
patches-vector.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: patches-vector-version: 0.1.4.2+version: 0.1.4.3 synopsis: Patches (diffs) on vectors: composable, mergeable, and invertible. description: A patch is a collection of modifications (edits) to be made to a sequence of elements. Commonly found in version control systems, patches are also a simple example of a groupoid, supporting (partial) composition