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