Bindoj_gen_ts_config
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 = [
|
`type_alias_declaration of ts_type_alias_decl
|
`function_declaration of ts_func_decl
|
`value_declaration of ts_value_decl
|
`module_declaration of ts_mod_decl
|
`return_statement of ts_expression
|
`if_statement of ts_expression * ts_statement * ts_statement
|
`throw_statement of ts_expression
|
`block of ts_ast
]
and ts_type_alias_decl = {
tsa_modifiers : ts_modifier ignore_order_list;
tsa_name : string;
tsa_type_parameters : string list;
tsa_type_desc : ts_type_desc;
}
and ts_func_decl = {
tsf_modifiers : ts_modifier ignore_order_list;
tsf_name : string;
tsf_type_parameters : string list;
tsf_parameters : ts_parameter list;
tsf_type_desc : ts_type_desc;
tsf_body : ts_ast;
}
and ts_value_decl = {
tsv_modifiers : [ `export ] ignore_order_list;
tsv_kind : [ `const | `let_ ];
tsv_name : string;
tsv_type_desc : ts_type_desc option;
tsv_value : ts_expression;
}
and ts_type_desc = [
|
`special of [ `void | `undefined | `null | `any | `unknown | `never ]
|
`type_reference of string
|
`type_construct of string * ts_type_desc list
|
`type_literal of ts_property_signature ignore_order_list
|
`literal_type of ts_literal_type
|
`tuple of ts_type_desc list
|
`union of ts_type_desc ignore_order_list
|
`intersection of ts_type_desc ignore_order_list
|
`array of ts_type_desc
|
`func_type of ts_func_type_desc
|
`record of ts_type_desc * ts_type_desc
|
`type_assertion of ts_type_desc * ts_type_desc
|
`typeof of ts_expression
|
`keyof of ts_type_desc
]
and ts_property_signature = {
tsps_modifiers : [ `readonly ] ignore_order_list;
tsps_name : string;
tsps_optional : bool;
tsps_type_desc : ts_type_desc;
}
and ts_expression = [
|
`identifier of string
|
`literal_expression of ts_literal_expression
|
`call_expression of ts_call_expression
|
`element_access_expression of ts_element_access_expression
|
`property_access_expression of ts_property_access_expression
|
`binary_expression of ts_binary_expression
|
`arrow_function of ts_arrow_function
|
`new_expression of ts_new_expression
|
`await_expression of ts_expression
|
`casted_expression of ts_expression * ts_type_desc
|
`const_assertion of ts_expression
]
and ts_literal_expression = [
|
`numeric_literal of float
|
`string_literal of string
|
`template_literal of string
|
`object_literal of (string * ts_expression) ignore_order_list
]
and ts_binary_expression = {
tsbe_left : ts_expression;
tsbe_operator_token : string;
tsbe_right : ts_expression;
}
val pp_ts_ast :
Ppx_deriving_runtime.Format.formatter ->
ts_ast ->
Ppx_deriving_runtime.unit
val show_ts_ast : ts_ast -> Ppx_deriving_runtime.string
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 Bindoj_runtime.foreign_language +=
| Foreign_language_TypeScript : (typescript, ts_type_desc)
Bindoj_runtime.foreign_language
val typescript : (typescript, ts_type_desc) Bindoj_runtime.foreign_language
module Ts_config : sig ... end