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 #