jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellSafe-Inferred

Jukebox.UnionFind

Documentation

type UF a = State (S a)Source

data Replacement a Source

Constructors

a :> a 

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

rep :: (Hashable a, Ord a) => a -> UF a aSource

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

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

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

type S a = Map a aSource

isRep :: (Hashable a, Ord a) => a -> UF a BoolSource

initial :: S aSource

reps :: (Hashable a, Ord a) => UF a (a -> a)Source