stable_mir::ty

Struct Ty

source
pub struct Ty(usize);

Tuple Fields§

§0: usize

Implementations§

source§

impl Ty

Constructors for Ty.

source

pub fn from_rigid_kind(kind: RigidTy) -> Ty

Create a new type from a given kind.

source

pub fn try_new_array(elem_ty: Ty, size: u64) -> Result<Ty, Error>

Create a new array type.

source

pub fn new_array_with_const_len(elem_ty: Ty, len: TyConst) -> Ty

Create a new array type from Const length.

source

pub fn new_ptr(pointee_ty: Ty, mutability: Mutability) -> Ty

Create a new pointer type.

source

pub fn new_ref(reg: Region, pointee_ty: Ty, mutability: Mutability) -> Ty

Create a new reference type.

source

pub fn new_tuple(tys: &[Ty]) -> Ty

Create a new pointer type.

source

pub fn new_closure(def: ClosureDef, args: GenericArgs) -> Ty

Create a new closure type.

source

pub fn new_coroutine( def: CoroutineDef, args: GenericArgs, mov: Movability, ) -> Ty

Create a new coroutine type.

source

pub fn new_box(inner_ty: Ty) -> Ty

Create a new box type that represents Box<T>, for the given inner type T.

source

pub fn usize_ty() -> Ty

Create a type representing usize.

source

pub fn bool_ty() -> Ty

Create a type representing bool.

source

pub fn signed_ty(inner: IntTy) -> Ty

Create a type representing a signed integer.

source

pub fn unsigned_ty(inner: UintTy) -> Ty

Create a type representing an unsigned integer.

source

pub fn layout(self) -> Result<Layout, Error>

Get a type layout.

source§

impl Ty

source

pub fn kind(&self) -> TyKind

Trait Implementations§

source§

impl Clone for Ty

source§

fn clone(&self) -> Ty

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Ty

source§

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

Formats the value using the given formatter. Read more
source§

impl Display for Ty

source§

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

Formats the value using the given formatter. Read more
source§

impl Hash for Ty

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl IndexedVal for Ty

source§

fn to_val(index: usize) -> Self

source§

fn to_index(&self) -> usize

source§

impl PartialEq for Ty

source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

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

impl Serialize for Ty

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl Visitable for Ty

source§

fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

source§

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

source§

impl Copy for Ty

source§

impl Eq for Ty

source§

impl StructuralPartialEq for Ty

Auto Trait Implementations§

§

impl Freeze for Ty

§

impl RefUnwindSafe for Ty

§

impl Send for Ty

§

impl Sync for Ty

§

impl Unpin for Ty

§

impl UnwindSafe for Ty

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes