wiggle::wasmtime_crate::component

Trait ComponentType

pub unsafe trait ComponentType { }
Expand description

A trait representing types which can be passed to and read from components with the canonical ABI.

This trait is implemented for Rust types which can be communicated to components. The Func::typed and TypedFunc Rust items are the main consumers of this trait.

Supported Rust types include:

Component Model TypeRust Type
{s,u}{8,16,32,64}{i,u}{8,16,32,64}
f{32,64}f{32,64}
boolbool
charchar
tuple<A, B>(A, B)
option<T>Option<T>
resultResult<(), ()>
result<T>Result<T, ()>
result<_, E>Result<(), E>
result<T, E>Result<T, E>
stringString, &str, or WasmStr
list<T>Vec<T>, &[T], or WasmList
own<T>, borrow<T>Resource<T> or ResourceAny
record#[derive(ComponentType)]
variant#[derive(ComponentType)]
enum#[derive(ComponentType)]
flagsflags!

Rust standard library pointers such as &T, Box<T>, Rc<T>, and Arc<T> additionally represent whatever type T represents in the component model. Note that types such as record, variant, enum, and flags are generated by the embedder at compile time. These macros derive implementation of this trait for custom types to map to custom types in the component model. Note that for record, variant, enum, and flags those types are often generated by the bindgen! macro from WIT definitions.

Types that implement ComponentType are used for Params and Return in TypedFunc and Func::typed.

The contents of this trait are hidden as it’s intended to be an implementation detail of Wasmtime. The contents of this trait are not covered by Wasmtime’s stability guarantees.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types§

§

impl ComponentType for bool

§

impl ComponentType for char

§

impl ComponentType for f32

§

impl ComponentType for f64

§

impl ComponentType for i8

§

impl ComponentType for i16

§

impl ComponentType for i32

§

impl ComponentType for i64

§

impl ComponentType for str

§

impl ComponentType for u8

§

impl ComponentType for u16

§

impl ComponentType for u32

§

impl ComponentType for u64

§

impl ComponentType for ()

§

impl ComponentType for String

§

impl<A1> ComponentType for (A1,)
where A1: ComponentType,

§

impl<A1, A2> ComponentType for (A1, A2)

§

impl<A1, A2, A3> ComponentType for (A1, A2, A3)

§

impl<A1, A2, A3, A4> ComponentType for (A1, A2, A3, A4)

§

impl<A1, A2, A3, A4, A5> ComponentType for (A1, A2, A3, A4, A5)

§

impl<A1, A2, A3, A4, A5, A6> ComponentType for (A1, A2, A3, A4, A5, A6)

§

impl<A1, A2, A3, A4, A5, A6, A7> ComponentType for (A1, A2, A3, A4, A5, A6, A7)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)

§

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17> ComponentType for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17)

§

impl<T> ComponentType for Option<T>
where T: ComponentType,

§

impl<T> ComponentType for &T
where T: ComponentType + ?Sized,

§

impl<T> ComponentType for [T]
where T: ComponentType,

§

impl<T> ComponentType for Box<T>
where T: ComponentType + ?Sized,

§

impl<T> ComponentType for Rc<T>
where T: ComponentType + ?Sized,

§

impl<T> ComponentType for Arc<T>
where T: ComponentType + ?Sized,

§

impl<T> ComponentType for Vec<T>
where T: ComponentType,

§

impl<T, E> ComponentType for Result<T, E>

Implementors§

§

impl ComponentType for ResourceAny

§

impl ComponentType for WasmStr

§

impl<T> ComponentType for Resource<T>
where T: 'static,

§

impl<T> ComponentType for WasmList<T>
where T: ComponentType,