jukebox-0.2.6: 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