@hackage equivalence0.3.2
Maintaining an equivalence relation implemented as union-find using STT.
Categories
License
BSD-3-Clause
Maintainer
paba@di.ku.dk
Links
Versions
Installation
Dependencies (6)
- STMonadTrans >=0.4.3
- base >=4 && <4.12
- containers
- mtl >=2.2.1 && <2.3
- transformers >=0.2 && <0.6
- transformers-compat >=0.3 Show all…
Dependents (3)
@hackage/ecta, @hackage/Agda, @hackage/acme-everything
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).