Struct WasmReprCx 

pub(super) struct WasmReprCx<'g, 'db> {
    db: &'db dyn Db,
    generics: &'g Map<SymVariable<'db>, SymGenericTerm<'db>>,
}

Fields

db: &'db dyn Db

generics: &'g Map<SymVariable<'db>, SymGenericTerm<'db>>

Implementations

impl<'g, 'db> WasmReprCx<'g, 'db>

pub(super) fn new( db: &'db dyn Db, generics: &'g Map<SymVariable<'db>, SymGenericTerm<'db>>, ) -> Self

pub(super) fn wasm_repr_of_type(&mut self, of_type: SymTy<'db>) -> WasmRepr

Returns the WasmRepr that describes how of_type will be represented in WASM.

fn wasm_repr_of_variable(&mut self, sym_variable: SymVariable<'db>) -> WasmRepr

fn wasm_repr_of_perm_type( &mut self, sym_perm: SymPerm<'db>, sym_ty: SymTy<'db>, ) -> WasmRepr

fn wasm_repr_of_named_type( &mut self, ty_name: SymTyName<'db>, ty_args: &Vec<SymGenericTerm<'db>>, ) -> WasmRepr

Returns the WasmRepr for a Dada named type.

fn wasm_valtype_for_primitive_kind( &self, primitive: SymPrimitiveKind, ) -> ValType

The WASM [ValType][] for a Dada primtive. Note that small Dada values like i16 or whatever are just promoted up to I32 because we are lazy.

fn wasm_repr_of_aggr_fields( &mut self, aggr: SymAggregate<'db>, ty_args: &Vec<SymGenericTerm<'db>>, ) -> Vec<WasmRepr>

The WASM representations for the fields of some aggregate type (could be a struct or a class).

fn aggr_field_tys<'a>( &self, aggr: SymAggregate<'db>, ty_args: &'a Vec<SymGenericTerm<'db>>, ) -> Vec<SymTy<'db>>

The types of each field of some aggregate type given the values ty_args for its generic arguments.

fn wasm_pointer(&self) -> WasmRepr

The WASM representation for a pointer value.

fn pointer_val_type(&self) -> ValType

The [ValType][] for a pointer value. For now, hardcoded to [ValType::I32][] but if/when 64-bit wasm exists this could change.