Enum WasmRepr 

pub(crate) enum WasmRepr {
    Val(ValType),
    Struct(Vec<WasmRepr>),
    Class(Vec<WasmRepr>),
    Nothing,
}

The WASM representation for a Dada value independent of the place in which it is stored. This isn’t really a specific representation, in some sense, but rather enough information to determine how to represent an instance of this value in any of the places it could appear:

• On the WebAssembly stack or memory, in which case all the flattened values would be pushed/stored one after the other.
• In WebAssembly local variables, in which case a subset of the values would be stored in subsequent variables. Note that the data for classes never appears in locals, and so a single value can be partially stored in locals and partially in memory.

See also

The WasmPlaceRepr type describes the representation of particular Dada place (which in turn has an associated Dada type).

Variants

Val(ValType)

Indicates a single primitive value. This may appear on the WASM stack, a local value, or the memory, depending on the context in which it appears.

Struct(Vec<WasmRepr>)

An aggregate value type. The values needed to represent its fields are found in the Vec<WasmRepr> argument.

Class(Vec<WasmRepr>)

A class. The data for classes is always stored in WASM memory. It begins with an (implicit) I32 flag word and then contains whatever values are needed to represent the fields, stored as a Vec<WasmRepr>.

Nothing

No data at all (something zero-sized).

Implementations

impl WasmRepr

pub fn flatten(&self) -> Vec<ValType>

Primitive WASM values needed for a value with this representation stored on the WASM stack or in memory.

pub fn local_val_tys(&self) -> Vec<ValType>

Returns the types of the WASM local variables that would be used to store a value with this representation. Any data found inside of a class is stored in memory and hence not represented in the return type.

Trait Implementations

impl Debug for WasmRepr

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

Formats the value using the given formatter.