Module Odig.Cobj.Index

module Index: sig .. end
Compilation object indexes


Compilation objects indexes


type 'a t = 'a Odig.Cobj.index 
The type for compilation objects indexes whose query results are tagged with 'a.
val empty : 'a Odig.Cobj.index
empty is an empty index.
val of_set : ?init:'a Odig.Cobj.index -> 'a -> Odig.Cobj.set -> 'a Odig.Cobj.index
of_set ~init t s is an index from s whose objects are tagged with t. init is the index to add to (defaults to Odig.Cobj.Index.empty.)

Queries


type query = [ `Digest of Odig.Cobj.digest | `Name of string ] 
The type for queries. Either by digest or by (capitalized) module name.
val query_of_dep : Odig.Cobj.dep -> query
query_of_dep dep is the most precise query for dep.
val query : 'a t ->
query ->
('a * Odig.Cobj.cmi) list * ('a * Odig.Cobj.cmti) list *
('a * Odig.Cobj.cmo) list * ('a * Odig.Cobj.cmx) list *
('a * Odig.Cobj.cmt) list
query i q is (cmis, cmtis, cmos, cmxs, cmt) the compilations objects matching query q in i:
val cmis_for_interface : 'a Odig.Cobj.index -> query -> ('a * Odig.Cobj.cmi) list
cmi_for_interface i q is a list of cmis whose module interface matches q.
val cmtis_for_interface : 'a Odig.Cobj.index -> query -> ('a * Odig.Cobj.cmti) list
cmti_for_interface i q is a list of cmtis whose module interface matches q.
val cmos_for_interface : 'a Odig.Cobj.index -> query -> ('a * Odig.Cobj.cmo) list
cmo_for_interface i d is a list of cmo whose module interface matches q.
val cmxs_for_interface : 'a Odig.Cobj.index -> query -> ('a * Odig.Cobj.cmx) list
cmxs_for_interface i cmx is a list of cmx objects whose module interface matches q.
val cmts_for_interface : 'a Odig.Cobj.index -> query -> ('a * Odig.Cobj.cmt) list
cmxs_for_interface i cmx is a list of cmx objects whose module interface matches q.