Module `Merlin_analysis.Polarity_search`Source

Sourcetype t =

| Trie of string * Ocaml_parsing.Longident.t * t list lazy_t

Sourcemodule PathSet : sig ... end

Sourcetype query = {

positive : PathSet.t;
pos_fun : int;
negative : PathSet.t;
neg_fun : int;

}

Sourceval remove : int ref -> PathSet.t ref -> PathSet.elt -> unit

val normalize_path : 
  Ocaml_typing.Env.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Path.t

Source

val match_query : 
  Ocaml_typing.Env.t ->
  query ->
  Ocaml_typing.Types.type_expr ->
  int option

Source

val build_query : 
  positive:Ocaml_parsing.Longident.t Merlin_utils.Std.List.t ->
  negative:Ocaml_parsing.Longident.t Merlin_utils.Std.List.t ->
  Ocaml_typing.Env.t ->
  query

Sourceval prepare_query : Ocaml_typing.Env.t -> string -> query

Sourceval directories : global_modules:string list -> Ocaml_typing.Env.t -> t list

Source

val execute_query : 
  query ->
  Ocaml_typing.Env.t ->
  t list ->
  (int * Ocaml_typing.Path.t * Ocaml_typing.Types.value_description) list

Source

val execute_query_as_type_search : 
  ?limit:int ->
  env:Ocaml_typing.Env.t ->
  query:query ->
  modules:t list ->
  unit ->
  Ocaml_typing.Types.type_expr Ocaml_typing.Types.wrapped
    Query_protocol.type_search_result
    list

Module Merlin_analysis.Polarity_searchSource

Module `Merlin_analysis.Polarity_search`Source