equivalence-0.1: equivalence.cabal
Name: equivalence
Version: 0.1
License: BSD3
License-File: LICENSE
Author: Patrick Bahr <paba@diku.dk>
Maintainer: Patrick Bahr <paba@diku.dk>
Synopsis: Maintaining an equivalence relation implemented as union-find using STT.
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).
Category: Algorithms, Data
Stability: provisional
Build-Type: Simple
Cabal-Version: >= 1.6
Library
Build-Depends:
base >= 4 && < 5, containers, mtl, STMonadTrans
Exposed-Modules:
Data.Equivalence.STT,
Data.Equivalence.Monad
Hs-Source-Dirs: src