Skip to main content

Op

Trait Op 

Source
pub trait Op: Send + Sync {
    // Required methods
    fn spec(&self) -> &OpSpec;
    fn invoke_authorized(&self, cx: &mut Cx, input: Value) -> Result<Step>;
}
Expand description

A keyed, shape-checked operation dispatched on an object.

The kernel defines this contract and the well-known core keys; libraries implement concrete operations against it. Dispatch goes through invoke_op, which checks the OpSpec before calling invoke_authorized.

Required Methods§

Source

fn spec(&self) -> &OpSpec

Returns the operation’s declared contract.

Source

fn invoke_authorized(&self, cx: &mut Cx, input: Value) -> Result<Step>

Runs the operation after the kernel has checked shapes and capabilities.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§