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 : 'k. mapper -> 'k Typedtree.case -> 'k Typedtree.case;
  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_substitution : mapper -> Typedtree.module_substitution -> Typedtree.module_substitution;
  19. module_expr : mapper -> Typedtree.module_expr -> Typedtree.module_expr;
  20. module_type : mapper -> Typedtree.module_type -> Typedtree.module_type;
  21. module_type_declaration : mapper -> Typedtree.module_type_declaration -> Typedtree.module_type_declaration;
  22. package_type : mapper -> Typedtree.package_type -> Typedtree.package_type;
  23. pat : 'k. mapper -> 'k Typedtree.general_pattern -> 'k Typedtree.general_pattern;
  24. row_field : mapper -> Typedtree.row_field -> Typedtree.row_field;
  25. object_field : mapper -> Typedtree.object_field -> Typedtree.object_field;
  26. open_declaration : mapper -> Typedtree.open_declaration -> Typedtree.open_declaration;
  27. open_description : mapper -> Typedtree.open_description -> Typedtree.open_description;
  28. signature : mapper -> Typedtree.signature -> Typedtree.signature;
  29. signature_item : mapper -> Typedtree.signature_item -> Typedtree.signature_item;
  30. structure : mapper -> Typedtree.structure -> Typedtree.structure;
  31. structure_item : mapper -> Typedtree.structure_item -> Typedtree.structure_item;
  32. typ : mapper -> Typedtree.core_type -> Typedtree.core_type;
  33. type_declaration : mapper -> Typedtree.type_declaration -> Typedtree.type_declaration;
  34. type_declarations : mapper -> (Asttypes.rec_flag * Typedtree.type_declaration list) -> Asttypes.rec_flag * Typedtree.type_declaration list;
  35. type_extension : mapper -> Typedtree.type_extension -> Typedtree.type_extension;
  36. type_exception : mapper -> Typedtree.type_exception -> Typedtree.type_exception;
  37. type_kind : mapper -> Typedtree.type_kind -> Typedtree.type_kind;
  38. value_binding : mapper -> Typedtree.value_binding -> Typedtree.value_binding;
  39. value_bindings : mapper -> (Asttypes.rec_flag * Typedtree.value_binding list) -> Asttypes.rec_flag * Typedtree.value_binding list;
  40. value_description : mapper -> Typedtree.value_description -> Typedtree.value_description;
  41. with_constraint : mapper -> Typedtree.with_constraint -> Typedtree.with_constraint;
}
val default : mapper