liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Transforms.Rewrite

Contents

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