equivalence

Maintaining an equivalence relation implemented as union-find using STT.

Version0.4.1
CategoryAlgorithms, Data
LicenceBSD-3-Clause
AuthorPatrick Bahr
MaintainerAndreas Abel
Homepagegithub.com/pa-ba/equivalence
Pinned byhackage equivalence 0.4.1
Sourcehackage.haskell.org/package/equivalence-0.4.1

Modules

2 modules

Data.Equivalence.Monad9This is an alternative interface to the union-find implementation
Data.Equivalence.STT16This is an implementation of Tarjan's Union-Find algorithm (Robert

Description

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).

Depends on

6 packages

Used by in this set · 1

Agda-2.7.0.1