Struct ResolvedFnDef 

pub struct ResolvedFnDef {
    pub fn_id: FnId,
    pub name: String,
    pub line: usize,
    pub params: Vec<(String, Type)>,
    pub return_type: Type,
    pub effects: Vec<Spanned<String>>,
    pub desc: Option<String>,
    pub body: Arc<ResolvedFnBody>,
    pub resolution: Option<FnResolution>,
}

Resolved fn definition. Mirrors crate::ast::FnDef but with signature types parsed to Type (and resolved through the owner module’s resolver context, see #148 round 6) instead of source strings, plus the body lifted to ResolvedFnBody.

Fields

fn_id: FnId

Stable opaque identity of this fn. The pre-resolve FnDef only carried a source name; here we promote identity to a first-class field.

name: String

Source-level fn name. Kept for diagnostics + backend codegen mangling.

line: usize

params: Vec<(String, Type)>

Parameters: (binding_name, resolved_param_type). The resolver canonicalises each annotation through the declaring module’s own resolver context.

return_type: Type

effects: Vec<Spanned<String>>

desc: Option<String>

body: Arc<ResolvedFnBody>

resolution: Option<FnResolution>

Slot-resolver output — see FnResolution. Carried through unchanged.

Trait Implementations

impl Clone for ResolvedFnDef

fn clone(&self) -> ResolvedFnDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedFnDef

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

Formats the value using the given formatter.

impl PartialEq for ResolvedFnDef

fn eq(&self, other: &ResolvedFnDef) -> 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 ResolvedFnDef