Struct melior::dialect::ods::pdl::TypeOperation

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

A type operation. Define a type handle within a pattern.

pdl.type operations capture result type constraints of Attributes, Values, and Operations. Instances of this operation define, and partially constrain, results types of a given entity. A pdl.type may partially constrain the result by specifying a constant Type.

Example:

// Define a type:
%type = pdl.type

// Define a type with a constant value:
%type = pdl.type : i32

Implementations

impl<'c> TypeOperation<'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> ) -> TypeOperationBuilder<'c, Unset>

Creates a builder.

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

pub fn constant_type(&self) -> Result<TypeAttribute<'c>, Error>

pub fn set_constant_type(&mut self, value: TypeAttribute<'c>)

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

Trait Implementations

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

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

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for TypeOperation<'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.