GHC.Data.UnionFind

A variable which can be unified; alternately, this can be thought of as an equivalence class with a distinguished representative.

Mutable write to a Point

Read the current value of Point.

The internal data structure for a Point, which either records the representative element of an equivalence class, or a link to the Point that actually stores the representative type.

Create a fresh equivalence class with one element.

Flatten any chains of links, returning a Point which points directly to the canonical representation.

Return the canonical element of an equivalence class Point.

Unify two equivalence classes, so that they share a canonical element. Keeps the descriptor of point2.

Test if two points are in the same equivalence class.