Struct sway_ir::irtype::Type

pub struct Type(pub Index);

Tuple Fields

0: Index

Implementations

impl Type

pub fn get_type(context: &Context, t: &TypeContent) -> Option<Type>

Get Type if it already exists.

pub fn create_basic_types(context: &mut Context)

pub fn get_content<'a>(&self, context: &'a Context) -> &'a TypeContent

Get the content for this Type.

pub fn get_unit(context: &Context) -> Type

Get unit type

pub fn get_bool(context: &Context) -> Type

Get bool type

pub fn new_uint(context: &mut Context, width: u8) -> Type

New unsigned integer type

pub fn get_uint8(context: &Context) -> Type

New u8 type

pub fn get_uint32(context: &Context) -> Type

New u32 type

pub fn get_uint64(context: &Context) -> Type

New u64 type

pub fn get_uint(context: &Context, width: u8) -> Option<Type>

Get unsigned integer type

pub fn get_b256(context: &Context) -> Type

Get B256 type

pub fn new_string(context: &mut Context, len: u64) -> Type

Get string type

pub fn new_array(context: &mut Context, elm_ty: Type, len: u64) -> Type

Get array type

pub fn new_union(context: &mut Context, fields: Vec<Type>) -> Type

Get union type

pub fn new_struct(context: &mut Context, fields: Vec<Type>) -> Type

Get struct type

pub fn get_slice(context: &mut Context) -> Type

Get pointer type

pub fn as_string(&self, context: &Context) -> String

Return a string representation of type, used for printing.

pub fn eq(&self, context: &Context, other: &Type) -> bool

Compare a type to this one for equivalence. PartialEq does not take into account the special case for Unions below.

pub fn is_bool(&self, context: &Context) -> bool

Is bool type

pub fn is_unit(&self, context: &Context) -> bool

Is unit type

pub fn is_uint(&self, context: &Context) -> bool

Is unsigned integer type

pub fn is_uint8(&self, context: &Context) -> bool

Is u8 type

pub fn is_uint32(&self, context: &Context) -> bool

Is u32 type

pub fn is_uint64(&self, context: &Context) -> bool

Is u64 type

pub fn is_uint_of(&self, context: &Context, width: u8) -> bool

Is unsigned integer type of specific width

pub fn is_b256(&self, context: &Context) -> bool

Is B256 type

pub fn is_string(&self, context: &Context) -> bool

Is string type

pub fn is_array(&self, context: &Context) -> bool

Is array type

pub fn is_union(&self, context: &Context) -> bool

Is union type

pub fn is_struct(&self, context: &Context) -> bool

Is struct type

pub fn is_slice(&self, context: &Context) -> bool

Returns true if this is a slice type.

pub fn get_uint_width(&self, context: &Context) -> Option<u8>

Get width of an integer type.

pub fn get_indexed_type(&self, context: &Context, indices: &[u64]) -> Option<Type>

What’s the type of the struct value indexed by indices.

pub fn get_field_type(&self, context: &Context, idx: u64) -> Option<Type>

pub fn get_array_elem_type(&self, context: &Context) -> Option<Type>

Get the type of the array element, if applicable.

pub fn get_array_len(&self, context: &Context) -> Option<u64>

Get the length of the array , if applicable.

pub fn get_string_len(&self, context: &Context) -> Option<u64>

Get the length of a string

pub fn get_field_types(&self, context: &Context) -> Vec<Type>

Get the type of each field of a struct Type. Empty vector otherwise.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl DebugWithContext for Type

fn fmt_with_context<'a, 'c>(
    &'a self,
    formatter: &mut Formatter<'_>,
    context: &'c Context
) -> Result

fn with_context<'a, 'c>(
    &'a self,
    context: &'c Context
) -> WithContext<'a, 'c, Self>

impl Hash for Type

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Type> for Type

fn eq(&self, other: &Type) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Type

impl Eq for Type

impl StructuralEq for Type

impl StructuralPartialEq for Type