Type_search (reference.merlin-lib.merlin-lib.analysis.Merlin_analysis.Type

merlin-lib
- Library merlin-lib.analysis
  - Merlin_analysis
- Library merlin-lib.commands
  - Merlin_commands
- Library merlin-lib.config
  - Merlin_config
- Library merlin-lib.dot_protocol
  - Merlin_dot_protocol
- Library merlin-lib.extend
  - Merlin_extend
- Library merlin-lib.kernel
  - Merlin_kernel
- Library merlin-lib.ocaml_compression
  - Ocaml_compression
- Library merlin-lib.ocaml_merlin_specific
  - Merlin_specific
- Library merlin-lib.ocaml_parsing
  - Ocaml_parsing
- Library merlin-lib.ocaml_preprocess
  - Ocaml_preprocess
- Library merlin-lib.ocaml_typing
  - Ocaml_typing
- Library merlin-lib.ocaml_utils
  - Ocaml_utils
- Library merlin-lib.os_ipc
  - Os_ipc
- Library merlin-lib.query_commands
  - Query_commands
- Library merlin-lib.query_protocol
  - Query_protocol
- Library merlin-lib.sherlodoc
  - Merlin_sherlodoc
- Library merlin-lib.utils
  - Merlin_utils
- Sources

val run : 
  ?limit:int ->
  env:Ocaml_typing.Env.t ->
  query:Merlin_sherlodoc.Query.t ->
  modules:string list ->
  unit ->
  Ocaml_typing.Types.type_expr Query_protocol.type_search_result list

Compute the list of candidates from a query inside a given environment.

Source

val get_doc : 
  config:Merlin_kernel.Mconfig.t ->
  env:Ocaml_typing.Env.t ->
  local_defs:Merlin_kernel.Mtyper.typedtree ->
  comments:(string * Ocaml_parsing.Location.t) list ->
  pos:Lexing.position ->
  string ->
  string option

Sourceval make_constructible : string -> Ocaml_typing.Types.type_expr -> string

Source

val compare_result : 
  _ Query_protocol.type_search_result ->
  _ Query_protocol.type_search_result ->
  int

Sourceval classify_query : string -> [ `By_type of string | `Polarity of string ]