wasm_of_ocaml-compiler 6.0.1

type constant_global

type context = {

constants : (Js_of_ocaml_compiler.Code.Var.t, Wasm_ast.expression) Hashtbl.t;
mutable data_segments : string Js_of_ocaml_compiler.Code.Var.Map.t;
mutable constant_globals : constant_global Js_of_ocaml_compiler.Code.Var.Map.t;
mutable other_fields : Wasm_ast.module_field list;
mutable imports : (Js_of_ocaml_compiler.Code.Var.t * Wasm_ast.import_desc) Js_of_ocaml_compiler.Stdlib.StringMap.t Js_of_ocaml_compiler.Stdlib.StringMap.t;
type_names : (string, Js_of_ocaml_compiler.Code.Var.t) Hashtbl.t;
types : (Js_of_ocaml_compiler.Code.Var.t, Wasm_ast.type_field) Hashtbl.t;
mutable closure_envs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Code.Var.Map.t;
(*
GC: mapping of recursive functions to their shared environment
*)
mutable apply_funs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Stdlib.IntMap.t;
mutable cps_apply_funs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Stdlib.IntMap.t;
mutable curry_funs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Stdlib.IntMap.t;
mutable cps_curry_funs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Stdlib.IntMap.t;
mutable dummy_funs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Stdlib.IntMap.t;
mutable cps_dummy_funs : Js_of_ocaml_compiler.Code.Var.t Js_of_ocaml_compiler.Stdlib.IntMap.t;
mutable init_code : Wasm_ast.instruction list;
mutable string_count : int;
mutable strings : string list;
mutable string_index : int Js_of_ocaml_compiler.Stdlib.StringMap.t;
mutable fragments : Js_of_ocaml_compiler.Javascript.expression Js_of_ocaml_compiler.Stdlib.StringMap.t;
mutable globalized_variables : Js_of_ocaml_compiler.Code.Var.Set.t;
value_type : Wasm_ast.value_type;
mutable unit_name : string option;

}

val make_context : value_type:Wasm_ast.value_type -> context

type 'a t

type expression = Wasm_ast.expression t

val let* : 'a t -> ('a -> 'b t) -> 'b t

val return : 'a -> 'a t

val instr : Wasm_ast.instruction -> unit t

val seq : unit t -> expression -> expression

val expression_list : 
  ('a -> expression) ->
  'a list ->
  Wasm_ast.expression list t

module Arith : sig ... end

val cast : ?nullable:bool -> Wasm_ast.heap_type -> expression -> expression

val load : Wasm_ast.var -> expression

val tee : ?typ:Wasm_ast.value_type -> Wasm_ast.var -> expression -> expression

val store : 
  ?always:bool ->
  ?typ:Wasm_ast.value_type ->
  Wasm_ast.var ->
  expression ->
  unit t

val assign : Wasm_ast.var -> expression -> unit t

val drop : expression -> unit t

val push : expression -> unit t

val loop : Wasm_ast.func_type -> unit t -> unit t

val block : Wasm_ast.func_type -> unit t -> unit t

val block_expr : Wasm_ast.func_type -> unit t -> expression

val if_ : Wasm_ast.func_type -> expression -> unit t -> unit t -> unit t

val try_expr : 
  Wasm_ast.func_type ->
  unit t ->
  (Js_of_ocaml_compiler.Code.Var.t * int * Wasm_ast.value_type) list ->
  expression

val add_var : ?typ:Wasm_ast.value_type -> Wasm_ast.var -> Wasm_ast.var t

val define_var : Wasm_ast.var -> expression -> unit t

val is_small_constant : Wasm_ast.expression -> bool t

val get_i31_value : Wasm_ast.var -> Wasm_ast.var option t

val event : Js_of_ocaml_compiler.Parse_info.t -> unit t

val no_event : unit t

val hidden_location : Js_of_ocaml_compiler.Parse_info.t

type type_def = {

supertype : Wasm_ast.var option;
final : bool;
typ : Wasm_ast.str_type;

}

val register_type : string -> (unit -> type_def t) -> Wasm_ast.var t

val heap_type_sub : Wasm_ast.heap_type -> Wasm_ast.heap_type -> bool t

val register_import : 
  ?import_module:string ->
  name:string ->
  Wasm_ast.import_desc ->
  Wasm_ast.var t

val register_global : 
  Wasm_ast.var ->
  ?exported_name:string ->
  ?constant:bool ->
  Wasm_ast.global_type ->
  Wasm_ast.expression ->
  unit t

val get_global : 
  Js_of_ocaml_compiler.Code.Var.t ->
  Wasm_ast.expression option t

val register_data_segment : Js_of_ocaml_compiler.Code.Var.t -> string -> unit t

val register_init_code : unit t -> unit t

val init_code : context -> unit t

val register_string : string -> int t

val register_fragment : 
  string ->
  (unit -> Js_of_ocaml_compiler.Javascript.expression) ->
  unit t

val get_context : context t

val set_closure_env : 
  Js_of_ocaml_compiler.Code.Var.t ->
  Js_of_ocaml_compiler.Code.Var.t ->
  unit t

val get_closure_env : 
  Js_of_ocaml_compiler.Code.Var.t ->
  Js_of_ocaml_compiler.Code.Var.t t

val is_closure : Js_of_ocaml_compiler.Code.Var.t -> bool t

val unit_name : string option t

val need_apply_fun : cps:bool -> arity:int -> Js_of_ocaml_compiler.Code.Var.t t

val need_curry_fun : cps:bool -> arity:int -> Js_of_ocaml_compiler.Code.Var.t t

val need_dummy_fun : cps:bool -> arity:int -> Js_of_ocaml_compiler.Code.Var.t t

val function_body : 
  context:context ->
  param_names:Js_of_ocaml_compiler.Code.Var.t list ->
  body:unit t ->
  (Wasm_ast.var * Wasm_ast.value_type) list * Wasm_ast.instruction list

package wasm_of_ocaml-compiler