Module Bindoj_gen_ts.Typescript_datatype

include module type of Bindoj_gen_ts_config
type 't ignore_order_list = 't list
val pp_ignore_order_list : (Ppx_deriving_runtime.Format.formatter -> 't -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 't ignore_order_list -> Ppx_deriving_runtime.unit
val show_ignore_order_list : (Ppx_deriving_runtime.Format.formatter -> 't -> Ppx_deriving_runtime.unit) -> 't ignore_order_list -> Ppx_deriving_runtime.string
val equal_ignore_order_list : ('t -> 't -> Ppx_deriving_runtime.bool) -> 't ignore_order_list -> 't ignore_order_list -> Ppx_deriving_runtime.bool
type ts_ast = ts_statement list
and ts_statement = [
  1. | `type_alias_declaration of ts_type_alias_decl
  2. | `function_declaration of ts_func_decl
  3. | `value_declaration of ts_value_decl
  4. | `module_declaration of ts_mod_decl
  5. | `return_statement of ts_expression
  6. | `if_statement of ts_expression * ts_statement * ts_statement
  7. | `throw_statement of ts_expression
  8. | `block of ts_ast
]
and ts_type_alias_decl = {
  1. tsa_modifiers : ts_modifier ignore_order_list;
  2. tsa_name : string;
  3. tsa_type_parameters : string list;
  4. tsa_type_desc : ts_type_desc;
}
and ts_func_decl = {
  1. tsf_modifiers : ts_modifier ignore_order_list;
  2. tsf_name : string;
  3. tsf_type_parameters : string list;
  4. tsf_parameters : ts_parameter list;
  5. tsf_type_desc : ts_type_desc;
  6. tsf_body : ts_ast;
}
and ts_value_decl = {
  1. tsv_modifiers : [ `export ] ignore_order_list;
  2. tsv_kind : [ `const | `let_ ];
  3. tsv_name : string;
  4. tsv_type_desc : ts_type_desc option;
  5. tsv_value : ts_expression;
}
and ts_mod_decl = {
  1. tsm_modifiers : [ `export ] list;
  2. tsm_name : string;
  3. tsm_body : ts_ast;
}
and ts_type_desc = [
  1. | `special of [ `void | `undefined | `null | `any | `unknown | `never ]
  2. | `type_reference of string
  3. | `type_construct of string * ts_type_desc list
  4. | `type_literal of ts_property_signature ignore_order_list
  5. | `literal_type of ts_literal_type
  6. | `tuple of ts_type_desc list
  7. | `union of ts_type_desc ignore_order_list
  8. | `intersection of ts_type_desc ignore_order_list
  9. | `array of ts_type_desc
  10. | `func_type of ts_func_type_desc
  11. | `record of ts_type_desc * ts_type_desc
  12. | `type_assertion of ts_type_desc * ts_type_desc
  13. | `typeof of ts_expression
  14. | `keyof of ts_type_desc
]
and ts_property_signature = {
  1. tsps_modifiers : [ `readonly ] ignore_order_list;
  2. tsps_name : string;
  3. tsps_optional : bool;
  4. tsps_type_desc : ts_type_desc;
}
and ts_literal_type = [
  1. | `numeric_literal of float
  2. | `string_literal of string
  3. | `template_literal of string
]
and ts_parameter = {
  1. tsp_name : string;
  2. tsp_type_desc : ts_type_desc;
}
and ts_func_type_desc = {
  1. tsft_parameters : ts_parameter list;
  2. tsft_type_desc : ts_type_desc;
}
and ts_expression = [
  1. | `identifier of string
  2. | `literal_expression of ts_literal_expression
  3. | `call_expression of ts_call_expression
  4. | `element_access_expression of ts_element_access_expression
  5. | `property_access_expression of ts_property_access_expression
  6. | `binary_expression of ts_binary_expression
  7. | `arrow_function of ts_arrow_function
  8. | `new_expression of ts_new_expression
  9. | `await_expression of ts_expression
  10. | `casted_expression of ts_expression * ts_type_desc
  11. | `const_assertion of ts_expression
]
and ts_literal_expression = [
  1. | `numeric_literal of float
  2. | `string_literal of string
  3. | `template_literal of string
  4. | `object_literal of (string * ts_expression) ignore_order_list
]
and ts_call_expression = {
  1. tsce_expression : ts_expression;
  2. tsce_arguments : ts_expression list;
}
and ts_element_access_expression = {
  1. tsea_expression : ts_expression;
  2. tsea_argument : ts_expression;
}
and ts_property_access_expression = {
  1. tspa_expression : ts_expression;
  2. tspa_name : string;
}
and ts_binary_expression = {
  1. tsbe_left : ts_expression;
  2. tsbe_operator_token : string;
  3. tsbe_right : ts_expression;
}
and ts_arrow_function = {
  1. tsaf_parameters : ts_parameter list;
  2. tsaf_body : ts_ast;
}
and ts_new_expression = {
  1. tsne_expression : ts_expression;
  2. tsne_arguments : ts_expression list;
}
and ts_modifier = [
  1. | `export
  2. | `async
  3. | `readonly
]
val pp_ts_statement : Ppx_deriving_runtime.Format.formatter -> ts_statement -> Ppx_deriving_runtime.unit
val show_ts_statement : ts_statement -> Ppx_deriving_runtime.string
val pp_ts_type_alias_decl : Ppx_deriving_runtime.Format.formatter -> ts_type_alias_decl -> Ppx_deriving_runtime.unit
val show_ts_type_alias_decl : ts_type_alias_decl -> Ppx_deriving_runtime.string
val pp_ts_func_decl : Ppx_deriving_runtime.Format.formatter -> ts_func_decl -> Ppx_deriving_runtime.unit
val show_ts_func_decl : ts_func_decl -> Ppx_deriving_runtime.string
val pp_ts_value_decl : Ppx_deriving_runtime.Format.formatter -> ts_value_decl -> Ppx_deriving_runtime.unit
val show_ts_value_decl : ts_value_decl -> Ppx_deriving_runtime.string
val pp_ts_mod_decl : Ppx_deriving_runtime.Format.formatter -> ts_mod_decl -> Ppx_deriving_runtime.unit
val show_ts_mod_decl : ts_mod_decl -> Ppx_deriving_runtime.string
val pp_ts_type_desc : Ppx_deriving_runtime.Format.formatter -> ts_type_desc -> Ppx_deriving_runtime.unit
val show_ts_type_desc : ts_type_desc -> Ppx_deriving_runtime.string
val pp_ts_property_signature : Ppx_deriving_runtime.Format.formatter -> ts_property_signature -> Ppx_deriving_runtime.unit
val show_ts_property_signature : ts_property_signature -> Ppx_deriving_runtime.string
val pp_ts_literal_type : Ppx_deriving_runtime.Format.formatter -> ts_literal_type -> Ppx_deriving_runtime.unit
val show_ts_literal_type : ts_literal_type -> Ppx_deriving_runtime.string
val pp_ts_parameter : Ppx_deriving_runtime.Format.formatter -> ts_parameter -> Ppx_deriving_runtime.unit
val show_ts_parameter : ts_parameter -> Ppx_deriving_runtime.string
val pp_ts_func_type_desc : Ppx_deriving_runtime.Format.formatter -> ts_func_type_desc -> Ppx_deriving_runtime.unit
val show_ts_func_type_desc : ts_func_type_desc -> Ppx_deriving_runtime.string
val pp_ts_expression : Ppx_deriving_runtime.Format.formatter -> ts_expression -> Ppx_deriving_runtime.unit
val show_ts_expression : ts_expression -> Ppx_deriving_runtime.string
val pp_ts_literal_expression : Ppx_deriving_runtime.Format.formatter -> ts_literal_expression -> Ppx_deriving_runtime.unit
val show_ts_literal_expression : ts_literal_expression -> Ppx_deriving_runtime.string
val pp_ts_call_expression : Ppx_deriving_runtime.Format.formatter -> ts_call_expression -> Ppx_deriving_runtime.unit
val show_ts_call_expression : ts_call_expression -> Ppx_deriving_runtime.string
val pp_ts_element_access_expression : Ppx_deriving_runtime.Format.formatter -> ts_element_access_expression -> Ppx_deriving_runtime.unit
val show_ts_element_access_expression : ts_element_access_expression -> Ppx_deriving_runtime.string
val pp_ts_property_access_expression : Ppx_deriving_runtime.Format.formatter -> ts_property_access_expression -> Ppx_deriving_runtime.unit
val show_ts_property_access_expression : ts_property_access_expression -> Ppx_deriving_runtime.string
val pp_ts_binary_expression : Ppx_deriving_runtime.Format.formatter -> ts_binary_expression -> Ppx_deriving_runtime.unit
val show_ts_binary_expression : ts_binary_expression -> Ppx_deriving_runtime.string
val pp_ts_arrow_function : Ppx_deriving_runtime.Format.formatter -> ts_arrow_function -> Ppx_deriving_runtime.unit
val show_ts_arrow_function : ts_arrow_function -> Ppx_deriving_runtime.string
val pp_ts_new_expression : Ppx_deriving_runtime.Format.formatter -> ts_new_expression -> Ppx_deriving_runtime.unit
val show_ts_new_expression : ts_new_expression -> Ppx_deriving_runtime.string
val pp_ts_modifier : Ppx_deriving_runtime.Format.formatter -> ts_modifier -> Ppx_deriving_runtime.unit
val show_ts_modifier : ts_modifier -> Ppx_deriving_runtime.string
val equal_ts_statement : ts_statement -> ts_statement -> Ppx_deriving_runtime.bool
val equal_ts_type_alias_decl : ts_type_alias_decl -> ts_type_alias_decl -> Ppx_deriving_runtime.bool
val equal_ts_func_decl : ts_func_decl -> ts_func_decl -> Ppx_deriving_runtime.bool
val equal_ts_value_decl : ts_value_decl -> ts_value_decl -> Ppx_deriving_runtime.bool
val equal_ts_mod_decl : ts_mod_decl -> ts_mod_decl -> Ppx_deriving_runtime.bool
val equal_ts_type_desc : ts_type_desc -> ts_type_desc -> Ppx_deriving_runtime.bool
val equal_ts_property_signature : ts_property_signature -> ts_property_signature -> Ppx_deriving_runtime.bool
val equal_ts_literal_type : ts_literal_type -> ts_literal_type -> Ppx_deriving_runtime.bool
val equal_ts_parameter : ts_parameter -> ts_parameter -> Ppx_deriving_runtime.bool
val equal_ts_func_type_desc : ts_func_type_desc -> ts_func_type_desc -> Ppx_deriving_runtime.bool
val equal_ts_expression : ts_expression -> ts_expression -> Ppx_deriving_runtime.bool
val equal_ts_literal_expression : ts_literal_expression -> ts_literal_expression -> Ppx_deriving_runtime.bool
val equal_ts_call_expression : ts_call_expression -> ts_call_expression -> Ppx_deriving_runtime.bool
val equal_ts_element_access_expression : ts_element_access_expression -> ts_element_access_expression -> Ppx_deriving_runtime.bool
val equal_ts_property_access_expression : ts_property_access_expression -> ts_property_access_expression -> Ppx_deriving_runtime.bool
val equal_ts_binary_expression : ts_binary_expression -> ts_binary_expression -> Ppx_deriving_runtime.bool
val equal_ts_arrow_function : ts_arrow_function -> ts_arrow_function -> Ppx_deriving_runtime.bool
val equal_ts_new_expression : ts_new_expression -> ts_new_expression -> Ppx_deriving_runtime.bool
val equal_ts_modifier : ts_modifier -> ts_modifier -> Ppx_deriving_runtime.bool
type typescript
module Ts_config : sig ... end
type ts_fwrt_constructor_kind_annot = ts_fwrt_constructor_kind_info option
and ts_fwrt_constructor_kind_info =
  1. | Tfcki_reused_variant_inline_record of Bindoj_typedesc.Type_desc.type_decl
val pp_ts_fwrt_constructor_kind_annot : Kxclib.ppf -> ts_fwrt_constructor_kind_annot -> unit

Pretty printer for the ts_fwrt_constructor_kind_annot.

val string_of_ts_fwrt_constructor_kind_annot : ts_fwrt_constructor_kind_annot -> string
val equal_ts_fwrt_constructor_kind_annot : ts_fwrt_constructor_kind_annot -> ts_fwrt_constructor_kind_annot -> bool

Checks equality of two ts_fwrt_constructor_kind_annots.

val pp_ts_fwrt_constructor_kind_info : Kxclib.ppf -> ts_fwrt_constructor_kind_info -> unit

Pretty printer for the ts_fwrt_constructor_kind_info.

val string_of_ts_fwrt_constructor_kind_info : ts_fwrt_constructor_kind_info -> string

Pretty printer for the ts_fwrt_constructor_kind_info.

val equal_ts_fwrt_constructor_kind_info : ts_fwrt_constructor_kind_info -> ts_fwrt_constructor_kind_info -> bool

Checks equality of two ts_fwrt_constructor_kind_info.

val pp_ts_ast : Kxclib.ppf -> ts_ast -> unit

Pretty printer for the ts_ast.

val show_ts_ast : ts_ast -> string

Pretty printer for the ts_ast.

val equal_ts_ast : ts_ast -> ts_ast -> bool

Checks equality of two ts_asts.

type ('ann_d, 'ann_f, 'ann_va) ts_fwrt_decl = ('ann_d, 'ann_f, 'ann_va, unit * unit * ts_fwrt_constructor_kind_annot) Bindoj_gen_foreign.Foreign_datatype.fwrt_decl
type fwrt_decl_of_ts = (ts_modifier list, [ `readonly ] list, [ `readonly ] list) ts_fwrt_decl
val ts_fwrt_decl_of_type_decl : export:bool -> readonly:bool -> Bindoj_typedesc.Type_desc.type_decl -> fwrt_decl_of_ts

Creates a fwrt declaration of the given type declaration.

val ts_ast_of_fwrt_decl : fwrt_decl_of_ts -> ts_ast

Creates a ts ast of the given fwrt declaration.

val ts_type_alias_decl_of_fwrt_decl : ?self_json_name:string -> fwrt_decl_of_ts -> ts_type_alias_decl

Creates a type alias declaration of the given fwrt declaration.

module Rope : sig ... end
module Internals : sig ... end
val gen_ts_type : ?export:bool -> Bindoj_typedesc.Type_desc.type_decl -> string

Generates a TypeScript code of the given type declaration.

val gen_ts_case_analyzer : ?export:bool -> ?name:string -> Bindoj_typedesc.Type_desc.type_decl -> string

Generates a TypeScript code of the given type declaration.

Generates a TypeScript code of case analyzer of the given type declaration of Bindoj_runtime.Variant_decl.