package ocaml-base-compiler

  1. Overview
  2. Docs

A generic Typedtree mapper

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