Module `Ocaml_typing.Persistent_env`Source

Source

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

Sourcetype 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

Sourceexception Error of error

Sourceval report_error : error Merlin_utils.Format_doc.format_printer

Sourceval report_error_doc : error Merlin_utils.Format_doc.printer

Sourcemodule Persistent_signature : sig ... end

Sourcetype can_load_cmis =

| Can_load_cmis
| Cannot_load_cmis of Ocaml_utils.Lazy_backtrack.log

Sourcetype 'a t

Sourceval empty : unit -> 'a t

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

Sourceval clear : 'a t -> unit

Sourceval clear_missing : 'a t -> unit

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

Source

val read : 
  'a t ->
  (Persistent_signature.t -> 'a) ->
  (string -> 'a -> Ocaml_typing.Short_paths.Desc.Module.components Lazy.t) ->
  Ocaml_parsing.Unit_info.Artifact.t ->
  'a

Source

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

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

Source

val check : 
  allow_hidden:bool ->
  '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

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

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

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

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

Source

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

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

Sourceval can_load_cmis : 'a t -> can_load_cmis

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

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

Source

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

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

Source

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

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

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

Source

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

Module Ocaml_typing.Persistent_envSource

Module `Ocaml_typing.Persistent_env`Source