ideas-1.6: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Common.Rewriting.Unification

Description

 

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 #