| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Transforms.Rewrite
Description
This module contains functions for recursively "rewriting" GHC core using "rules".
Synopsis
- rewriteBinds :: Config -> [CoreBind] -> [CoreBind]
Top level rewrite function
rewriteBinds :: Config -> [CoreBind] -> [CoreBind] Source #
Top-level rewriter --------------------------------------------------------