merlin-lib 4.4~5.0.preview

merlin-lib

module Consistbl : 
  module type of struct include Ocaml_utils.Consistbl.Make(Merlin_utils.Misc.String) end

type error =

| Illegal_renaming of Merlin_utils.Misc.modname * Merlin_utils.Misc.modname * Merlin_utils.Misc.filepath
| Inconsistent_import of Merlin_utils.Misc.modname * Merlin_utils.Misc.filepath * Merlin_utils.Misc.filepath
| Need_recursive_types of Merlin_utils.Misc.modname

exception Error of error

val report_error : Format.formatter -> error -> unit

module Persistent_signature : sig ... end

type can_load_cmis =

| Can_load_cmis
| Cannot_load_cmis of Ocaml_utils.Lazy_backtrack.log

type 'a t

val empty : unit -> 'a t

val short_paths_basis : 'a t -> Short_paths.Basis.t

val clear : 'a t -> unit

val clear_missing : 'a t -> unit

val fold : 'a t -> (Merlin_utils.Misc.modname -> 'a -> 'b -> 'b) -> 'b -> 'b

val read : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  (string -> 'a -> Ocaml_typing.Short_paths.Desc.Module.components Lazy.t) ->
  Merlin_utils.Misc.modname ->
  Merlin_utils.Misc.filepath ->
  'a

val find : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  (string -> 'a -> Ocaml_typing.Short_paths.Desc.Module.components Lazy.t) ->
  Merlin_utils.Misc.modname ->
  'a

val find_in_cache : 'a t -> Merlin_utils.Misc.modname -> 'a option

val check : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  (string -> 'a -> Ocaml_typing.Short_paths.Desc.Module.components Lazy.t) ->
  loc:Ocaml_parsing.Location.t ->
  Merlin_utils.Misc.modname ->
  unit

val looked_up : 'a t -> Merlin_utils.Misc.modname -> bool

val is_imported : 'a t -> Merlin_utils.Misc.modname -> bool

val is_imported_opaque : 'a t -> Merlin_utils.Misc.modname -> bool

val register_import_as_opaque : 'a t -> Merlin_utils.Misc.modname -> unit

val make_cmi : 
  'a t ->
  Merlin_utils.Misc.modname ->
  Types.signature ->
  Merlin_utils.Misc.alerts ->
  Cmi_format.cmi_infos

val save_cmi : 'a t -> Persistent_signature.t -> 'a -> unit

val can_load_cmis : 'a t -> can_load_cmis

val set_can_load_cmis : 'a t -> can_load_cmis -> unit

val without_cmis : 'a t -> ('b -> 'c) -> 'b -> 'c

val import_crcs : 
  'a t ->
  source:Merlin_utils.Misc.filepath ->
  Merlin_utils.Misc.crcs ->
  unit

val imports : 'a t -> Merlin_utils.Misc.crcs

val crc_of_unit : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  (string -> 'a -> Ocaml_typing.Short_paths.Desc.Module.components Lazy.t) ->
  Merlin_utils.Misc.modname ->
  Digest.t

val add_delayed_check_forward : ((unit -> unit) -> unit) ref

val with_cmis : 'a t -> ('b -> 'c) -> 'b -> 'c

val forall : 
  found:
    (Merlin_utils.Misc.modname ->
      Merlin_utils.Misc.filepath ->
      string ->
      'a ->
      bool) ->
  missing:(Merlin_utils.Misc.modname -> bool) ->
  'a t ->
  bool

package merlin-lib