package ocaml-webworker

  1. Overview
  2. Docs
type constructor_declaration = Typedtree.constructor_declaration
type node =
  1. | Dummy
  2. | Pattern of Typedtree.pattern
  3. | Expression of Typedtree.expression
  4. | Case of Typedtree.case
  5. | Class_expr of Typedtree.class_expr
  6. | Class_structure of Typedtree.class_structure
  7. | Class_field of Typedtree.class_field
  8. | Class_field_kind of Typedtree.class_field_kind
  9. | Module_expr of Typedtree.module_expr
  10. | Module_type_constraint of Typedtree.module_type_constraint
  11. | Structure of Typedtree.structure
  12. | Signature of Typedtree.signature
  13. | Structure_item of Typedtree.structure_item * Env.t
  14. | Signature_item of Typedtree.signature_item * Env.t
  15. | Module_binding of Typedtree.module_binding
  16. | Value_binding of Typedtree.value_binding
  17. | Module_type of Typedtree.module_type
  18. | Module_declaration of Typedtree.module_declaration
  19. | Module_type_declaration of Typedtree.module_type_declaration
  20. | With_constraint of Typedtree.with_constraint
  21. | Core_type of Typedtree.core_type
  22. | Package_type of Typedtree.package_type
  23. | Row_field of Typedtree.row_field
  24. | Value_description of Typedtree.value_description
  25. | Type_declaration of Typedtree.type_declaration
  26. | Type_kind of Typedtree.type_kind
  27. | Type_extension of Typedtree.type_extension
  28. | Extension_constructor of Typedtree.extension_constructor
  29. | Label_declaration of Typedtree.label_declaration
  30. | Constructor_declaration of Typedtree.constructor_declaration
  31. | Class_type of Typedtree.class_type
  32. | Class_signature of Typedtree.class_signature
  33. | Class_type_field of Typedtree.class_type_field
  34. | Class_declaration of Typedtree.class_declaration
  35. | Class_description of Typedtree.class_description
  36. | Class_type_declaration of Typedtree.class_type_declaration
  37. | Include_description of Typedtree.include_description
  38. | Include_declaration of Typedtree.include_declaration
  39. | Open_description of Typedtree.open_description
  40. | Method_call of Typedtree.expression * Typedtree.meth * Location.t
  41. | Module_binding_name of Typedtree.module_binding
  42. | Module_declaration_name of Typedtree.module_declaration
  43. | Module_type_declaration_name of Typedtree.module_type_declaration
val node_update_env : Env.t -> node -> Env.t
val node_real_loc : Location.t -> node -> Location.t
val node_merlin_loc : Location.t -> node -> Location.t
val app : node -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
type 'a f0 = Env.t -> node -> 'a -> 'a
type ('b, 'a) f1 = 'b -> Env.t -> 'a f0 -> 'a -> 'a
val id_fold : 'a -> 'b f0 -> 'c -> 'c
val (**) : ('a -> 'b f0 -> 'c -> 'd) -> ('a -> 'b f0 -> 'd -> 'e) -> 'a -> 'b f0 -> 'c -> 'e
val list_fold : ('a, 'b) f1 -> 'a list -> Env.t -> 'b f0 -> 'b -> 'b
val array_fold : ('a, 'b) f1 -> 'a array -> Env.t -> 'b f0 -> 'b -> 'b
val list_fold_with_next : ('a option -> ('a, 'b) f1) -> 'a list -> Env.t -> 'b f0 -> 'b -> 'b
val option_fold : ('a -> 'b -> 'c f0 -> 'd -> 'd) -> 'a option -> 'b -> 'c f0 -> 'd -> 'd
val of_expression : Typedtree.expression -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_case : Typedtree.case -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_pattern : Typedtree.pattern -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_core_type : Typedtree.core_type -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_label_declaration : Typedtree.label_declaration -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_value_binding : Typedtree.value_binding -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_module_type : Typedtree.module_type -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_module_expr : Typedtree.module_expr -> Env.t -> (Env.t -> node -> 'a -> 'b) -> 'a -> 'b
val of_typ_param : (Typedtree.core_type * 'a) -> Env.t -> (Env.t -> node -> 'b -> 'c) -> 'b -> 'c
val of_constructor_arguments : Typedtree.constructor_arguments -> Env.t -> 'a f0 -> 'a -> 'a
val of_pat_extra : (Typedtree.pat_extra * 'a * 'b) -> Env.t -> 'c f0 -> 'c -> 'c
val of_pattern_desc : Typedtree.pattern_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_method_call : Typedtree.expression -> Typedtree.meth -> Typedtree.expression option -> Location.t -> Env.t -> 'a f0 -> 'a -> 'a
val of_expression_desc : Location.t -> Typedtree.expression_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_exp_extra : (Typedtree.exp_extra * 'a * 'b) -> Env.t -> 'c f0 -> 'c -> 'c
val of_class_expr_desc : Typedtree.class_expr_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_class_field_desc : Typedtree.class_field_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_module_expr_desc : Typedtree.module_expr_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_structure_item_desc : Typedtree.structure_item_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_module_type_desc : Typedtree.module_type_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_signature_item_desc : Typedtree.signature_item_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_core_type_desc : Typedtree.core_type_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_class_type_desc : Typedtree.class_type_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_class_type_field_desc : Typedtree.class_type_field_desc -> Env.t -> 'a f0 -> 'a -> 'a
val of_node : node -> Env.t -> 'a f0 -> 'a -> 'a
val fold_node : 'a f0 -> Env.t -> node -> 'a -> 'a

Accessors for information specific to a node

val string_of_node : node -> string
val mkloc : 'a -> Location.t -> 'a Location.loc
val reloc : 'a -> 'b Location.loc -> 'a Location.loc
val path_of_value_constructor : Env.t -> Longident.t -> Path.t
val pattern_paths : Typedtree.pattern -> Path.t Location.loc list
val expression_paths : Typedtree.expression -> Path.t Location.loc list
val core_type_paths : Typedtree.core_type -> Path.t Location.loc list
val class_expr_paths : Typedtree.class_expr -> Path.t Location.loc list
val class_field_paths : Typedtree.class_field -> Path.t Location.loc list
val module_expr_paths : Typedtree.module_expr -> Path.t Location.loc list
val structure_item_paths : Typedtree.structure_item -> Path.t Location.loc list
val module_type_paths : Typedtree.module_type -> Path.t Location.loc list
val signature_item_paths : Typedtree.signature_item -> Path.t Location.loc list
val with_constraint_paths : Typedtree.with_constraint -> Path.t Location.loc list
val ci_paths : 'a Typedtree.class_infos -> Path.t Location.loc list
val node_paths : node -> Path.t Location.loc list
val node_is_constructor : node -> [> `Declaration of Typedtree.constructor_declaration | `Description of Types.constructor_description ] Asttypes.loc option
val node_attributes : node -> Typedtree.attributes
OCaml

Innovation. Community. Security.