merlin-lib.analysis
Merlin_analysis.Polarity_search
merlin-lib.commands
merlin-lib.config
merlin-lib.dot_protocol
merlin-lib.extend
merlin-lib.index_format
merlin-lib.kernel
merlin-lib.ocaml_compression
merlin-lib.ocaml_merlin_specific
merlin-lib.ocaml_parsing
merlin-lib.ocaml_preprocess
merlin-lib.ocaml_typing
merlin-lib.ocaml_utils
merlin-lib.os_ipc
merlin-lib.query_commands
merlin-lib.query_protocol
merlin-lib.sherlodoc
merlin-lib.utils
type t =
| Trie of string * Ocaml_parsing.Longident.t * t list lazy_t
module PathSet : sig ... end
type query = {
positive : PathSet.t;
pos_fun : int;
negative : PathSet.t;
neg_fun : int;
}
val remove : int ref -> PathSet.t ref -> 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 -> 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 -> query
val prepare_query : Ocaml_typing.Env.t -> string -> query
val directories : global_modules:string list -> Ocaml_typing.Env.t -> t list
val execute_query : query -> Ocaml_typing.Env.t -> 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:query -> modules:t list -> unit -> Ocaml_typing.Types.type_expr Query_protocol.type_search_result list