(* Copyright (C) 2015 - 2016 Bloomberg Finance L.P.
* Copyright (C) 2017 - Hongbo Zhang, Authors of ReScript
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* In addition to the permissions granted to you by the LGPL, you may combine
* or link a "work that uses the Library" with a publicly distributed version
* of this file to produce a combined library or application, then distribute
* that combined work under the terms of your choosing, with no requirement
* to comply with the obligations normally placed on you by section 4 of the
* LGPL version 3 (or the corresponding section of a later version of the LGPL
* should you choose to use a later version).
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
(** Creator utilities for the [J] module *)
type t = J.expression
(** check if a javascript ast is constant
The better signature might be
{[
J.expresssion -> Js_output.t
]}
for exmaple
{[
e ?print_int(3) : 0
--->
if(e){print_int(3)}
]}
*)
val remove_pure_sub_exp : t -> t option
val var : ?comment:string -> J.ident -> t
val js_global : ?comment:string -> string -> t
val runtime_var_dot : ?comment:string -> string -> string -> t
(* val runtime_var_vid : string -> string -> J.vident *)
val ml_var_dot : ?comment:string -> Ident.t -> string -> t
(** [ml_var_dot ocaml_module name]
*)
val external_var_field :
?comment:string ->
external_name:string ->
Ident.t ->
field:string ->
default:bool ->
t
(** [external_var_field ~external_name ~dot id]
Used in FFI
*)
val external_var : ?comment:string -> external_name:string -> Ident.t -> t
val ml_module_as_var : ?comment:string -> Ident.t -> t
val runtime_call :
string -> (* module_name *)
string -> (* fn_name *)
t list -> (* args *)
t
val pure_runtime_call :
string -> (* module_name *)
string -> (* fn_name *)
t list -> (* args *)
t
val runtime_ref : string -> string -> t
val str : ?delim: J.delim -> ?comment: string -> string -> t
val ocaml_fun :
?comment:string ->
?immutable_mask:bool array ->
return_unit:bool ->
async:bool ->
J.ident list ->
J.block ->
t
val method_ :
?comment:string ->
?immutable_mask:bool array ->
return_unit:bool ->
J.ident list ->
J.block ->
t
val econd : ?comment:string -> t -> t -> t -> t
val int : ?comment:string -> ?c:char -> int32 -> t
val uint32 : ?comment:string -> int32 -> t
val small_int : int -> t
val float : ?comment:string -> string -> t
(* val empty_string_literal : t *)
(* TODO: we can do hash consing for small integers *)
val zero_int_literal : t
(* val one_int_literal : t *)
val zero_float_lit : t
(* val obj_int_tag_literal : t *)
val is_out : ?comment:string -> t -> t -> t
(** [is_out e range] is equivalent to [e > range or e <0]
*)
val dot : ?comment:string -> t -> string -> t
val module_access : t -> string -> int32 -> t
val array_length : ?comment:string -> t -> t
val string_length : ?comment:string -> t -> t
val bytes_length : ?comment:string -> t -> t
val function_length : ?comment:string -> t -> t
val string_append : ?comment:string -> t -> t -> t
(**
When in ES6 mode, we can use Symbol to guarantee its uniquess,
we can not tag [js] object, since it can be frozen
*)
(* val var_dot : ?comment:string -> Ident.t -> string -> t *)
(* val bind_var_call : ?comment:string -> Ident.t -> string -> t list -> t *)
(* val bind_call : ?comment:string -> J.expression -> string -> J.expression list -> t *)
(* val js_global_dot : ?comment:string -> string -> string -> t *)
val string_index : ?comment:string -> t -> t -> t
val array_index : ?comment:string -> t -> t -> t
val array_index_by_int : ?comment:string -> t -> Int32.t -> t
val record_access : t -> string -> Int32.t -> t
val inline_record_access : t -> string -> Int32.t -> t
val variant_access : t -> int32 -> t
val cons_access : t -> int32 -> t
val extension_access : t -> string option -> Int32.t -> t
val record_assign : t -> int32 -> string -> t -> t
val poly_var_tag_access : t -> t
val poly_var_value_access : t -> t
val extension_assign : t -> int32 -> string -> t -> t
val assign_by_int : ?comment:string -> t -> int32 -> t -> t
(**
[assign_by_int e i v]
if the expression [e] is a temporay block
which has no side effect,
write to it does not really make sense,
optimize it away *)
val assign_by_exp : t -> t -> t -> t
val assign : ?comment:string -> t -> t -> t
val triple_equal : ?comment:string -> t -> t -> t
(* TODO: reduce [triple_equal] use *)
val float_equal : ?comment:string -> t -> t -> t
val int_equal : ?comment:string -> t -> t -> t
val string_equal : ?comment:string -> t -> t -> t
val eq_null_undefined_boolean : ?comment:string -> t -> t -> t
val neq_null_undefined_boolean : ?comment:string -> t -> t -> t
val is_type_number : ?comment:string -> t -> t
val is_type_string : ?comment:string -> t -> t
val is_type_object : t -> t
val typeof : ?comment:string -> t -> t
val to_int32 : ?comment:string -> t -> t
val to_uint32 : ?comment:string -> t -> t
val unchecked_int32_add : ?comment:string -> t -> t -> t
val int32_add : ?comment:string -> t -> t -> t
val offset : t -> int -> t
val unchecked_int32_minus : ?comment:string -> t -> t -> t
val int32_minus : ?comment:string -> t -> t -> t
val int32_mul : ?comment:string -> t -> t -> t
val unchecked_int32_mul : ?comment:string -> t -> t -> t
val int32_div : checked:bool -> ?comment:string -> t -> t -> t
val int32_mod : checked:bool -> ?comment:string -> t -> t -> t
val int32_lsl : ?comment:string -> t -> t -> t
val int32_lsr : ?comment:string -> t -> t -> t
val int32_asr : ?comment:string -> t -> t -> t
val int32_bxor : ?comment:string -> t -> t -> t
val int32_band : ?comment:string -> t -> t -> t
val int32_bor : ?comment:string -> t -> t -> t
val float_add : ?comment:string -> t -> t -> t
val float_minus : ?comment:string -> t -> t -> t
val float_mul : ?comment:string -> t -> t -> t
val float_div : ?comment:string -> t -> t -> t
val float_notequal : ?comment:string -> t -> t -> t
val float_mod : ?comment:string -> t -> t -> t
val int_comp : Lam_compat.comparison -> ?comment:string -> t -> t -> t
val bool_comp : Lam_compat.comparison -> ?comment:string -> t -> t -> t
val string_comp : Js_op.binop -> ?comment:string -> t -> t -> t
val float_comp : Lam_compat.comparison -> ?comment:string -> t -> t -> t
val js_comp : Lam_compat.comparison -> ?comment:string -> t -> t -> t
val not : t -> t
val call : ?comment:string -> info:Js_call_info.t -> t -> t list -> t
val flat_call : ?comment:string -> t -> t -> t
val new_ : ?comment:string -> J.expression -> J.expression list -> t
val array : ?comment:string -> J.mutable_flag -> J.expression list -> t
val optional_block : J.expression -> J.expression
val optional_not_nest_block : J.expression -> J.expression
val make_block :
?comment:string ->
J.expression ->
(* tag *)
J.tag_info ->
(* tag_info *)
J.expression list ->
J.mutable_flag ->
t
val seq : ?comment:string -> t -> t -> t
val fuse_to_seq : t -> t list -> t
val obj : ?comment:string -> J.property_map -> t
val true_ : t
val false_ : t
val bool : bool -> t
val unit : t
(** [unit] in ocaml will be compiled into [0] in js *)
val undefined : t
val tag : ?comment:string -> J.expression -> t
(** Note that this is coupled with how we encode block, if we use the
`Object.defineProperty(..)` since the array already hold the length,
this should be a nop
*)
val obj_length : ?comment:string -> J.expression -> t
val and_ : ?comment:string -> t -> t -> t
val or_ : ?comment:string -> t -> t -> t
(** we don't expose a general interface, since a general interface is generally not safe *)
val dummy_obj : ?comment:string -> Lam_tag_info.t -> t
(** used combined with [caml_update_dummy]*)
val of_block : ?comment:string -> ?e:J.expression -> J.statement list -> t
(** convert a block to expresion by using IIFE *)
val raw_js_code : ?comment:string -> Js_raw_info.code_info -> string -> t
val nil : t
val is_null : ?comment:string -> t -> t
val is_undef : ?comment:string -> t -> t
val for_sure_js_null_undefined : J.expression -> bool
val is_null_undefined : ?comment:string -> t -> t
val resolve_and_apply : string -> t list -> t
val make_exception : string -> t