Module mir

Expand description

MIR model re-exports and lowering wrappers. MIR facade re-exported by the rukalang crate.

The canonical, detailed MIR documentation lives in the ruka_mir crate:

This module intentionally stays minimal to avoid duplicated documentation.

Modules§

browser_graph: Browser-friendly MIR graph rendering for interactive viewers.
lower: HIR/check to MIR lowering wrappers.
naming: Stable naming helpers for MIR-based outputs. Stable naming helpers used by MIR browser graphs and backends.

LocalInfo: Metadata tracked for each MIR local.
MirAggregateArg: Single aggregate construction argument with explicit ownership mode.
MirBlock: Basic block in MIR CFG.
MirBlockId: Basic block identifier in function-local MIR block storage.
MirCallArg: Single call argument with explicit ownership mode.
MirCallArgBinding: Shared call-argument query object used by validation and backends.
MirEnumDecl: Enum declaration retained for backend aggregate emission.
MirEnumVariant: Enum variant declaration for a MIR enum type.
MirFuncId: Function identifier in MIR program storage.
MirFunction: Function-level MIR in CFG form.
MirLocalId: Local identifier for MIR values/bindings/temps.
MirParamBinding: Shared parameter query object used by lowering and backends.
MirProgram: Whole-program MIR container.
MirSourcePos: Source position metadata captured for MIR instructions.
MirStructDecl: Struct declaration retained for backend aggregate emission.
MirStructField: Named field declaration for a MIR struct type.

LocalKind: Local provenance category.
MirArgMode: Ownership mode used at MIR call sites.
MirHeapOwnership: Heap ownership policy carried by one MIR local.
MirInstr: MIR instruction set used by lowering and codegen.
MirIntrinsic: Builtin intrinsic operation invoked directly by generated code.
MirLocalRepr: Runtime/storage representation tracked for one MIR local.
MirOwnershipMode: Ownership mode carried into MIR from source function signatures.
MirStmt: Structured lowering helper form.
MirTerminator: Block terminator defining control-flow edges.
MirTypeExpr: Type syntax retained in MIR for emitted aggregate declarations.

infer_heap_ownership: Infer heap ownership policy from one local type and representation.