Module `Merlin_analysis.Polarity_search`

type t =

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

module PathSet : sig ... end

type query = {

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

}

val remove : 
  int Stdlib.ref ->
  Merlin_analysis.Polarity_search.PathSet.t Stdlib.ref ->
  Merlin_analysis.Polarity_search.PathSet.elt ->
  unit

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

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

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 ->
  Merlin_analysis.Polarity_search.query

val prepare_query : 
  Ocaml_typing.Env.t ->
  string ->
  Merlin_analysis.Polarity_search.query

val directories : 
  global_modules:string list ->
  Ocaml_typing.Env.t ->
  Merlin_analysis.Polarity_search.t list

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

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

Module Merlin_analysis.Polarity_search

Module `Merlin_analysis.Polarity_search`