Struct SemanticOperationView 

pub struct SemanticOperationView<'a> { /* private fields */ }

Allocation-free immutable view of one semantic operation.

Implementations

impl<'a> SemanticOperationView<'a>

pub fn op(self) -> SemanticOpRef<'a>

Borrow the semantic operation payload.

pub fn inputs(self) -> &'a [ProgramValue]

Borrow ordered SSA inputs.

pub fn outputs(self) -> &'a [ProgramValue]

Borrow ordered SSA outputs.

pub fn effects(self) -> &'a [Effect]

Borrow ordered observable effects.

pub fn aliases(self) -> &'a [Alias]

Borrow output alias declarations.

pub fn shape_guards(self) -> &'a [ShapeGuard]

Borrow operation-local symbolic guards.

pub fn provenance(self) -> SemanticProvenanceView<'a>

Return bounded diagnostic provenance without source identities.

pub fn placement(self) -> SemanticPlacementConstraint

Return the unresolved placement constraint.

Trait Implementations

impl<'a> Clone for SemanticOperationView<'a>

fn clone(&self) -> SemanticOperationView<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticOperationView<'_>

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

Formats the value using the given formatter.

impl<'a> Copy for SemanticOperationView<'a>