Data.Persistent.UnionFind

Lightweight union-find implementation suitable for use with nondeterminism

Documentation

data UVarGen

Instances

Eq UVarGen

Defined in Data.Persistent.UnionFind

Methods

(==) :: UVarGen -> UVarGen -> Bool

(/=) :: UVarGen -> UVarGen -> Bool

Ord UVarGen

Defined in Data.Persistent.UnionFind

Methods

compare :: UVarGen -> UVarGen -> Ordering

(<) :: UVarGen -> UVarGen -> Bool

(<=) :: UVarGen -> UVarGen -> Bool

(>) :: UVarGen -> UVarGen -> Bool

(>=) :: UVarGen -> UVarGen -> Bool

max :: UVarGen -> UVarGen -> UVarGen

min :: UVarGen -> UVarGen -> UVarGen

Show UVarGen

Defined in Data.Persistent.UnionFind

Methods

showsPrec :: Int -> UVarGen -> ShowS

show :: UVarGen -> String

showList :: [UVarGen] -> ShowS

initUVarGen :: UVarGen

nextUVar :: UVarGen -> (UVarGen, UVar)

data UVar

Instances

Eq UVar

Defined in Data.Persistent.UnionFind

Methods

(==) :: UVar -> UVar -> Bool

(/=) :: UVar -> UVar -> Bool

Ord UVar

Defined in Data.Persistent.UnionFind

Methods

compare :: UVar -> UVar -> Ordering

(<) :: UVar -> UVar -> Bool

(<=) :: UVar -> UVar -> Bool

(>) :: UVar -> UVar -> Bool

(>=) :: UVar -> UVar -> Bool

max :: UVar -> UVar -> UVar

min :: UVar -> UVar -> UVar

Show UVar

Defined in Data.Persistent.UnionFind

Methods

showsPrec :: Int -> UVar -> ShowS

show :: UVar -> String

showList :: [UVar] -> ShowS

uvarToInt :: UVar -> Int

intToUVar :: Int -> UVar

data UnionFind

Instances

Eq UnionFind

Defined in Data.Persistent.UnionFind

Methods

(==) :: UnionFind -> UnionFind -> Bool

(/=) :: UnionFind -> UnionFind -> Bool

Ord UnionFind

Defined in Data.Persistent.UnionFind

Methods

compare :: UnionFind -> UnionFind -> Ordering

(<) :: UnionFind -> UnionFind -> Bool

(<=) :: UnionFind -> UnionFind -> Bool

(>) :: UnionFind -> UnionFind -> Bool

(>=) :: UnionFind -> UnionFind -> Bool

max :: UnionFind -> UnionFind -> UnionFind

min :: UnionFind -> UnionFind -> UnionFind

Show UnionFind

Defined in Data.Persistent.UnionFind

Methods

showsPrec :: Int -> UnionFind -> ShowS

show :: UnionFind -> String

showList :: [UnionFind] -> ShowS

empty :: UnionFind

withInitialValues :: [UVar] -> UnionFind

union :: UVar -> UVar -> UnionFind -> UnionFind

find :: UVar -> UnionFind -> (UVar, UnionFind)