Struct melior::ir::type::FunctionType

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

A function type.

Implementations

impl<'c> FunctionType<'c>

pub fn new( context: &'c Context, inputs: &[Type<'c>], results: &[Type<'c>] ) -> Self

Creates a function type.

pub fn input(&self, index: usize) -> Result<Type<'c>, Error>

Gets an input at a position.

pub fn result(&self, index: usize) -> Result<Type<'c>, Error>

Gets a result at a position.

pub fn input_count(&self) -> usize

Gets a number of inputs.

pub fn result_count(&self) -> usize

Gets a number of results.

Trait Implementations

impl<'c> Clone for FunctionType<'c>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'c> Debug for FunctionType<'c>

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

Formats the value using the given formatter.

impl<'c> Display for FunctionType<'c>

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

Formats the value using the given formatter.

impl<'c> From<FunctionType<'c>> for Type<'c>

fn from(value: FunctionType<'c>) -> Self

Converts to this type from the input type.

impl<'c> TryFrom<Type<'c>> for FunctionType<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(type: Type<'c>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'c> TypeLike<'c> for FunctionType<'c>

fn to_raw(&self) -> MlirType

Converts a type into a raw object.

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

Gets a context.

fn id(&self) -> TypeId<'c>

Gets an ID.

fn dump(&self)

Dumps a type.

fn is_any_quantized_type(&self) -> bool

Returns true if a type is any quantized type.

fn is_bf16(&self) -> bool

Returns true if a type is bf16.

fn is_calibrated_quantized_type(&self) -> bool

Returns true if a type is calibrated quantized type.

fn is_complex(&self) -> bool

Returns true if a type is complex.

fn is_f16(&self) -> bool

Returns true if a type is f16.

fn is_f32(&self) -> bool

Returns true if a type is f32.

fn is_f64(&self) -> bool

Returns true if a type is f64.

fn is_float8e4m3fn(&self) -> bool

Returns true if a type is float8e4m3fn.

fn is_float8e5m2(&self) -> bool

Returns true if a type is float8e5m2.

fn is_function(&self) -> bool

Returns true if a type is function.

fn is_index(&self) -> bool

Returns true if a type is index.

fn is_integer(&self) -> bool

Returns true if a type is integer.

fn is_mem_ref(&self) -> bool

Returns true if a type is mem ref.

fn is_none(&self) -> bool

Returns true if a type is none.

fn is_opaque(&self) -> bool

Returns true if a type is opaque.

fn is_pdl_attribute_type(&self) -> bool

Returns true if a type is pdl attribute type.

fn is_pdl_operation_type(&self) -> bool

Returns true if a type is pdl operation type.

fn is_pdl_range_type(&self) -> bool

Returns true if a type is pdl range type.

fn is_pdl_type(&self) -> bool

Returns true if a type is pdl type.

fn is_pdl_type_type(&self) -> bool

Returns true if a type is pdl type type.

fn is_pdl_value_type(&self) -> bool

Returns true if a type is pdl value type.

fn is_quantized_type(&self) -> bool

Returns true if a type is quantized type.

fn is_ranked_tensor(&self) -> bool

Returns true if a type is ranked tensor.

fn is_shaped(&self) -> bool

Returns true if a type is shaped.

fn is_tensor(&self) -> bool

Returns true if a type is tensor.

fn is_transform_any_op_type(&self) -> bool

Returns true if a type is transform any op type.

fn is_transform_operation_type(&self) -> bool

Returns true if a type is transform operation type.

fn is_tuple(&self) -> bool

Returns true if a type is tuple.

fn is_uniform_quantized_per_axis_type(&self) -> bool

Returns true if a type is uniform quantized per axis type.

fn is_uniform_quantized_type(&self) -> bool

Returns true if a type is uniform quantized type.

fn is_unranked_mem_ref(&self) -> bool

Returns true if a type is unranked mem ref.

fn is_unranked_tensor(&self) -> bool

Returns true if a type is unranked tensor.

fn is_vector(&self) -> bool

Returns true if a type is vector.

impl<'c> Copy for FunctionType<'c>