Crate spade_hir_lowering

Re-exports

pub use name_map::NameSourceMap;

Modules

attributes 🔒

const_generic 🔒

error

linear_check 🔒

monomorphisation

name_map

passes

pattern 🔒

pipelines

statement_list 🔒

substitution

usefulness 🔒

Structs

Context

PatternCondition 🔒

Traits

ExprLocal 🔒

Manglable

MirLowerable

NameIDExt

PatternLocal 🔒

StatementLocal 🔒

UnitNameExt

Functions

all_conditions

Returns a name which is true if all of ops are true, along with helper statements required for that computation. If ops is empt, a single true constant is returned

bits_str

do_wal_trace_lowering

expr_to_mir

generate_unit

lower_wal_trace