Struct FunctionType

pub struct FunctionType { /* private fields */ }

Expand description

The signature of a function that is either implemented in a Wasm module or exposed to Wasm by the host.

WebAssembly functions can have 0 or more parameters and results.

Implementations§

impl FunctionType

pub fn new<Params, Returns>(params: Params, returns: Returns) -> Self
where Params: Into<Box<[Type]>>, Returns: Into<Box<[Type]>>,

Creates a new Function Type with the given parameter and return types.

pub fn params(&self) -> &[Type]

Parameter types.

pub fn results(&self) -> &[Type]

Return types.

Trait Implementations§

impl Archive for FunctionType
where Box<[Type]>: Archive,

const COPY_OPTIMIZATION: CopyOptimization<Self> = _

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize. Read more

type Archived = ArchivedFunctionType

The archived representation of this type. Read more

type Resolver = FunctionTypeResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output. Read more

impl Clone for FunctionType

fn clone(&self) -> FunctionType

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 FunctionType

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

Formats the value using the given formatter. Read more

impl<D: Fallible + ?Sized> Deserialize<FunctionType, D> for Archived<FunctionType>
where Box<[Type]>: Archive, <Box<[Type]> as Archive>::Archived: Deserialize<Box<[Type]>, __D>,

fn deserialize( &self, deserializer: &mut D, ) -> Result<FunctionType, <D as Fallible>::Error>

Deserializes using the given deserializer

impl Display for FunctionType

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

Formats the value using the given formatter. Read more

impl From<&FunctionType> for FunctionType

fn from(as_ref: &Self) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 0])> for FunctionType

fn from(pair: ([Type; 0], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 1])> for FunctionType

fn from(pair: ([Type; 0], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 2])> for FunctionType

fn from(pair: ([Type; 0], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 3])> for FunctionType

fn from(pair: ([Type; 0], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 4])> for FunctionType

fn from(pair: ([Type; 0], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 5])> for FunctionType

fn from(pair: ([Type; 0], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 6])> for FunctionType

fn from(pair: ([Type; 0], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 7])> for FunctionType

fn from(pair: ([Type; 0], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 8])> for FunctionType

fn from(pair: ([Type; 0], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 0], [Type; 9])> for FunctionType

fn from(pair: ([Type; 0], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 0])> for FunctionType

fn from(pair: ([Type; 1], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 1])> for FunctionType

fn from(pair: ([Type; 1], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 2])> for FunctionType

fn from(pair: ([Type; 1], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 3])> for FunctionType

fn from(pair: ([Type; 1], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 4])> for FunctionType

fn from(pair: ([Type; 1], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 5])> for FunctionType

fn from(pair: ([Type; 1], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 6])> for FunctionType

fn from(pair: ([Type; 1], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 7])> for FunctionType

fn from(pair: ([Type; 1], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 8])> for FunctionType

fn from(pair: ([Type; 1], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 1], [Type; 9])> for FunctionType

fn from(pair: ([Type; 1], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 0])> for FunctionType

fn from(pair: ([Type; 2], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 1])> for FunctionType

fn from(pair: ([Type; 2], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 2])> for FunctionType

fn from(pair: ([Type; 2], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 3])> for FunctionType

fn from(pair: ([Type; 2], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 4])> for FunctionType

fn from(pair: ([Type; 2], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 5])> for FunctionType

fn from(pair: ([Type; 2], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 6])> for FunctionType

fn from(pair: ([Type; 2], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 7])> for FunctionType

fn from(pair: ([Type; 2], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 8])> for FunctionType

fn from(pair: ([Type; 2], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 2], [Type; 9])> for FunctionType

fn from(pair: ([Type; 2], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 0])> for FunctionType

fn from(pair: ([Type; 3], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 1])> for FunctionType

fn from(pair: ([Type; 3], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 2])> for FunctionType

fn from(pair: ([Type; 3], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 3])> for FunctionType

fn from(pair: ([Type; 3], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 4])> for FunctionType

fn from(pair: ([Type; 3], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 5])> for FunctionType

fn from(pair: ([Type; 3], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 6])> for FunctionType

fn from(pair: ([Type; 3], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 7])> for FunctionType

fn from(pair: ([Type; 3], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 8])> for FunctionType

fn from(pair: ([Type; 3], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 3], [Type; 9])> for FunctionType

fn from(pair: ([Type; 3], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 0])> for FunctionType

fn from(pair: ([Type; 4], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 1])> for FunctionType

fn from(pair: ([Type; 4], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 2])> for FunctionType

fn from(pair: ([Type; 4], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 3])> for FunctionType

fn from(pair: ([Type; 4], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 4])> for FunctionType

fn from(pair: ([Type; 4], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 5])> for FunctionType

fn from(pair: ([Type; 4], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 6])> for FunctionType

fn from(pair: ([Type; 4], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 7])> for FunctionType

fn from(pair: ([Type; 4], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 8])> for FunctionType

fn from(pair: ([Type; 4], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 4], [Type; 9])> for FunctionType

fn from(pair: ([Type; 4], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 0])> for FunctionType

fn from(pair: ([Type; 5], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 1])> for FunctionType

fn from(pair: ([Type; 5], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 2])> for FunctionType

