liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
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] Source #

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

Low-level Rewriting Function

Rewrite Rule