ideas-1.1: Feedback services for intelligent tutoring systems

Portability	portable (depends on ghc)
Stability	provisional
Maintainer	bastiaan.heeren@ou.nl
Safe Haskell	None

Ideas.Common.Rewriting.Confluence

Description

Documentation

isConfluent :: [RewriteRule a] -> Bool Source

checkConfluence :: [RewriteRule a] -> IO ()Source

checkConfluenceWith :: Config -> [RewriteRule a] -> IO ()Source

somewhereM :: Uniplate a => (a -> [a]) -> a -> [a]Source

data Config Source

defaultConfig :: Config Source

showTerm :: Config -> Term -> String Source

complexity :: Config -> Term -> Int Source

termEquality :: Config -> Term -> Term -> Bool Source