Struct FunctionInfo 

pub struct FunctionInfo {

    pub params: ParamRange,
    pub return_type: Type,
    pub return_type_sym: Spur,
    pub body: InstRef,
    pub span: Span,
    pub is_generic: bool,
    pub is_pub: bool,
    pub is_unchecked: bool,
    pub file_id: FileId,
    pub canonical_name: Option<Spur>,
    pub link_library: Option<Spur>,
    pub link_name: Option<Spur>,
    pub is_extern: bool,
    pub is_c_abi: bool,
}

Information about a function.

Fields

params: ParamRange

Parameter data (names, types, modes, comptime flags) stored in arena. Access via arena.names(params), arena.types(params), etc.

return_type: Type

Return type

return_type_sym: Spur

The return type symbol (before resolution) - needed for generic function specialization

body: InstRef

The RIR instruction ref for the function body - needed for generic function specialization

span: Span

Span of the function declaration

is_generic: bool

Whether this function has any comptime type parameters

is_pub: bool

Whether this function is public (visible outside its directory)

is_unchecked: bool

Whether this function is marked unchecked (can only be called from checked blocks)

file_id: FileId

File ID this function was declared in (for visibility checking)

canonical_name: Option<Spur>

ADR-0078: when this entry is an item-level re-export alias (pub const X = mod.Y), this is the canonical name Y of the re-exported function. Call-site codegen uses this name so the emitted Call instruction targets the original function symbol (which is what’s actually defined in the binary). For non-aliased entries this is None.

link_library: Option<Spur>

ADR-0085: when this entry is a C extern (declared inside a link_extern("…") { … } block), this is the library name. None for regular Gruel fns and C exports.

link_name: Option<Spur>

ADR-0085: when this entry is a C extern or @mark(c) fn export and an explicit @link_name("…") directive overrides the emitted symbol, this is the override. None means the symbol equals the Gruel identifier.

is_extern: bool

ADR-0085: true iff this entry came from inside a link_extern block — the body field is meaningless and codegen must emit a declaration only.

is_c_abi: bool

ADR-0085: true iff the host is a top-level @mark(c) fn …{ … } or an extern fn — both use the platform C calling convention and suppress Gruel name mangling at the emitted symbol.

Trait Implementations

impl Clone for FunctionInfo

fn clone(&self) -> FunctionInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionInfo

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

Formats the value using the given formatter.

impl Copy for FunctionInfo