Struct HirEnergyBudget 

pub struct HirEnergyBudget {
    pub max_joules: Option<f64>,
    pub max_watts: Option<f64>,
    pub max_temp_delta: Option<f64>,
    pub compile_time_check: bool,
    pub span: Span,
}

HIR-level energy budget attached to functions.

This is the HIR equivalent of joule_ast::EnergyBudget, extended with compile-time checking options and resolved during HIR lowering.

Example

#[energy_budget(max_joules = 0.5, compile_time_check = true)]
fn process(data: &[f32]) -> f32 {
    // Compiler will warn if estimated energy exceeds 0.5J
}

Fields

max_joules: Option<f64>

Maximum energy consumption in joules (J)

max_watts: Option<f64>

Maximum power consumption in watts (W)

max_temp_delta: Option<f64>

Maximum temperature delta in Celsius

compile_time_check: bool

Whether to perform compile-time energy checking When true, the compiler will estimate energy and warn/error if exceeded

span: Span

Source span for error reporting

Implementations

impl HirEnergyBudget

pub const fn new(span: Span) -> Self

Create a new empty energy budget

pub const fn from_ast(ast_budget: &EnergyBudget) -> Self

Create from an AST energy budget

pub const fn has_constraints(&self) -> bool

Check if this energy budget has any constraints

pub const fn has_joule_constraint(&self) -> bool

Check if the budget has a joule constraint

pub fn should_check(&self) -> bool

Check if compile-time checking should be performed

Trait Implementations

impl Clone for HirEnergyBudget

fn clone(&self) -> HirEnergyBudget

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HirEnergyBudget

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for HirEnergyBudget

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for HirEnergyBudget

fn eq(&self, other: &HirEnergyBudget) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for HirEnergyBudget