The patches-vector package
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 and inversion.
This library provides a pleasant interface for working with patches to vectors with any type of element. It includes patch composition, inversion, and application, as well as a way to compute a patch between two vectors using the Wagner-Fischer algorithm.
It also includes a simple implementation of the Operational Transform (OT) function to resolve diverging patches from the same document. This allows for reasonably painless implementation of merge functions, as well as many applications in distributed editing of documents.
|Versions||0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.1.4.0, 0.1.4.1, 0.1.4.2, 0.1.4.3, 0.1.4.4, 0.1.5.0, 0.1.5.1, 0.1.5.2, 0.1.5.4|
|Dependencies||base (>=4.7 && <5), edit-distance-vector (==1.0.*), microlens (>=0.2 && <0.5), vector (>=0.10 && <0.12) [details]|
|Copyright||Liam O'Connor, 2015|
|Source repository||head: git clone https://github.com/liamoc/patches-vector|
|Uploaded||Tue Nov 29 09:04:48 UTC 2016 by LiamOConnorDavis|
|Downloads||848 total (12 in the last 30 days)|
|Status||Docs available [build log]
Last success reported on 2016-11-29 [all 1 reports]
For package maintainers and hackage trustees