package ocp-index
Install
Dune Dependency
Authors
Maintainers
Sources
md5=e66ce96958cc87c724e9163feaaf769f
sha512=3ecc6b5208db5be23edb2cca66324aad0768644e2a08a9fb0294f920a53ae22af46c5f6cd4768f61d1c532b3110a99873b4c5139fc2585b3b70e41c8e577b543
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.t
Build 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.t
Load a single file into a trie
val open_module :
?cleanup_path:bool ->
IndexTypes.t ->
string list ->
IndexTypes.t
Consider 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.t
Same 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.t
alias 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.