wiggle::wasmtime_crate

Struct FuncType

pub struct FuncType { /* private fields */ }
Expand description

The type of a WebAssembly function.

WebAssembly functions can have 0 or more parameters and results.

§Subtyping and Equality

FuncType 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 FuncType::matches and Func::matches_ty methods 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 FuncType::eq method.

Implementations§

§

impl FuncType

pub fn new( engine: &Engine, params: impl IntoIterator<Item = ValType>, results: impl IntoIterator<Item = ValType>, ) -> FuncType

Creates a new function type from the given parameters and results.

The function type returned will represent a function which takes params as arguments and returns results when it is finished.

The resulting function type will be final and without a supertype.

§Panics

Panics if any parameter or value type is not associated with the given engine.

pub fn with_finality_and_supertype( engine: &Engine, finality: Finality, supertype: Option<&FuncType>, params: impl IntoIterator<Item = ValType>, results: impl IntoIterator<Item = ValType>, ) -> Result<FuncType, Error>

Create a new function type with the given finality, supertype, parameter types, and result types.

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

§Panics

Panics if any parameter or value type is not associated with the given engine.

pub fn engine(&self) -> &Engine

Get the engine that this function type is associated with.

pub fn finality(&self) -> Finality

Get the finality of this function type.

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

Get the supertype of this function type, if any.

pub fn param(&self, i: usize) -> Option<ValType>

Get the ith parameter type.

Returns None if i is out of bounds.

pub fn params(&self) -> impl ExactSizeIterator

Returns the list of parameter types for this function.

pub fn result(&self, i: usize) -> Option<ValType>

Get the ith result type.

Returns None if i is out of bounds.

pub fn results(&self) -> impl ExactSizeIterator

Returns the list of result types for this function.

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

Does this function type match the other function type?

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

§Panics

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

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

Is function type a precisely equal to function type b?

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

§Panics

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

Trait Implementations§

§

impl Clone for FuncType

§

fn clone(&self) -> FuncType

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
§

impl Debug for FuncType

§

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

Formats the value using the given formatter. Read more
§

impl Display for FuncType

§

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

Formats the value using the given formatter. Read more
§

impl From<FuncType> for ExternType

§

fn from(ty: FuncType) -> ExternType

Converts to this type from the input type.
§

impl From<FuncType> for HeapType

§

fn from(f: FuncType) -> HeapType

Converts to this type from the input type.
§

impl Hash for FuncType

§

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

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 u8)

🔬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> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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
§

impl<T> Pointable for T

§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
§

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

Initializes a with the given initializer. Read more
§

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

Dereferences the given pointer. Read more
§

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

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

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

impl<T> Pointee for T

Source§

type Pointer = u32

Source§

fn debug( pointer: <T as Pointee>::Pointer, f: &mut Formatter<'_>, ) -> Result<(), Error>

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.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more