Struct wasm_encoder::TypeSection

pub struct TypeSection { /* private fields */ }

An encoder for the type section of WebAssembly modules.

Example

use wasm_encoder::{Module, TypeSection, ValType};

let mut types = TypeSection::new();

types.function([ValType::I32, ValType::I32], [ValType::I64]);

let mut module = Module::new();
module.section(&types);

let bytes = module.finish();

Implementations

impl TypeSection

pub fn new() -> Self

Create a new module 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 function<P, R>(&mut self, params: P, results: R) -> &mut Self

where P: IntoIterator<Item = ValType>, P::IntoIter: ExactSizeIterator, R: IntoIterator<Item = ValType>, R::IntoIter: ExactSizeIterator,

Define a function type in this type section.

pub fn func_type(&mut self, ty: &FuncType) -> &mut Self

Define a function type in this type section.

pub fn array(&mut self, ty: &StorageType, mutable: bool) -> &mut Self

Define an array type in this type section.

pub fn struct_<F>(&mut self, fields: F) -> &mut Self

where F: IntoIterator<Item = FieldType>, F::IntoIter: ExactSizeIterator,

Define a struct type in this type section.

pub fn subtype(&mut self, ty: &SubType) -> &mut Self

Define an explicit subtype in this type section.

pub fn rec<T>(&mut self, types: T) -> &mut Self

where T: IntoIterator<Item = SubType>, T::IntoIter: ExactSizeIterator,

Define an explicit recursion group in this type section.

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

impl Encode for TypeSection

fn encode(&self, sink: &mut Vec<u8>)

Encode the type into the given byte sink.

impl Section for TypeSection

fn id(&self) -> u8

Gets the section identifier for this section.

fn append_to(&self, dst: &mut Vec<u8>)

Appends this section to the specified destination list of bytes.