Language.Haskell.Liquid.Transforms.Rewrite

This module contains functions for recursively "rewriting" GHC core using "rules".

Top level rewrite function

rewriteBinds :: Config -> [CoreBind] -> [CoreBind]

Top-level rewriter --------------------------------------------------------

Low-level Rewriting Function

Rewrite Rule