jon.recoil.org

Module Ocaml_typing.Tast_iterator

Allows the implementation of typed tree inspection using open recursion

type iterator = {
  1. attribute : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.attribute -> unit;
  2. attributes : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.attributes -> unit;
  3. binding_op : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.binding_op -> unit;
  4. case : 'k. Ocaml_typing.Tast_iterator.iterator -> 'k Ocaml_typing.Typedtree.case -> unit;
  5. class_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_declaration -> unit;
  6. class_description : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_description -> unit;
  7. class_expr : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_expr -> unit;
  8. class_field : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_field -> unit;
  9. class_signature : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_signature -> unit;
  10. class_structure : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_structure -> unit;
  11. class_type : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_type -> unit;
  12. class_type_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_type_declaration -> unit;
  13. class_type_field : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.class_type_field -> unit;
  14. env : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Env.t -> unit;
  15. expr : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.expression -> unit;
  16. extension_constructor : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.extension_constructor -> unit;
  17. jkind_annotation : Ocaml_typing.Tast_iterator.iterator -> Ocaml_parsing.Parsetree.jkind_annotation -> unit;
  18. include_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.include_declaration -> unit;
  19. include_description : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.include_description -> unit;
  20. location : Ocaml_typing.Tast_iterator.iterator -> Ocaml_parsing.Location.t -> unit;
  21. module_binding : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_binding -> unit;
  22. module_coercion : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_coercion -> unit;
  23. module_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_declaration -> unit;
  24. module_substitution : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_substitution -> unit;
  25. module_expr : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_expr -> unit;
  26. module_type : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_type -> unit;
  27. module_type_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.module_type_declaration -> unit;
  28. package_type : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.package_type -> unit;
  29. pat : 'k. Ocaml_typing.Tast_iterator.iterator -> 'k Ocaml_typing.Typedtree.general_pattern -> unit;
  30. row_field : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.row_field -> unit;
  31. object_field : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.object_field -> unit;
  32. open_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.open_declaration -> unit;
  33. open_description : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.open_description -> unit;
  34. signature : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.signature -> unit;
  35. signature_item : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.signature_item -> unit;
  36. structure : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.structure -> unit;
  37. structure_item : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.structure_item -> unit;
  38. typ : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.core_type -> unit;
  39. type_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.type_declaration -> unit;
  40. type_declarations : Ocaml_typing.Tast_iterator.iterator -> (Ocaml_parsing.Asttypes.rec_flag * Ocaml_typing.Typedtree.type_declaration list) -> unit;
  41. type_extension : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.type_extension -> unit;
  42. type_exception : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.type_exception -> unit;
  43. type_kind : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.type_kind -> unit;
  44. value_binding : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.value_binding -> unit;
  45. value_bindings : Ocaml_typing.Tast_iterator.iterator -> (Ocaml_parsing.Asttypes.rec_flag * Ocaml_typing.Typedtree.value_binding list) -> unit;
  46. value_description : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.value_description -> unit;
  47. with_constraint : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.with_constraint -> unit;
  48. item_declaration : Ocaml_typing.Tast_iterator.iterator -> Ocaml_typing.Typedtree.item_declaration -> unit;
}