Struct MeetOperation 

pub struct MeetOperation<'c> { /* private fields */ }

A meet operation. Returns the least general shape or size of its operands.

An operation that computes the least general shape or dim of input operands. This effectively asserts that corresponding static dimensions are equal. The behavior is to match each element of the shape/size and propagate the most restrictive information, returning an invalid shape if there are contradictory requirements. E.g., using pseudo code

shape.meet([*], [*]) -> [*]
shape.meet([*], [1, ?]) -> [1, ?]
shape.meet([1, 2], [1, ?]) -> [1, 2]
shape.meet([*], [1, 2]) -> [1, 2]
shape.meet([], []) -> []
shape.meet([], [*]) -> []
shape.meet([], [?, ?]) -> [invalid]
shape.meet([1, ?], [2, ?, ?]) -> [invalid]

shape.meet also allows specifying an optional error string, that may be used to return an error to the user upon mismatch of dimensions.

%c = shape.meet %a, %b, error="<reason>" : !shape.shape, !shape.shape -> !shape.shape

Implementations

impl<'c> MeetOperation<'c>

pub fn name() -> &'static str

Returns a name.

pub fn as_operation(&self) -> &Operation<'c>

Returns a generic operation.

pub fn builder( context: &'c Context, location: Location<'c>, ) -> MeetOperationBuilder<'c, Unset, Unset>

Creates a builder.

pub fn result(&self) -> Result<OperationResult<'c, '_>, Error>

pub fn arg_0(&self) -> Result<Value<'c, '_>, Error>

pub fn arg_1(&self) -> Result<Value<'c, '_>, Error>

pub fn error(&self) -> Result<StringAttribute<'c>, Error>

pub fn set_error(&mut self, value: StringAttribute<'c>)

pub fn remove_error(&mut self) -> Result<(), Error>

Trait Implementations

impl<'c> Clone for MeetOperation<'c>

fn clone(&self) -> MeetOperation<'c>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'c> Debug for MeetOperation<'c>

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

Formats the value using the given formatter.

impl<'b> From<MeetOperation<'b>> for ShapeDialectOperation<'b>

fn from(op: MeetOperation<'b>) -> Self

Converts to this type from the input type.

impl<'c> From<MeetOperation<'c>> for Operation<'c>

fn from(operation: MeetOperation<'c>) -> Self

Converts to this type from the input type.

impl<'c> PartialEq for MeetOperation<'c>

fn eq(&self, other: &MeetOperation<'c>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'c> TryFrom<Operation<'c>> for MeetOperation<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(operation: Operation<'c>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'c> Eq for MeetOperation<'c>

impl<'c> StructuralPartialEq for MeetOperation<'c>