Struct FunctionValue 

pub struct FunctionValue {
    pub name: Rc<String>,
    pub params: Rc<Vec<(String, String)>>,
    pub return_type: Rc<String>,
    pub effects: Rc<Vec<String>>,
    pub body: Rc<FnBody>,
    pub resolution: Option<FnResolution>,
    pub memo_eligible: bool,
    pub home_globals: Option<Rc<HashMap<String, Value>>>,
    /* private fields */
}

Fields

name: Rc<String>

params: Rc<Vec<(String, String)>>

return_type: Rc<String>

effects: Rc<Vec<String>>

body: Rc<FnBody>

resolution: Option<FnResolution>

Compile-time resolution metadata (slot layout for locals).

memo_eligible: bool

True only for functions selected by compute_memo_fns in the interpreter that defined them.

home_globals: Option<Rc<HashMap<String, Value>>>

Optional function-specific global scope (used by imported module functions so they resolve names in their home module).

Trait Implementations

impl Clone for FunctionValue

fn clone(&self) -> FunctionValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionValue

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

Formats the value using the given formatter.