ocaml-webworker 0.0.1 · OCaml Package

type constructor_declaration = Typedtree.constructor_declaration

type node =

| Dummy
| Pattern of Typedtree.pattern
| Expression of Typedtree.expression
| Case of Typedtree.case
| Class_expr of Typedtree.class_expr
| Class_structure of Typedtree.class_structure
| Class_field of Typedtree.class_field
| Class_field_kind of Typedtree.class_field_kind
| Module_expr of Typedtree.module_expr
| Module_type_constraint of Typedtree.module_type_constraint
| Structure of Typedtree.structure
| Signature of Typedtree.signature
| Structure_item of Typedtree.structure_item * Env.t
| Signature_item of Typedtree.signature_item * Env.t
| Module_binding of Typedtree.module_binding
| Value_binding of Typedtree.value_binding
| Module_type of Typedtree.module_type
| Module_declaration of Typedtree.module_declaration
| Module_type_declaration of Typedtree.module_type_declaration
| With_constraint of Typedtree.with_constraint
| Core_type of Typedtree.core_type
| Package_type of Typedtree.package_type
| Row_field of Typedtree.row_field
| Value_description of Typedtree.value_description
| Type_declaration of Typedtree.type_declaration
| Type_kind of Typedtree.type_kind
| Type_extension of Typedtree.type_extension
| Extension_constructor of Typedtree.extension_constructor
| Label_declaration of Typedtree.label_declaration
| Constructor_declaration of Typedtree.constructor_declaration
| Class_type of Typedtree.class_type
| Class_signature of Typedtree.class_signature
| Class_type_field of Typedtree.class_type_field
| Class_declaration of Typedtree.class_declaration
| Class_description of Typedtree.class_description
| Class_type_declaration of Typedtree.class_type_declaration
| Include_description of Typedtree.include_description
| Include_declaration of Typedtree.include_declaration
| Open_description of Typedtree.open_description
| Method_call of Typedtree.expression * Typedtree.meth * Location.t
| Module_binding_name of Typedtree.module_binding
| Module_declaration_name of Typedtree.module_declaration
| 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

package ocaml-webworker