Rewriter
rewrite :: Program -> Program -> [Rule] -> IO Program Source #
rewrite' :: Program -> [Rule] -> RewriteContext -> IO Program Source #
data RewriteContext Source #
Constructors
Fields
defaultRewriteContext :: Program -> RewriteContext Source #