Ideas.Common.Rewriting.Confluence

Documentation

isConfluent :: [RewriteRule a] -> Bool

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

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

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

data Config

defaultConfig :: Config

showTerm :: Config -> Term -> String

complexity :: Config -> Term -> Int

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