Struct BetaReductionPass 

pub struct BetaReductionPass {
    pub reductions: u32,
}

Beta reduction pass – reduce lambda applications.

Fields

reductions: u32

Implementations

impl BetaReductionPass

pub fn new() -> Self

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

Trait Implementations

impl Debug for BetaReductionPass

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for BetaReductionPass

fn default() -> Self

Returns the “default value” for a type.

impl OptPass for BetaReductionPass

fn name(&self) -> &str

Human-readable name of this pass.

fn run_pass(&mut self, decls: &mut [LcnfFunDecl]) -> usize

Run the pass on a set of declarations, returning the number of changes made.

fn is_enabled(&self) -> bool

Whether this pass is enabled.

fn dependencies(&self) -> Vec<&str>

Dependencies: names of passes that must run before this one.