Documentation

unify :: Term -> Term -> Maybe Substitution Source

match :: MonadPlus m => Term -> Term -> m Substitution Source

matchExtended :: Map Symbol SymbolMatch -> Term -> Term -> [(Substitution, Maybe Term, Maybe Term)] Source

matchList :: Match Term -> Match [Term] Source

type Match a = a -> a -> [Substitution] Source

type SymbolMatch = Match Term -> [Term] -> Term -> [Substitution] Source

unificationTests :: TestSuite Source