package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.10.2

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (70)

Authors

  1. Xavier Leroy

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

4.10.2.tar.gz
sha256=7aa26e0d70f36f0338df92cf5aaeb2704f3443bfe910a3d02a5dca9162f1d866

doc/ocamlcommon/Tast_iterator/index.html

Module Tast_iterator

Allows the implementation of typed tree inspection using open recursion

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