equivalence

Maintaining an equivalence relation implemented as union-find using STT. https://bitbucket.org/paba/equivalence/

Latest on Hackage:0.3.5

See all snapshots equivalence appears in

BSD-3-Clause licensed by Patrick Bahr
Maintained by [email protected]

Module documentation for 0.3.1

This version can be pinned in stack with:[email protected]:ba47a5cdb1de9cb6fb3312d3b811b76e3f2a68c1deaf0e0e8895d33a3e17e929,1612

This is an implementation of Tarjan's Union-Find algorithm (Robert E. Tarjan. "Efficiency of a Good But Not Linear Set Union Algorithm", JACM 22(2), 1975) in order to maintain an equivalence relation. This implementation is a port of the union-find package using the ST monad transformer (instead of the IO monad).

Changes

0.3.1
-----
* use transformers-compat for backwards compatibility with older versions of transformers

0.3.0.1
-------
* add CHANGES.txt to .cabal file

0.3
---
* add suport for Control.Monad.Except (thus the new dependency constraint 'mtl >= 2.2.1')