fn from(pair: ([Type; 5], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 3])> for FunctionType

fn from(pair: ([Type; 5], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 4])> for FunctionType

fn from(pair: ([Type; 5], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 5])> for FunctionType

fn from(pair: ([Type; 5], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 6])> for FunctionType

fn from(pair: ([Type; 5], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 7])> for FunctionType

fn from(pair: ([Type; 5], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 8])> for FunctionType

fn from(pair: ([Type; 5], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 5], [Type; 9])> for FunctionType

fn from(pair: ([Type; 5], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 0])> for FunctionType

fn from(pair: ([Type; 6], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 1])> for FunctionType

fn from(pair: ([Type; 6], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 2])> for FunctionType

fn from(pair: ([Type; 6], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 3])> for FunctionType

fn from(pair: ([Type; 6], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 4])> for FunctionType

fn from(pair: ([Type; 6], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 5])> for FunctionType

fn from(pair: ([Type; 6], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 6])> for FunctionType

fn from(pair: ([Type; 6], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 7])> for FunctionType

fn from(pair: ([Type; 6], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 8])> for FunctionType

fn from(pair: ([Type; 6], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 6], [Type; 9])> for FunctionType

fn from(pair: ([Type; 6], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 0])> for FunctionType

fn from(pair: ([Type; 7], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 1])> for FunctionType

fn from(pair: ([Type; 7], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 2])> for FunctionType

fn from(pair: ([Type; 7], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 3])> for FunctionType

fn from(pair: ([Type; 7], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 4])> for FunctionType

fn from(pair: ([Type; 7], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 5])> for FunctionType

fn from(pair: ([Type; 7], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 6])> for FunctionType

fn from(pair: ([Type; 7], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 7])> for FunctionType

fn from(pair: ([Type; 7], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 8])> for FunctionType

fn from(pair: ([Type; 7], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 7], [Type; 9])> for FunctionType

fn from(pair: ([Type; 7], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 0])> for FunctionType

fn from(pair: ([Type; 8], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 1])> for FunctionType

fn from(pair: ([Type; 8], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 2])> for FunctionType

fn from(pair: ([Type; 8], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 3])> for FunctionType

fn from(pair: ([Type; 8], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 4])> for FunctionType

fn from(pair: ([Type; 8], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 5])> for FunctionType

fn from(pair: ([Type; 8], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 6])> for FunctionType

fn from(pair: ([Type; 8], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 7])> for FunctionType

fn from(pair: ([Type; 8], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 8])> for FunctionType

fn from(pair: ([Type; 8], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 8], [Type; 9])> for FunctionType

fn from(pair: ([Type; 8], [Type; 9])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 0])> for FunctionType

fn from(pair: ([Type; 9], [Type; 0])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 1])> for FunctionType

fn from(pair: ([Type; 9], [Type; 1])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 2])> for FunctionType

fn from(pair: ([Type; 9], [Type; 2])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 3])> for FunctionType

fn from(pair: ([Type; 9], [Type; 3])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 4])> for FunctionType

fn from(pair: ([Type; 9], [Type; 4])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 5])> for FunctionType

fn from(pair: ([Type; 9], [Type; 5])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 6])> for FunctionType

fn from(pair: ([Type; 9], [Type; 6])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 7])> for FunctionType

fn from(pair: ([Type; 9], [Type; 7])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 8])> for FunctionType

fn from(pair: ([Type; 9], [Type; 8])) -> Self

Converts to this type from the input type.

impl From<([Type; 9], [Type; 9])> for FunctionType

fn from(pair: ([Type; 9], [Type; 9])) -> Self

Converts to this type from the input type.

impl Hash for FunctionType

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

impl PartialEq for FunctionType

fn eq(&self, other: &FunctionType) -> 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.

impl<S: Fallible + ?Sized> Serialize<S> for FunctionType
where Box<[Type]>: Serialize<__S>,

fn serialize( &self, serializer: &mut S, ) -> Result<<Self as Archive>::Resolver, <S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl Eq for FunctionType

impl StructuralPartialEq for FunctionType

Auto Trait Implementations§

impl Freeze for FunctionType

impl RefUnwindSafe for FunctionType

impl Send for FunctionType

impl Sync for FunctionType

impl Unpin for FunctionType

impl UnwindSafe for FunctionType

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> ArchivePointee for T

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.

impl<T> ArchiveUnsized for T
where T: Archive,

type Archived = <T as Archive>::Archived

The archived counterpart of this type. Unlike Archive, it may be unsized. Read more

fn archived_metadata( &self, ) -> <<T as ArchiveUnsized>::Archived as ArchivePointee>::ArchivedMetadata

Creates the archived version of the metadata for this value.

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

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

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

impl<T> LayoutRaw for T

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.

impl<T> Pointee for T

type Metadata = ()

The metadata type for pointers and references to this type.

impl<T> Same for T

type Output = T

Should always be Self

impl<T, S> SerializeUnsized<S> for T
where T: Serialize<S>, S: Fallible + Writer + ?Sized,

fn serialize_unsized( &self, serializer: &mut S, ) -> Result<usize, <S as Fallible>::Error>

Writes the object and returns the position of the archived type.

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

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

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

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

fn to_string(&self) -> String

Converts the given value to a String. Read more

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.