Struct FunctionSignature 

pub struct FunctionSignature {
    pub namespace: &'static str,
    pub local_name: &'static str,
    pub arity: FunctionArity,
    pub param_types: Vec<SequenceType>,
    pub return_type: SequenceType,
}

Function signature describing parameter and return types

Fields

namespace: &'static str

The function namespace URI

local_name: &'static str

The local name of the function

arity: FunctionArity

The arity specification

param_types: Vec<SequenceType>

Parameter types (may be shorter than actual args for variadic functions)

return_type: SequenceType

Return type

Implementations

impl FunctionSignature

pub fn new( namespace: &'static str, local_name: &'static str, param_types: Vec<SequenceType>, return_type: SequenceType, ) -> Self

Create a new function signature with exact arity

pub fn variadic( namespace: &'static str, local_name: &'static str, min_args: usize, param_types: Vec<SequenceType>, return_type: SequenceType, ) -> Self

Create a function signature with variadic arity

pub fn range( namespace: &'static str, local_name: &'static str, min_args: usize, max_args: usize, param_types: Vec<SequenceType>, return_type: SequenceType, ) -> Self

Create a function signature with range arity

pub fn matches_arity(&self, count: usize) -> bool

Check if this signature matches the given arity

pub fn param_type(&self, index: usize) -> SequenceType

Get the expected type for a parameter at the given index

For variadic functions, if the index exceeds the param_types length, returns the last parameter type (if any) or item()*.

Trait Implementations

impl Clone for FunctionSignature

fn clone(&self) -> FunctionSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionSignature

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

Formats the value using the given formatter.

impl From<&FunctionSignature> for DynamicFunctionSignature

fn from(sig: &FunctionSignature) -> Self

Converts to this type from the input type.