Trait melior::ir::ValueLike

pub trait ValueLike<'c> {
    // Required method
    fn to_raw(&self) -> MlirValue;

    // Provided methods
    fn type(&self) -> Type<'c> { ... }
    fn is_block_argument(&self) -> bool { ... }
    fn is_operation_result(&self) -> bool { ... }
    fn dump(&self) { ... }
}

Trait for value-like types.

Required Methods

fn to_raw(&self) -> MlirValue

Converts a value into a raw value.

Provided Methods

fn type(&self) -> Type<'c>

Returns a type.

fn is_block_argument(&self) -> bool

Returns true if a value is a block argument.

fn is_operation_result(&self) -> bool

Returns true if a value is an operation result.

fn dump(&self)

Dumps a value.

Implementors

impl<'c, 'a> ValueLike<'c> for BlockArgument<'c, 'a>

impl<'c, 'a> ValueLike<'c> for OperationResult<'c, 'a>

impl<'c, 'a> ValueLike<'c> for Value<'c, 'a>