Trait melior_next::ir::TypeLike

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

    // Provided methods
    fn context(&self) -> ContextRef<'c> { ... }
    fn id(&self) -> Id { ... }
    fn is_integer(&self) -> bool { ... }
    fn get_width(&self) -> Option<u32> { ... }
    fn is_index(&self) -> bool { ... }
    fn is_bfloat16(&self) -> bool { ... }
    fn is_float16(&self) -> bool { ... }
    fn is_float32(&self) -> bool { ... }
    fn is_float64(&self) -> bool { ... }
    fn is_function(&self) -> bool { ... }
    fn is_mem_ref(&self) -> bool { ... }
    fn is_tuple(&self) -> bool { ... }
    fn is_vector(&self) -> bool { ... }
    fn dump(&self) { ... }
}

Trait for type-like types.

Required Methods

fn to_raw(&self) -> MlirType

Converts a type into a raw type.

Provided Methods

fn context(&self) -> ContextRef<'c>

Gets a context.

fn id(&self) -> Id

Gets an ID.

fn is_integer(&self) -> bool

Returns true if a type is integer.

fn get_width(&self) -> Option<u32>

Gets the bit width of this integer type.

Returns None if this type is not an integer.

fn is_index(&self) -> bool

Returns true if a type is index.

fn is_bfloat16(&self) -> bool

Returns true if a type is bfloat16.

fn is_float16(&self) -> bool

Returns true if a type is float16.

fn is_float32(&self) -> bool

Returns true if a type is float32.

fn is_float64(&self) -> bool

Returns true if a type is float64.

fn is_function(&self) -> bool

Returns true if a type is a function.

fn is_mem_ref(&self) -> bool

Returns true if a type is a memory reference.

fn is_tuple(&self) -> bool

Returns true if a type is a tuple.

fn is_vector(&self) -> bool

Returns true if a type is a vector.

fn dump(&self)

Dumps a type.

Implementors

impl<'c> TypeLike<'c> for Function<'c>

impl<'c> TypeLike<'c> for Tuple<'c>

impl<'c> TypeLike<'c> for Type<'c>