Struct PatternCompiler 

pub struct PatternCompiler { /* private fields */ }

Pattern match compiler.

Compiles surface-level patterns into decision trees for efficient matching.

Implementations

impl PatternCompiler

pub fn new() -> Self

Create a new pattern compiler.

pub fn fresh_var(&mut self) -> Name

Generate a fresh variable name.

pub fn compile( &mut self, patterns: &[(Located<Pattern>, Located<SurfaceExpr>)], ) -> Result<DecisionTree, String>

Compile surface-level patterns to a decision tree.

pub fn compile_equations( &mut self, equations: &[MatchEquation], ) -> Result<DecisionTree, String>

Compile from elaborated match equations.

pub fn from_match_arms( &mut self, ctx: &mut ElabContext<'_>, _scrutinee_ty: &Expr, arms: &[MatchArm], ) -> Result<(DecisionTree, MatchResult), String>

Compile from match arms (with guards).

Trait Implementations

impl Default for PatternCompiler

fn default() -> Self

Returns the “default value” for a type.