patches-vector: Patches (diffs) on vectors: composable, mergeable, and invertible.

[ bsd3, data, library ] [ Propose Tags ]

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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,,,,,,,,,,
Dependencies base (>=4.7 && <5), edit-distance-vector (>=1.0 && <1.1), microlens (>=0.2 && <0.5), vector (>=0.10 && <0.12) [details]
License BSD-3-Clause
Copyright Liam O'Connor, 2015
Author Liam O'Connor
Category Data
Home page
Source repo head: git clone
Uploaded by LiamOConnorDavis at 2016-11-29T09:04:48Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 8661 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2016-11-29 [all 1 reports]