Trait melior::ir::type::ShapedTypeLike

pub trait ShapedTypeLike<'c>: TypeLike<'c> {
    // Provided methods
    fn element(&self) -> Type<'c> { ... }
    fn rank(&self) -> usize { ... }
    fn dim_size(&self, index: usize) -> Result<usize, Error> { ... }
    fn has_rank(&self) -> bool { ... }
}

Trait for shaped types.

Provided Methods

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

Returns a element type.

fn rank(&self) -> usize

Returns a rank.

fn dim_size(&self, index: usize) -> Result<usize, Error>

Returns a dimension size.

fn has_rank(&self) -> bool

Checks if a type has a rank.

Implementors

impl<'c> ShapedTypeLike<'c> for MemRefType<'c>

impl<'c> ShapedTypeLike<'c> for RankedTensorType<'c>