The persistent-equivalence package
This is a semi-persistent data structure for equivalence relations (known in the imperative world as union-find or disjoint set union). It exhibits optimal performance when used in a linear pattern, but degrades when other access patterns are used.
The basic idea is as given by Conchon and Filliatre in their 2007 paper A persistent union-find data structure. Unlike the implementation given in the paper, this version is safe with multiple threads, but does not optimize for backtracking.
|Versions||0.1, 0.1.1, 0.2, 0.3|
|Change log||None available|
|Dependencies||array (==0.3.*), base (>=3 && <5), diffarray (==0.1.*) [details]|
|Author||Chris Smith <firstname.lastname@example.org>|
|Maintainer||Chris Smith <email@example.com>|
|Uploaded||Mon Jun 6 21:24:33 UTC 2011 by ChrisSmith|
|Downloads||724 total (12 in last 30 days)|
|Status||Docs uploaded by user|
Build status unknown [no reports yet]
- persistent-equivalence-0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)
For package maintainers and hackage trustees