Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
Documentation
isConfluent :: [RewriteRule a] -> BoolSource
checkConfluence :: [RewriteRule a] -> IO ()Source
checkConfluenceWith :: Config -> [RewriteRule a] -> IO ()Source
somewhereM :: Uniplate a => (a -> [a]) -> a -> [a]Source
complexity :: Config -> Term -> IntSource