# union-find

A simple Haskell library that implements Tarjan's Union/Find
algorithm.  Useful, for example, to implement unification in a type
inference system.

The Union/Find algorithm implements these operations in
(effectively) constant-time:

 1. Check whether two elements are in the same equivalence class.

 2. Create a union of two equivalence classes.

 3. Look up the descriptor of the equivalence class.


## Installation

Using `cabal` (which comes with the Haskell Platform):

    $ cabal install union-find

or in the checked-out repository:

    $ cabal install