Struct TypeId

pub struct TypeId(pub u32);

An interned Id for ArrayDef.

Tuple Fields

0: u32

Implementations

impl TypeId

pub fn data(self, db: &dyn MirDb) -> Rc<Type>

pub fn analyzer_ty(self, db: &dyn MirDb) -> Option<TypeId>

pub fn projection_ty(self, db: &dyn MirDb, access: &Value) -> TypeId

pub fn deref(self, db: &dyn MirDb) -> TypeId

pub fn make_sptr(self, db: &dyn MirDb) -> TypeId

pub fn make_mptr(self, db: &dyn MirDb) -> TypeId

pub fn projection_ty_imm(self, db: &dyn MirDb, index: usize) -> TypeId

pub fn aggregate_field_num(self, db: &dyn MirDb) -> usize

pub fn enum_disc_type(self, db: &dyn MirDb) -> TypeId

pub fn enum_data_offset(self, db: &dyn MirDb, slot_size: usize) -> usize

pub fn enum_variant_type( self, db: &dyn MirDb, variant_id: EnumVariantId, ) -> TypeId

pub fn index_from_fname(self, db: &dyn MirDb, fname: &str) -> BigInt

pub fn is_primitive(self, db: &dyn MirDb) -> bool

pub fn is_integral(self, db: &dyn MirDb) -> bool

pub fn is_address(self, db: &dyn MirDb) -> bool

pub fn is_unit(self, db: &dyn MirDb) -> bool

pub fn is_enum(self, db: &dyn MirDb) -> bool

pub fn is_signed(self, db: &dyn MirDb) -> bool

pub fn size_of(self, db: &dyn MirDb, slot_size: usize) -> usize

Returns size of the type in bytes.

pub fn is_zero_sized(self, db: &dyn MirDb) -> bool

pub fn align_of(self, db: &dyn MirDb, slot_size: usize) -> usize

pub fn aggregate_elem_offset<T>( self, db: &dyn MirDb, elem_idx: T, slot_size: usize, ) -> usize

where T: ToPrimitive,

Returns an offset of the element of aggregate type.

pub fn is_aggregate(self, db: &dyn MirDb) -> bool

pub fn is_struct(self, db: &dyn MirDb) -> bool

pub fn is_array(self, db: &dyn MirDb) -> bool

pub fn is_string(self, db: &dyn MirDb) -> bool

pub fn is_ptr(self, db: &dyn MirDb) -> bool

pub fn is_mptr(self, db: &dyn MirDb) -> bool

pub fn is_sptr(self, db: &dyn MirDb) -> bool

pub fn is_map(self, db: &dyn MirDb) -> bool

pub fn is_contract(self, db: &dyn MirDb) -> bool

pub fn array_elem_size(self, db: &dyn MirDb, slot_size: usize) -> usize

pub fn print<W: Write>(&self, db: &dyn MirDb, w: &mut W) -> Result

pub fn as_string(&self, db: &dyn MirDb) -> String

Trait Implementations

impl Clone for TypeId

fn clone(&self) -> TypeId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeId

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

Formats the value using the given formatter.

impl Hash for TypeId

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 InternKey for TypeId

fn from_intern_id(v: InternId) -> Self

Create an instance of the intern-key from a u32 value.

fn as_intern_id(&self) -> InternId

Extract the u32 with which the intern-key was created.

impl PartialEq for TypeId

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PrettyPrint for TypeId

fn pretty_print<W: Write>( &self, db: &dyn MirDb, _store: &BodyDataStore, w: &mut W, ) -> Result

fn pretty_string(&self, db: &dyn MirDb, store: &BodyDataStore) -> String

impl Copy for TypeId

impl Eq for TypeId

impl StructuralPartialEq for TypeId