jukebox-0.5.2: A first-order reasoning toolbox

Jukebox.UnionFind

type UF a = State (S a) Source #

data Replacement a Source #

Constructors

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

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

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

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

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

type S a = Map a a Source #

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

initial :: S a Source #

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