package ocp-index
Install
dune-project
Dependency
Authors
Maintainers
Sources
md5=be47ca1bf4a8ea7ff65449d2056e9bf9
sha512=79998be6d755ae6ab31c6aab360b1c039152644eb8e95fb40175a1eef0ccdae022936a42d1bbf03e03c948023b32ee3c8f5ce14d58d8038652995c5e3671f1ae
doc/ocp-index.lib/IndexBuild/index.html
Module IndexBuild
This module contains the function to create our lazy data structure from cmi, cmt and cmti files or from whole directories
val load : string list -> IndexTypes.tBuild the trie from a list of include directories. They will be scanned for .cmi and .cmt files to complete on module names, and the contents of these files will be lazily read whenever needed.
val add_file : IndexTypes.t -> string -> IndexTypes.tLoad a single file into a trie
val open_module :
?cleanup_path:bool ->
IndexTypes.t ->
string list ->
IndexTypes.tConsider the module at the given path as opened, i.e. rebind its contents at the root of the trie. If cleanup_path, also change its contents to refer to the new path.
val fully_open_module :
?cleanup_path:bool ->
IndexTypes.t ->
string list ->
IndexTypes.tSame as open_module, but tries to open even the elements that are not in the external interface (this needs a cmt to be present)
val alias :
?cleanup_path:bool ->
IndexTypes.t ->
string list ->
string list ->
IndexTypes.talias t origin alias binds at alias the contents found at origin. If ~cleanup_path is set, also change its contents to refer to the new path.