package ocaml-base-compiler

  1. Overview
  2. Docs
val lident_of_path : Path.t -> Longident.t
type mapper = {
  1. attribute : mapper -> Typedtree.attribute -> Parsetree.attribute;
  2. attributes : mapper -> Typedtree.attribute list -> Parsetree.attribute list;
  3. binding_op : mapper -> Typedtree.binding_op -> Typedtree.pattern -> Parsetree.binding_op;
  4. case : mapper -> Typedtree.case -> Parsetree.case;
  5. cases : mapper -> Typedtree.case list -> Parsetree.case list;
  6. class_declaration : mapper -> Typedtree.class_declaration -> Parsetree.class_declaration;
  7. class_description : mapper -> Typedtree.class_description -> Parsetree.class_description;
  8. class_expr : mapper -> Typedtree.class_expr -> Parsetree.class_expr;
  9. class_field : mapper -> Typedtree.class_field -> Parsetree.class_field;
  10. class_signature : mapper -> Typedtree.class_signature -> Parsetree.class_signature;
  11. class_structure : mapper -> Typedtree.class_structure -> Parsetree.class_structure;
  12. class_type : mapper -> Typedtree.class_type -> Parsetree.class_type;
  13. class_type_declaration : mapper -> Typedtree.class_type_declaration -> Parsetree.class_type_declaration;
  14. class_type_field : mapper -> Typedtree.class_type_field -> Parsetree.class_type_field;
  15. constructor_declaration : mapper -> Typedtree.constructor_declaration -> Parsetree.constructor_declaration;
  16. expr : mapper -> Typedtree.expression -> Parsetree.expression;
  17. extension_constructor : mapper -> Typedtree.extension_constructor -> Parsetree.extension_constructor;
  18. include_declaration : mapper -> Typedtree.include_declaration -> Parsetree.include_declaration;
  19. include_description : mapper -> Typedtree.include_description -> Parsetree.include_description;
  20. label_declaration : mapper -> Typedtree.label_declaration -> Parsetree.label_declaration;
  21. location : mapper -> Location.t -> Location.t;
  22. module_binding : mapper -> Typedtree.module_binding -> Parsetree.module_binding;
  23. module_declaration : mapper -> Typedtree.module_declaration -> Parsetree.module_declaration;
  24. module_substitution : mapper -> Typedtree.module_substitution -> Parsetree.module_substitution;
  25. module_expr : mapper -> Typedtree.module_expr -> Parsetree.module_expr;
  26. module_type : mapper -> Typedtree.module_type -> Parsetree.module_type;
  27. module_type_declaration : mapper -> Typedtree.module_type_declaration -> Parsetree.module_type_declaration;
  28. package_type : mapper -> Typedtree.package_type -> Parsetree.package_type;
  29. open_declaration : mapper -> Typedtree.open_declaration -> Parsetree.open_declaration;
  30. open_description : mapper -> Typedtree.open_description -> Parsetree.open_description;
  31. pat : mapper -> Typedtree.pattern -> Parsetree.pattern;
  32. row_field : mapper -> Typedtree.row_field -> Parsetree.row_field;
  33. object_field : mapper -> Typedtree.object_field -> Parsetree.object_field;
  34. signature : mapper -> Typedtree.signature -> Parsetree.signature;
  35. signature_item : mapper -> Typedtree.signature_item -> Parsetree.signature_item;
  36. structure : mapper -> Typedtree.structure -> Parsetree.structure;
  37. structure_item : mapper -> Typedtree.structure_item -> Parsetree.structure_item;
  38. typ : mapper -> Typedtree.core_type -> Parsetree.core_type;
  39. type_declaration : mapper -> Typedtree.type_declaration -> Parsetree.type_declaration;
  40. type_extension : mapper -> Typedtree.type_extension -> Parsetree.type_extension;
  41. type_exception : mapper -> Typedtree.type_exception -> Parsetree.type_exception;
  42. type_kind : mapper -> Typedtree.type_kind -> Parsetree.type_kind;
  43. value_binding : mapper -> Typedtree.value_binding -> Parsetree.value_binding;
  44. value_description : mapper -> Typedtree.value_description -> Parsetree.value_description;
  45. with_constraint : mapper -> (Path.t * Longident.t Location.loc * Typedtree.with_constraint) -> Parsetree.with_constraint;
}
val default_mapper : mapper
val untype_structure : ?mapper:mapper -> Typedtree.structure -> Parsetree.structure
val untype_signature : ?mapper:mapper -> Typedtree.signature -> Parsetree.signature
OCaml

Innovation. Community. Security.