Struct Operation 

pub struct Operation {
    pub form: Expr,
    pub result_shape: Option<ShapeRef>,
    pub required_capabilities: Vec<CapabilityName>,
}

A checked operation produced by an editor commit, ready to be submitted through realize.

Fields

form: Expr

The checked operation form to realize.

result_shape: Option<ShapeRef>

Optional shape the realized result must satisfy before it is accepted.

required_capabilities: Vec<CapabilityName>

Capabilities the realization target must hold to answer the operation.

Implementations

impl Operation

pub fn new(form: Expr) -> Self

Build an operation with no additional authority metadata.

pub fn with_result_shape(self, shape: ShapeRef) -> Self

Attach the expected shape of the realized result.

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

Attach one capability required by the realization target.

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.