package tezos-webassembly-interpreter

You can search for identifiers within the package.

in-package search v0.2.0

tezos-webassembly-interpreter
- Tezos_webassembly_interpreter
  - Ast
    
    FloatOp
    
    IntOp
    
    V128Op
  - Binary_exn
    
    Decode_error
    
    Encode_error
    
    Floating_point
  - Decode
  - Durable_storage
  - Encode
  - Env
  - Error
    
    Make
  - Eval
  - Eval_num
  - Eval_vec
  - F32
  - F32_convert
  - F64
  - F64_convert
  - Free
  - Func
  - Fxx
    
    Make
    
    Rep
    
    RepType
    
    S
  - Global
  - Host_funcs
  - I16
  - I32
  - I32_convert
  - I64
  - I64_convert
  - I8
  - Import
  - Input_buffer
  - Instance
    
    ModuleMap
    
    Map
    
    Map
    
    NameMap
    
    Map
  - Ixx
    
    Make
    
    Rep
    
    RepType
    
    S
  - Lib
    
    Array32
    
    Bigarray
    
    Array1_64
    
    Fun
    
    Int
    
    List
    
    List32
    
    Option
    
    String
  - Memory
  - Memory_sig
    
    S
  - Operators
  - Output_buffer
    
    Internal_for_tests
  - Partial_memory
  - Partial_table
  - Source
  - Spectest
  - Table
  - Table_sig
    
    S
  - Tick_model
  - Types
  - Utf8
  - V128
    
    F32x4
    
    F32x4_convert
    
    F64x2
    
    F64x2_convert
    
    FloatShape
    
    I16x8
    
    I16x8_convert
    
    I32x4
    
    I32x4_convert
    
    I64x2
    
    I64x2_convert
    
    I8x16
    
    I8x16_convert
    
    IntShape
    
    V1x128
    
    V8x16
  - Valid
  - Values
    
    F32Num
    
    F64Num
    
    I32Num
    
    I64Num
    
    NumType
    
    V128Vec
    
    VecType

Legend:
Library
Module
Module type
Parameter
Class
Class type

module ModuleMap : sig ... end

module Vector = Tezos_lazy_containers.Lazy_vector.Int32Vector

module NameMap : sig ... end

type module_key =

| Module_key of string

val pp_module_key : 
  Ppx_deriving_runtime.Format.formatter ->
  module_key ->
  Ppx_deriving_runtime.unit

val show_module_key : module_key -> Ppx_deriving_runtime.string

type module_inst = {

types : Types.func_type Vector.t;
funcs : func_inst Vector.t;
tables : table_inst Vector.t;
memories : memory_inst Vector.t;
globals : global_inst Vector.t;
exports : extern NameMap.t;
elems : elem_inst Vector.t;
datas : data_inst Vector.t;
allocations : Ast.allocations;

}

and func_inst = module_key Func.t

and table_inst = Table.t

and memory_inst = Memory.t

and global_inst = Global.t

and input_inst = Input_buffer.t

and output_inst = Output_buffer.t

and export_inst = Ast.name * extern

and elem_inst = Values.ref_ Vector.t Stdlib.ref

and data_inst = Ast.data_label Stdlib.ref

and extern =

| ExternFunc of func_inst
| ExternTable of table_inst
| ExternMemory of memory_inst
| ExternGlobal of global_inst

and module_reg = module_inst ModuleMap.t

type Values.ref_ +=

| FuncRef of func_inst

val empty_module_inst : module_inst

val update_module_ref : 'a ModuleMap.t -> module_key -> 'a -> unit

val resolve_module_ref : 'a ModuleMap.t -> module_key -> 'a Lwt.t

val extern_type_of : extern -> Types.extern_type

val export : module_inst -> NameMap.key -> extern option Lwt.t