Maintaining an equivalence relation implemented as union-find
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).
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/pw0pncdlk0pqqnbcb1c3b924pqa4f3qx-ghc-equivalence-0.3.5.drv | ||
mips64el-linux | /gnu/store/1qqb4wfclmz53255vw02r6dfjcv6c2l2-ghc-equivalence-0.3.5.drv | ||
i686-linux | /gnu/store/g288bg5aj5bgv7xvkqfscf6fd5hl57k4-ghc-equivalence-0.3.5.drv | ||
armhf-linux | /gnu/store/5pighwiv06csw09flmx891b7z6gqglgh-ghc-equivalence-0.3.5.drv | ||
aarch64-linux | /gnu/store/xja6plrlaqb955yq98xxpqc4zz42aczh-ghc-equivalence-0.3.5.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |