quickspec-0.9.2: Equational laws for free

Safe Haskell	Safe-Inferred

Test.QuickSpec.Reasoning.UnionFind

Description

A union-find data structure.

Documentation

type UF = State S Source

data Replacement Source

Constructors

newSym :: UF Int Source

(=:=) :: Int -> Int -> UF (Maybe Replacement)Source

rep :: Int -> UF Int Source

evalUF :: S -> UF a -> aSource

execUF :: S -> UF a -> S Source

runUF :: S -> UF a -> (a, S)Source

isRep :: Int -> UF Bool Source

initial :: Int -> S Source