package rescriptdep

All checked builds pass
  1. Overview
  2. Docs
A dependency analyzer for ReScript modules

Install

dune-project
 Dependency

Authors

Maintainers

Sources

0.2.0.tar.gz
md5=ee82c85fb01239fb6b617b23521c1441
sha512=726c28f71ccb0ded5c3e15079ab3c95f635aa24f7c2ae6f8557c3677a11f42f7c4b8f406517ac3694c1bf1b06927eacd930938d01adb7d20c3b36135b0b395b7

doc/rescriptdep.vendor/Typedtree_v13/index.html

Module Typedtree_v13Source

Sourcetype opaque = Obj.t
Sourcetype pattern = {
  1. pat_desc : pattern_desc;
  2. pat_loc : Location.t;
  3. pat_extra : opaque;
  4. pat_type : opaque;
  5. mutable pat_env : opaque;
  6. pat_attributes : opaque;
}
Sourceand pattern_desc =
  1. | Tpat_any
  2. | Tpat_var of Ident.t * string Asttypes.loc
  3. | Tpat_alias of pattern * Ident.t * string Asttypes.loc
  4. | Tpat_constant of opaque
  5. | Tpat_tuple of pattern list
  6. | Tpat_construct of opaque * opaque * pattern list
  7. | Tpat_variant of opaque * pattern option * opaque
  8. | Tpat_record of opaque * opaque * opaque
  9. | Tpat_array of pattern list
  10. | Tpat_or of pattern * pattern * opaque
Sourceand expression = {
  1. exp_desc : expression_desc;
  2. exp_loc : Location.t;
  3. exp_extra : opaque;
  4. exp_type : opaque;
  5. exp_env : opaque;
  6. exp_attributes : opaque;
}
Sourceand expression_desc =
  1. | Texp_ident of Path.t * opaque * opaque
  2. | Texp_constant of opaque
  3. | Texp_let of opaque * value_binding list * expression
  4. | Texp_function of {
    1. params : function_param list;
    2. body : expression;
    3. async : bool;
    }
  5. | Texp_apply of {
    1. funct : expression;
    2. args : (opaque * expression option) list;
    3. partial : bool;
    4. transformed_jsx : bool;
    }
  6. | Texp_match of expression * case list * case list * opaque
  7. | Texp_try of expression * case list
  8. | Texp_tuple of expression list
  9. | Texp_construct of opaque * opaque * expression list
  10. | Texp_variant of opaque * expression option
  11. | Texp_record of {
    1. fields : (opaque * record_label_definition * bool) array;
    2. representation : opaque;
    3. extended_expression : expression option;
    }
  12. | Texp_field of expression * opaque * opaque
  13. | Texp_setfield of expression * opaque * opaque * expression
  14. | Texp_array of expression list
  15. | Texp_ifthenelse of expression * expression * expression option
  16. | Texp_sequence of expression * expression
  17. | Texp_break
  18. | Texp_continue
  19. | Texp_while of expression * expression
  20. | Texp_for of opaque * opaque * expression * expression * opaque * expression
  21. | Texp_object_get of expression * opaque
  22. | Texp_object_set of expression * opaque * expression
  23. | Texp_object_literal of (opaque * expression) list
  24. | Texp_letmodule of Ident.t * opaque * module_expr * expression
  25. | Texp_letexception of opaque * expression
  26. | Texp_assert of expression
  27. | Texp_pack of module_expr
  28. | Texp_extension_constructor of opaque * Path.t
  29. | Texp_for_of of Ident.t * opaque * expression * expression
  30. | Texp_for_await_of of Ident.t * opaque * expression * expression
  31. | Texp_tagged_template of {
    1. tag : expression;
    2. raw_sources : string list;
    3. values : expression list;
    }
  32. | Texp_template of {
    1. segments : opaque;
    2. values : expression list;
    }
Sourceand function_param = {
  1. fp_lbl : opaque;
  2. fp_param : Ident.t;
  3. fp_pat : pattern;
  4. fp_partial : opaque;
  5. fp_has_default : bool;
}
Sourceand case = {
  1. c_lhs : pattern;
  2. c_guard : expression option;
  3. c_rhs : expression;
}
Sourceand record_label_definition =
  1. | Kept of opaque
  2. | Overridden of opaque * expression
Sourceand value_binding = {
  1. vb_pat : pattern;
  2. vb_expr : expression;
  3. vb_attributes : opaque;
  4. vb_loc : Location.t;
}
Sourceand module_expr = {
  1. mod_desc : module_expr_desc;
  2. mod_loc : Location.t;
  3. mod_type : opaque;
  4. mod_env : opaque;
  5. mod_attributes : opaque;
}
Sourceand module_expr_desc =
  1. | Tmod_ident of Path.t * opaque
  2. | Tmod_structure of structure
  3. | Tmod_functor of Ident.t * opaque * opaque * module_expr
  4. | Tmod_apply of module_expr * module_expr * opaque
  5. | Tmod_constraint of module_expr * opaque * opaque * opaque
  6. | Tmod_unpack of expression * opaque
Sourceand structure = {
  1. str_items : structure_item list;
  2. str_type : opaque;
  3. str_final_env : opaque;
}
Sourceand structure_item = {
  1. str_desc : structure_item_desc;
  2. str_loc : Location.t;
  3. str_env : opaque;
}
Sourceand structure_item_desc =
  1. | Tstr_eval of expression * opaque
  2. | Tstr_value of opaque * value_binding list
  3. | Tstr_primitive of opaque
  4. | Tstr_type of opaque * opaque
  5. | Tstr_typext of opaque
  6. | Tstr_exception of opaque
  7. | Tstr_module of module_binding
  8. | Tstr_recmodule of module_binding list
  9. | Tstr_modtype of opaque
  10. | Tstr_open of opaque
  11. | Tstr_include of include_declaration
  12. | Tstr_attribute of opaque
Sourceand module_binding = {
  1. mb_id : Ident.t;
  2. mb_name : opaque;
  3. mb_expr : module_expr;
  4. mb_attributes : opaque;
  5. mb_loc : Location.t;
}
Sourceand include_declaration = {
  1. incl_mod : module_expr;
  2. incl_type : opaque;
  3. incl_loc : Location.t;
  4. incl_attributes : opaque;
}