package ocaml-base-compiler

  1. Overview
  2. Docs

A generic Typedtree mapper

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