Struct DispatchMethod 

pub struct DispatchMethod { /* private fields */ }

A single method belonging to a GenericFunction.

Pairs a parameter-shape signature with an executable MethodBody and a MethodRole; methods are matched against call arguments through the kernel Shape protocol.

Implementations

impl DispatchMethod

pub fn new( id: Symbol, role: MethodRole, parameter_shapes: Vec<Arc<dyn Shape>>, body: MethodBody, ) -> Self

Builds a method from its id, role, parameter shapes, and body.

pub fn id(&self) -> &Symbol

Returns the symbol identifying this method.

pub fn role(&self) -> MethodRole

Returns the method’s role in the combination.

pub fn arity(&self) -> usize

Returns the method’s arity (its number of parameter shapes).

pub fn parameter_shapes(&self) -> &[Arc<dyn Shape>]

Returns the parameter shapes this method matches against, in order.

pub fn hints(&self) -> &[HintMetadata]

Returns the operation hints attached to this method.

pub fn with_hint(self, hint: HintMetadata) -> Self

Adds an operation hint to this method.

pub fn with_argument_hint( self, argument: Symbol, detail: impl Into<String>, ) -> Self

Adds a hint describing one method argument.

pub fn with_capability_requirement(self, capability: CapabilityName) -> Self

Adds a hint describing a capability requirement.

pub fn with_codec_safe_form(self, form: Symbol) -> Self

Adds a hint describing a codec-safe form.

pub fn with_example(self, example: impl Into<String>) -> Self

Adds a runnable or displayable operation example.

pub fn match_args( &self, cx: &mut Cx, args: &[Value], ) -> Result<Option<MethodSpecificity>>

Tests the method against args, returning its specificity if applicable.

Returns None on arity mismatch or if any parameter shape rejects its argument; otherwise returns the accumulated MethodSpecificity.

pub fn invoke(&self, cx: &mut Cx, args: &[Value]) -> Result<Value>

Runs the method body against args, returning its result.

Trait Implementations

impl Clone for DispatchMethod

fn clone(&self) -> DispatchMethod

Returns a duplicate of the value.

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

Performs copy-assignment from source.