liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Transforms.Rewrite

Description

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

Synopsis

Top level rewrite function

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

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

Low-level Rewriting Function

Rewrite Rule