Struct wasm_encoder::component::TypeSection

pub struct TypeSection { /* private fields */ }

An encoder for the component type section.

Example

use wasm_encoder::component::{Component, TypeSection, InterfaceType};

let mut types = TypeSection::new();

types.function(&[], &[]);

// list<u8>
let mut encoder = types.compound();
encoder.list(InterfaceType::U8);

// record { foo: list<u8> }
let mut encoder = types.compound();
encoder.record(&[("foo", InterfaceType::Compound(1))]);

let mut component = Component::new();
component.section(&types);

let bytes = component.finish();

Implementations

impl TypeSection

pub fn new() -> Self

Create a new component type section encoder.

pub fn len(&self) -> u32

The number of types in the section.

pub fn is_empty(&self) -> bool

Determines if the section is empty.

pub fn instance(&mut self, ty: &InstanceType) -> &mut Self

Define an instance type in this type section.

pub fn module(&mut self, ty: &ModuleType) -> &mut Self

Define a module type in this type section.

pub fn function(&mut self, params: &[ValType], results: &[ValType]) -> &mut Self

Define a function type in this type section.

pub fn adapter_function(
    &mut self,
    params: &[(&str, InterfaceType)],
    results: &[(Option<&str>, InterfaceType)]
) -> &mut Self

Define an adapter function type.

Panics

This function panics if the given results are not all unnamed (i.e. None) or all named (i.e. Some).

pub fn compound(&mut self) -> CompoundTypeEncoder<'_>

Define a compound type.

Trait Implementations

impl Clone for TypeSection

fn clone(&self) -> TypeSection

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ComponentSection for TypeSection

fn id(&self) -> u8

This section’s id.

fn encode<S>(&self, sink: &mut S) where
    S: Extend<u8>, 

Write this section’s data and data length prefix into the given sink.

impl Debug for TypeSection

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

Formats the value using the given formatter.

impl Default for TypeSection

fn default() -> TypeSection

Returns the “default value” for a type.