package omod
Install
Dune Dependency
Authors
Maintainers
Sources
sha512=4f53b8cdd054dc1a6813427452a91294e0bbcfefe948fc1caec47be136dbcecf13112bf2b620fa2f667592b04b28df74e3bf012ea0fb0038c1da4217155ca626
doc/omod.support/Omod_support/Cobj/Index/index.html
Module Cobj.Index
Compilation object indexes.
Indexes
val empty : t
The type for empty indexes.
of_cobjs ~init cobjs
is an index made of init
(defaults to empty
) and cobjs
.
val cobjs_by_name : t -> cobj list Omod.Private.String.Map.t
cobjs_by_name i
are the module names of i
and the compilation objects they map to.
val cobjs_by_digest : t -> cobj list Digest.Map.t
cobjs_by_digest i
are the interface digests of i
and the compilation objects they map to.
val cobjs_by_pkg_name : t -> cobj list Omod.Private.String.Map.t
cobjs_by_pkg_name i
are the package names of i
and the compilation objects they map to.
cobjs_for_mod_name n i
are the compilation objects of i
whose module name matches n
.
cobjs_for_iface_digest d i
are the compilation objects of i
whose interface digest matches d
.
cobjs_for_pkg_name n i
are the compilation objects of i
whose package name matches n
.
cobjs_for_iface_digest dep i
are the compilation objects of i
which satisfy dependency dep
.
val cobjs_for_dep_res :
variants:Omod.Private.String.Set.t ->
sat:(cobj -> bool) ->
kind:kind ->
dep ->
t ->
cobj list
cobjs_for_dep_res ~variants ~sat ~kind dep i
resolves dep
in i
to a sat
satisfying compilation object of kind kind
with the following twists:
- If no
kind
can be found but aCmi
exists the latter is returned, assuming an mli-only module. - If an object is available both as a standalone compilation object and in an archive, only resolutions that mention the archive are returned.
- If an object is available in multiple variants and
variants
is notString.Set.empty
then variants that do not belong tovariants
are dropped.