Module Unification
This module is undocumented. This is a list of its definitions.
createDefault :: Default a => <Proc> a
createUMap :: <Proc> UMap a b
getUMap :: Default a => UMap b a -> b -> <Proc> a
getUMapWithDefault :: <Proc> a -> UMap b a -> b -> <Proc> a
putUMap :: UMap a b -> a -> Unifiable b -> <Proc> ()
putUMapC :: UMap a b -> a -> b -> <Proc> ()
uCons :: UTag a b -> b -> Unifiable a
uPending :: <Proc> a -> Unifiable a
uTag :: Integer -> (a -> <Proc> b) -> (b -> a) -> UTag b a
uVar :: <Proc> Unifiable a
unify :: Unifiable a -> Unifiable a -> <Proc> ()
|