Struct OpSpec 

pub struct OpSpec {
    pub key: OpKey,
    pub subject: Ref,
    pub args_shape: Ref,
    pub result_shape: Ref,
    pub effects: Vec<Symbol>,
    pub requires: Vec<CapabilityName>,
}

The declared contract of an operation: its key, shapes, effects, and required capabilities.

An OpSpec is metadata the kernel checks before dispatch – the args_shape is validated against the input and the requires capabilities are demanded from the Cx – while the concrete behavior lives in the Op that carries it.

Fields

key: OpKey

The interned operation key (namespace:name@vN) this spec describes.

subject: Ref

The subject the operation dispatches on.

args_shape: Ref

The shape the input is checked against before invocation.

result_shape: Ref

The shape the operation promises for its result.

effects: Vec<Symbol>

The effect symbols the operation may emit.

requires: Vec<CapabilityName>

The capabilities that must be granted before the operation runs.

Implementations

impl OpSpec

pub fn new(key: OpKey, subject: Ref, args_shape: Ref, result_shape: Ref) -> Self

Builds a spec with no declared effects or capability requirements.

pub fn with_effects(self, effects: Vec<Symbol>) -> Self

Returns the spec with its effect set replaced.

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

Returns the spec with one more required capability appended.

pub fn with_requirements(self, requires: Vec<CapabilityName>) -> Self

Returns the spec with its required-capability set replaced.

Trait Implementations

impl Clone for OpSpec

fn clone(&self) -> OpSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OpSpec

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

Formats the value using the given formatter.