package tezos-scoru-wasm-helpers

You can search for identifiers within the package.

in-package search v0.2.0

tezos-scoru-wasm-helpers
- README
- Library tezos-scoru-wasm-helpers
  - Tezos_scoru_wasm_helpers
    
    Ast_printer
    
    Types
    
    Ast
    
    TzStdLib
    
    Vector
    
    IntOp
    
    FloatOp
    
    I32Op
    
    I64Op
    
    F32Op
    
    F64Op
    
    V128Op
    
    Func
    
    Instance
    
    ModuleMap
    
    Vector
    
    NameMap
    
    Values
    
    NumType
    
    I32Num
    
    I64Num
    
    F32Num
    
    F64Num
    
    VecType
    
    V128Vec
    
    Encodings_util
    
    Tree
    
    Tree_encoding_runner
    
    Wasm_utils
    
    Wasm
    
    Internal_for_tests
    
    Wasm_fast
    
    Internal_for_tests
    
    Kernels
- Sources
  - tezos-scoru-wasm-helpers
    
    ast_printer.ml
    
    encodings_util.ml
    
    tezos_scoru_wasm_helpers.ml
    
    wasm_utils.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ast_printer.Values`Source

include module type of struct include Tezos_webassembly_interpreter.Values end

type (!'i32, !'i64, !'f32, !'f64) op =
  ('i32, 'i64, 'f32, 'f64) Tezos_webassembly_interpreter__Values.op =

| I32 of 'i32
| I64 of 'i64
| F32 of 'f32
| F64 of 'f64

val pp_op : 
  (Ppx_deriving_runtime.Format.formatter -> 'i32 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'i64 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f32 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f64 -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  ('i32, 'i64, 'f32, 'f64) op ->
  Ppx_deriving_runtime.unit

val show_op : 
  (Ppx_deriving_runtime.Format.formatter -> 'i32 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'i64 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f32 -> Ppx_deriving_runtime.unit) ->
  (Ppx_deriving_runtime.Format.formatter -> 'f64 -> Ppx_deriving_runtime.unit) ->
  ('i32, 'i64, 'f32, 'f64) op ->
  Ppx_deriving_runtime.string

type !'v128 vecop = 'v128 Tezos_webassembly_interpreter__Values.vecop =

| V128 of 'v128

val pp_vecop : 
  (Ppx_deriving_runtime.Format.formatter -> 'v128 -> Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'v128 vecop ->
  Ppx_deriving_runtime.unit

val show_vecop : 
  (Ppx_deriving_runtime.Format.formatter -> 'v128 -> Ppx_deriving_runtime.unit) ->
  'v128 vecop ->
  Ppx_deriving_runtime.string

type num =
  (Tezos_webassembly_interpreter.I32.t,
    Tezos_webassembly_interpreter.I64.t,
    Tezos_webassembly_interpreter.F32.t,
    Tezos_webassembly_interpreter.F64.t)
    op

val pp_num : 
  Ppx_deriving_runtime.Format.formatter ->
  num ->
  Ppx_deriving_runtime.unit

val show_num : num -> Ppx_deriving_runtime.string

type vec = Tezos_webassembly_interpreter.V128.t vecop

val pp_vec : 
  Ppx_deriving_runtime.Format.formatter ->
  vec ->
  Ppx_deriving_runtime.unit

val show_vec : vec -> Ppx_deriving_runtime.string

type ref_ = Tezos_webassembly_interpreter__Values.ref_ = ..

type ref_ +=

| NullRef of Tezos_webassembly_interpreter.Types.ref_type
| ExternRef of int32

val as_num : Tezos_webassembly_interpreter__Values.value -> num

val as_vec : Tezos_webassembly_interpreter__Values.value -> vec

val as_ref : Tezos_webassembly_interpreter__Values.value -> ref_

exception TypeError of int * num * Tezos_webassembly_interpreter.Types.num_type

module type NumType = sig ... end

module I32Num : sig ... end

module I64Num : sig ... end

module F32Num : sig ... end

module F64Num : sig ... end

module type VecType = sig ... end

module V128Vec : sig ... end

val type_of_num : 
  ('a, 'b, 'c, 'd) op ->
  Tezos_webassembly_interpreter.Types.num_type

val type_of_vec : 'a vecop -> Tezos_webassembly_interpreter.Types.vec_type

val type_of_ref' : (ref_ -> Tezos_webassembly_interpreter.Types.ref_type) ref

val type_of_ref : ref_ -> Tezos_webassembly_interpreter.Types.ref_type

val type_of_value : 
  Tezos_webassembly_interpreter__Values.value ->
  Tezos_webassembly_interpreter.Types.value_type

val eq_num : 'a -> 'a -> bool

val eq_vec : 'a -> 'a -> bool

val eq_ref' : (ref_ -> ref_ -> bool) ref

val eq_ref : ref_ -> ref_ -> bool

val eq : 
  Tezos_webassembly_interpreter__Values.value ->
  Tezos_webassembly_interpreter__Values.value ->
  bool

val default_num : 
  Tezos_webassembly_interpreter.Types.num_type ->
  (Tezos_webassembly_interpreter.I32.t,
    Tezos_webassembly_interpreter.I64.t,
    Tezos_webassembly_interpreter.F32.t,
    Tezos_webassembly_interpreter.F64.t)
    op

val default_vec : 
  Tezos_webassembly_interpreter.Types.vec_type ->
  Tezos_webassembly_interpreter.V128.t vecop

val default_ref : Tezos_webassembly_interpreter.Types.ref_type -> ref_

val default_value : 
  Tezos_webassembly_interpreter.Types.value_type ->
  Tezos_webassembly_interpreter__Values.value

val value_of_bool : bool -> Tezos_webassembly_interpreter__Values.value

val string_of_num : 
  (Tezos_webassembly_interpreter.I32.t,
    Tezos_webassembly_interpreter.I64.t,
    Tezos_webassembly_interpreter.F32.t,
    Tezos_webassembly_interpreter.F64.t)
    op ->
  string

val hex_string_of_num : 
  (Tezos_webassembly_interpreter.I32.t,
    Tezos_webassembly_interpreter.I64.t,
    Tezos_webassembly_interpreter.F32.t,
    Tezos_webassembly_interpreter.F64.t)
    op ->
  string

val string_of_vec : Tezos_webassembly_interpreter.V128.t vecop -> string

val hex_string_of_vec : Tezos_webassembly_interpreter.V128.t vecop -> string

val string_of_ref' : (ref_ -> string) ref

val string_of_ref : ref_ -> string

val string_of_value : Tezos_webassembly_interpreter__Values.value -> string

val string_of_values : 
  Tezos_webassembly_interpreter__Values.value list ->
  string

Source

val pp_ref_ : 
  Format.formatter ->
  Tezos_webassembly_interpreter.Values.ref_ ->
  Ppx_deriving_runtime.unit

Sourcetype value = Tezos_webassembly_interpreter.Values.value =

| Num of num
| Vec of vec
| Ref of ref_

Source

val pp_value : 
  Ppx_deriving_runtime.Format.formatter ->
  value ->
  Ppx_deriving_runtime.unit

Sourceval show_value : value -> Ppx_deriving_runtime.string

package tezos-scoru-wasm-helpers

Module Ast_printer.ValuesSource

Module `Ast_printer.Values`Source