Struct BuiltinSignature 

pub struct BuiltinSignature {
    pub name: &'static str,
    pub params: &'static [Param],
    pub returns: Ty,
    pub type_params: &'static [&'static str],
    pub has_rest: bool,
    pub where_clauses: &'static [(&'static str, &'static str)],
}

A complete, static description of one builtin: identifier, arity range, per-parameter types, generic type parameters, return type, and any where-clause bounds the type checker should enforce on call.

Fields

name: &'static str

Builtin name as registered in the VM and referenced from Harn source.

params: &'static [Param]

Positional parameters in declaration order. Trailing entries with optional: true define the lower bound of the arity range; the remaining entries plus has_rest define the upper bound.

returns: Ty

Statically-known return type. Use Ty::Any when the return is genuinely dynamic (e.g. json_parse).

type_params: &'static [&'static str]

Generic type parameter names declared on this builtin (e.g. ["T"] for schema_parse<T>).

has_rest: bool

True when the final parameter is variadic (rest). When set, the effective arity upper bound is unbounded and the runtime will treat trailing args as the rest-list.

where_clauses: &'static [(&'static str, &'static str)]

where T: Foo constraints. Each entry binds a generic type parameter name to the name of an interface it must implement.

Implementations

impl BuiltinSignature

pub fn required_params(&self) -> usize

Number of required parameters (those without defaults).

pub fn is_type_param(&self, name: &str) -> bool

True when this builtin recognises name as one of its declared generic type parameters.

pub fn is_generic(&self) -> bool

True when this builtin declares any generic type parameters.

pub fn type_param_names(&self) -> Vec<String>

Materialize the type parameter names as owned strings (for use in the type checker’s existing scope/binding APIs which key off Vec<String>).

pub fn param_type_exprs(&self) -> Vec<TypeExpr>

Materialize per-parameter types as owned TypeExprs for the type checker’s call-site validation. Ty::Any becomes Named("any"); generic params become Named(T) so the existing generic-binding logic resolves them through scope.

pub fn return_type_expr(&self) -> TypeExpr

Owned TypeExpr return type. Use Ty::is_any on BuiltinSignature::returns first if you want to distinguish “returns any” from “no static return info”.

pub fn where_clause_strings(&self) -> Vec<(String, String)>

Where-clause constraints as (type_param, interface) strings.

Trait Implementations

impl Clone for BuiltinSignature

fn clone(&self) -> BuiltinSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinSignature

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

Formats the value using the given formatter.

impl Copy for BuiltinSignature