Jukebox.UnionFind

Documentation

type UF a = State (S a)

data Replacement a

Constructors

a :> a

(=:=) :: Ord a => a -> a -> UF a (Maybe (Replacement a))

rep :: Ord a => a -> UF a a

evalUF :: S a -> UF a b -> b

execUF :: S a -> UF a b -> S a

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

type S a = Map a a

isRep :: Ord a => a -> UF a Bool

initial :: S a

reps :: Ord a => UF a (a -> a)