Struct ErasedOptimizer 

pub struct ErasedOptimizer { /* private fields */ }

A simple optimizer that chains beta reduction, inlining, and DCE.

Implementations

impl ErasedOptimizer

pub fn new(max_steps: u64) -> Self

Create an optimizer.

pub fn optimize(&mut self, expr: ErasedExprExt) -> ErasedExprExt

Run all optimization passes on an expression.

pub fn total_transforms(&self) -> u64

Return total transformations applied.