Struct wasmtime::ArrayType

source ·
pub struct ArrayType { /* private fields */ }
Expand description

The type of a WebAssembly array.

WebAssembly arrays are dynamically-sized, but not resizable. They contain either unpacked Vals or packed 8-/16-bit integers.

§Subtyping and Equality

ArrayType does not implement Eq, because reference types have a subtyping relationship, and so 99.99% of the time you actually want to check whether one type matches (i.e. is a subtype of) another type. You can use the ArrayType::matches method to perform these types of checks. If, however, you are in that 0.01% scenario where you need to check precise equality between types, you can use the ArrayType::eq method.

Implementations§

source§

impl ArrayType

source

pub fn new(engine: &Engine, field_type: FieldType) -> Self

Construct a new ArrayType with the given field type’s mutability and storage type.

The new ArrayType will be final and without a supertype.

The result will be associated with the given engine, and attempts to use it with other engines will panic (for example, checking whether it is a subtype of another array type that is associated with a different engine).

§Panics

Panics if the given field type is not associated with the given engine.

source

pub fn with_finality_and_supertype( engine: &Engine, finality: Finality, supertype: Option<&Self>, field_type: FieldType, ) -> Result<Self>

Construct a new StructType with the given finality, supertype, and fields.

The result will be associated with the given engine, and attempts to use it with other engines will panic (for example, checking whether it is a subtype of another struct type that is associated with a different engine).

Returns an error if the supertype is final, or if this type does not match the supertype.

§Panics

Panics if the given field type is not associated with the given engine.

source

pub fn engine(&self) -> &Engine

Get the engine that this array type is associated with.

source

pub fn finality(&self) -> Finality

Get the finality of this array type.

source

pub fn supertype(&self) -> Option<Self>

Get the supertype of this array type, if any.

source

pub fn field_type(&self) -> FieldType

Get this array’s underlying field type.

The field type contains information about both this array type’s mutability and the storage type used for its elements.

source

pub fn mutability(&self) -> Mutability

Get this array type’s mutability and whether its instances’ elements can be updated or not.

This is a convenience method providing a short-hand for my_array_type.field_type().mutability().

source

pub fn element_type(&self) -> StorageType

Get the storage type used for this array type’s elements.

This is a convenience method providing a short-hand for my_array_type.field_type().element_type().

source

pub fn matches(&self, other: &ArrayType) -> bool

Does this array type match the other array type?

That is, is this function type a subtype of the other array type?

§Panics

Panics if either type is associated with a different engine from the other.

source

pub fn eq(a: &ArrayType, b: &ArrayType) -> bool

Is array type a precisely equal to array type b?

Returns false even if a is a subtype of b or vice versa, if they are not exactly the same array type.

§Panics

Panics if either type is associated with a different engine from the other.

Trait Implementations§

source§

impl Clone for ArrayType

source§

fn clone(&self) -> ArrayType

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 ArrayType

source§

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

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

impl Display for ArrayType

source§

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

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

impl From<ArrayType> for HeapType

source§

fn from(a: ArrayType) -> Self

Converts to this type from the input type.
source§

impl Hash for ArrayType

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

Auto Trait Implementations§

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> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> Pointable for T

source§

const ALIGN: usize = _

The alignment of pointer.
source§

type Init = T

The type for initializers.
source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same for T

source§

type Output = T

Should always be Self
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.