Module energy 

HIR-level energy budget representation

This module provides the HIR representation of energy attributes that were parsed from #[energy_budget(...)] attributes and converted from AST.

The HIR energy types include compile-time estimation results that are computed during type checking.

Structs

EnergyMetadata

Energy metadata for HIR items (functions, loops, blocks).

EnergyViolation

Energy violation detected during compile-time analysis.

HirEnergyBudget

HIR-level energy budget attached to functions.

Enums

EnergyViolationKind

Kind of energy budget violation