Struct ImmersiveFunctionDescriptor 

#[repr(C)]
pub struct ImmersiveFunctionDescriptor {
    pub iri_hash: u64,
    pub args: [ImmersiveValueKind; 4],
    pub arg_count: u8,
    pub result: ImmersiveValueKind,
    pub execution: ExecutionClass,
    pub deterministic: bool,
    pub exactness: ExactnessClass,
    pub max_input_bytes: u32,
    pub max_output_bytes: u32,
}

Typed function descriptor for a QISP extension function (plan §4.2, verbatim field set plus the ExactnessClass referenced there).

Fixed-size, #[repr(C)], Copy — connects a function IRI (as a compile-time q_hash) to its typed signature, execution class, determinism, exactness, and I/O byte budgets. It carries no owned buffers; the resource limits reference the canonical geometry capability manifests rather than duplicating them.

Fields

iri_hash: u64

q_hash of the function’s absolute IRI (e.g. qispf:intersects).

args: [ImmersiveValueKind; 4]

Positional argument kinds (only the first arg_count are meaningful).

arg_count: u8

Number of populated entries in args (0..=4).

result: ImmersiveValueKind

Result value kind.

execution: ExecutionClass

Execution class (hot / cold-sync / async).

deterministic: bool

Whether repeated evaluation with the same key yields the same term (referential transparency within a query snapshot — plan §4.4).

exactness: ExactnessClass

Exactness profile the descriptor is registered under.

max_input_bytes: u32

Maximum accepted input size in bytes (admission control).

max_output_bytes: u32

Maximum producible output size in bytes (admission control).

Implementations

impl ImmersiveFunctionDescriptor

pub const fn new( iri_hash: u64, args: [ImmersiveValueKind; 4], arg_count: u8, result: ImmersiveValueKind, execution: ExecutionClass, deterministic: bool, exactness: ExactnessClass, max_input_bytes: u32, max_output_bytes: u32, ) -> Self

Const-friendly constructor so registries can be built in const/static tables. arg_count is clamped to the 4-slot capacity.

pub fn arg_kinds(&self) -> &[ImmersiveValueKind]

The meaningful (populated) argument kinds.

pub const fn is_async(&self) -> bool

Whether this function must be submitted as a job (cannot run inline).

pub const fn legal_in_filter(&self) -> bool

Whether this function is legal inside a SPARQL FILTER.

A HotZeroHeap or ColdBoundedSync deterministic function is legal; an AsyncRequired or non-deterministic function is not (plan §4.2, §4.4).

pub const fn legal_in_bind(&self) -> bool

Whether this function is legal inside a SPARQL BIND. Same rule as FILTER: snapshot-pure, synchronous, deterministic (plan §4.4).

Trait Implementations

impl Clone for ImmersiveFunctionDescriptor

fn clone(&self) -> ImmersiveFunctionDescriptor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImmersiveFunctionDescriptor

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

Formats the value using the given formatter.

impl PartialEq for ImmersiveFunctionDescriptor

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

impl Eq for ImmersiveFunctionDescriptor

impl StructuralPartialEq for ImmersiveFunctionDescriptor