packages feed

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