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

type available_memories =

| No_memories_during_init
| Available_memories of Instance.memory_inst Tezos_webassembly_interpreter.Instance.Vector.t

Description of what memories are currently available.

type reveal_destination = {

base : int32;
max_bytes : int32;

}

type reveal =

| Reveal_raw_data of string
| Reveal_metadata

type ticks = Z.t

type reveal_func =
  available_memories ->
  Values.value list ->
  (reveal * reveal_destination, int32) Stdlib.result Lwt.t

type host_func =

| Host_func of Input_buffer.t -> Output_buffer.t -> Durable_storage.t -> available_memories -> Values.value list -> (Durable_storage.t * Values.value list * ticks) Lwt.t
| Reveal_func of reveal_func

The type of a Host function implementation

type registry

A (mutable) host function registry

val empty : unit -> registry

empty () creates a new empty registry

val register : global_name:string -> host_func -> registry -> unit

register ~func_name implem registers the implementation of a named host function in the global symbol table. Will erase a previous implementation for the given name.

val lookup : global_name:string -> registry -> host_func

lookup ~func_name looks for the implementation of a named host function in the global symbol table. May raise Not_found.