quickspec-0.9.6: Equational laws for free!

Safe HaskellSafe-Inferred

Test.QuickSpec.Reasoning.UnionFind

Description

A union-find data structure.

Documentation

data Replacement Source

Constructors

Int :> Int 

evalUF :: S -> UF a -> aSource

execUF :: S -> UF a -> SSource

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

data S Source