Struct Program 

pub struct Program {
    pub namespace: Option<String>,
    pub constants: Vec<Value>,
    pub var_metadata: Vec<Rc<Metadata>>,
    pub schema_types: HashMap<String, SchemaType>,
    pub function_types: HashMap<String, SchemaType>,
    pub inferred_function_types: HashMap<String, SchemaType>,
    pub functions: Vec<FunctionPrototype>,
    pub entry: FunctionId,
}

A compiled program: a constant pool plus function prototypes.

Fields

namespace: Option<String>

Owning namespace for a module lowered from HALC; source snippets have none.

constants: Vec<Value>

var_metadata: Vec<Rc<Metadata>>

Hara metadata tables for DefGlobal (docstrings, attr maps, computed arglists), assembled at compile time from the source forms. Empty for programs without global definitions.

schema_types: HashMap<String, SchemaType>

Canonical named-schema graph supplied by HALC lowering.

function_types: HashMap<String, SchemaType>

Function annotations normalized against schema_types.

inferred_function_types: HashMap<String, SchemaType>

Conservative body-derived facts. These never replace declarations.

functions: Vec<FunctionPrototype>

entry: FunctionId

Implementations

impl Program

pub fn entry_function(&self) -> &FunctionPrototype

The prototype execution starts from.

pub fn function_schema(&self, function: FunctionId) -> Option<&SchemaType>

Returns the normalized annotation for a compiled prototype, following named-schema references without expanding recursive schema graphs.

pub fn function_has_i64_parameters(&self, function: FunctionId) -> bool

Whether every argument slot for this prototype has a proven i64 representation. The tracing JIT still emits entry guards; this fact only allows it to begin recording before the generic hot threshold.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Program

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

Formats the value using the given formatter.