Module match_lowering 

Match expression lowering for Joule MIR

Converts match expressions into decision trees in MIR. Uses the classic pattern matching compilation algorithm.

Structs

LoweredBlock

A lowered basic block (for return value)

MatchArm

A match arm for lowering

MatchLowering

Match lowering context

PatternMatrix

The pattern matrix used in match compilation

PatternRow

A row in the pattern matrix

Enums

CtorKind

Constructor kinds

LitPat

Literal patterns

Pat

A pattern in the pattern matrix

Functions

lower_simple_match

Helper to create a simple match for common cases