Env (reference.odoc.odoc.xref2.Odoc

Sourcetype lookup_unit_result =

| Forward_reference
| Found of Odoc_model.Lang.Compilation_unit.t

Sourcetype path_query = [

| `Path of Odoc_model.Paths.Reference.Hierarchy.t
| `Name of string

]

Sourcetype lookup_error = [

| `Not_found

]

Sourcetype resolver = {

open_units : string list;
lookup_unit : path_query -> (lookup_unit_result, lookup_error) Odoc_utils.result;
lookup_page : path_query -> (Odoc_model.Lang.Page.t, lookup_error) Odoc_utils.result;
lookup_asset : path_query -> (Odoc_model.Lang.Asset.t, lookup_error) Odoc_utils.result;
lookup_impl : string -> Odoc_model.Lang.Implementation.t option;

}

Sourcetype root =

| Resolved of Odoc_model.Root.t * Odoc_model.Paths.Identifier.Module.t * Component.Module.t
| Forward

Sourcetype lookup_type =

| Module of Odoc_model.Paths.Identifier.Path.Module.t
| ModuleType of Odoc_model.Paths.Identifier.ModuleType.t
| RootModule of Odoc_model.Names.ModuleName.t * [ `Forward | `Resolved of Digest.t ] option
| ModuleByName of string * Odoc_model.Paths.Identifier.Path.Module.t
| FragmentRoot of int

Sourcemodule LookupTypeSet : Set.S with type elt = lookup_type

Sourceval pp_lookup_type_list : Format.formatter -> lookup_type list -> unit

Sourcetype t

Sourceval is_linking : t -> bool

Sourceval with_recorded_lookups : t -> (t -> 'a) -> LookupTypeSet.t * 'a

Sourceval set_resolver : t -> resolver -> t

Sourceval has_resolver : t -> bool

Sourceval id : t -> int

Sourceval empty : t

Sourceval add_fragment_root : Component.Signature.t -> t -> t

Source

val add_module : 
  Odoc_model.Paths.Identifier.Path.Module.t ->
  Component.Module.t Component.Delayed.t ->
  Component.CComment.docs ->
  t ->
  t

Source

val add_type : 
  Odoc_model.Paths.Identifier.Type.t ->
  Component.TypeDecl.t ->
  t ->
  t

Source

val add_module_type : 
  Odoc_model.Paths.Identifier.Path.ModuleType.t ->
  Component.ModuleType.t ->
  t ->
  t

Source

val add_value : 
  Odoc_model.Paths.Identifier.Value.t ->
  Component.Value.t ->
  t ->
  t

Source

val add_label : 
  Odoc_model.Paths.Identifier.Label.t ->
  Component.Label.t ->
  t ->
  t

Source

val add_class : 
  Odoc_model.Paths.Identifier.Class.t ->
  Component.Class.t ->
  t ->
  t

Source

val add_class_type : 
  Odoc_model.Paths.Identifier.ClassType.t ->
  Component.ClassType.t ->
  t ->
  t

Source

val add_exception : 
  Odoc_model.Paths.Identifier.Exception.t ->
  Component.Exception.t ->
  t ->
  t

Source

val add_extension_constructor : 
  Odoc_model.Paths.Identifier.Extension.t ->
  Component.Extension.Constructor.t ->
  Component.Extension.t ->
  t ->
  t

Sourceval add_docs : Odoc_model.Comment.docs -> t -> t

Sourceval add_comment : Odoc_model.Comment.docs_or_stop -> t -> t

Source

val add_method : 
  Odoc_model.Paths.Identifier.Method.t ->
  Component.Method.t ->
  t ->
  t

Source

val add_module_functor_args : 
  Component.Module.t ->
  Odoc_model.Paths.Identifier.Path.Module.t ->
  t ->
  t

Source

val add_module_type_functor_args : 
  Component.ModuleType.t ->
  Odoc_model.Paths.Identifier.ModuleType.t ->
  t ->
  t

Sourceval lookup_fragment_root : t -> (int * Component.Signature.t) option

Source

val lookup_page_by_name : 
  string ->
  t ->
  (Odoc_model.Lang.Page.t, lookup_error) Odoc_utils.result

Source

val lookup_page_by_path : 
  Odoc_model.Paths.Reference.Hierarchy.t ->
  t ->
  (Odoc_model.Lang.Page.t, lookup_error) Odoc_utils.result

Source

val lookup_asset_by_path : 
  Odoc_model.Paths.Reference.Hierarchy.t ->
  t ->
  (Odoc_model.Lang.Asset.t, lookup_error) Odoc_utils.result

Source

val lookup_asset_by_name : 
  string ->
  t ->
  (Odoc_model.Lang.Asset.t, lookup_error) Odoc_utils.result

Sourceval lookup_impl : string -> t -> Odoc_model.Lang.Implementation.t option

Source

val lookup_unit_by_path : 
  Odoc_model.Paths.Reference.Hierarchy.t ->
  t ->
  (Component.Element.module_, lookup_error) Odoc_utils.result

Sourceval module_of_unit : Odoc_model.Lang.Compilation_unit.t -> Component.Module.t

Sourceval lookup_root_module : Odoc_model.Names.ModuleName.t -> t -> root option

Sourcetype 'a scope constraint 'a = [< Component.Element.any ]

Target of a lookup

Source

type 'a maybe_ambiguous =
  ('a, [ `Ambiguous of 'a * 'a list | `Not_found ]) Odoc_utils.Result.result

Sourceval lookup_by_name : 'a scope -> string -> t -> 'a maybe_ambiguous

Lookup an element in Env depending on the given scope. Return Error (`Ambiguous _) when two or more elements match the given scope and name.

Source

val lookup_by_id : 
  'a scope ->
  [< Odoc_model.Paths.Identifier.t_pv ] Odoc_model.Paths.Identifier.id ->
  t ->
  'a option

Like lookup_by_name but use an identifier as key.

Sourceval s_any : Component.Element.any scope

Sourceval s_signature : Component.Element.signature scope

Sourceval s_module : Component.Element.module_ scope

Sourceval s_module_type : Component.Element.module_type scope

Sourceval s_type : Component.Element.type_ scope

Sourceval s_datatype : Component.Element.datatype scope

Sourceval s_class : Component.Element.class_ scope

Sourceval s_class_type : Component.Element.class_type scope

Sourceval s_value : Component.Element.value scope

Sourceval s_label : Component.Element.label scope

Sourceval s_constructor : Component.Element.constructor scope

Sourceval s_exception : Component.Element.exception_ scope

Sourceval s_extension : Component.Element.extension scope

Sourceval s_field : Component.Element.field scope

Sourceval s_label_parent : Component.Element.label_parent scope

Sourceval s_fragment_type_parent : Component.Element.fragment_type_parent scope

Sourceval add_functor_parameter : Odoc_model.Lang.FunctorParameter.t -> t -> t

Sourceval open_class_signature : Odoc_model.Lang.ClassSignature.t -> t -> t

Sourceval open_signature : Odoc_model.Lang.Signature.t -> t -> t

Sourceval open_type_substitution : Odoc_model.Lang.TypeDecl.t -> t -> t

Sourceval open_module_substitution : Odoc_model.Lang.ModuleSubstitution.t -> t -> t

Source

val open_module_type_substitution : 
  Odoc_model.Lang.ModuleTypeSubstitution.t ->
  t ->
  t

Sourceval open_page : Odoc_model.Lang.Page.t -> t -> t

Add a page content to the env.

Source

val env_of_unit : 
  Odoc_model.Lang.Compilation_unit.t ->
  linking:bool ->
  resolver ->
  t

Create a new env with a module initially opened.

Sourceval env_of_page : Odoc_model.Lang.Page.t -> resolver -> t

Create a new env for a page.

Sourceval env_of_impl : Odoc_model.Lang.Implementation.t -> resolver -> t

Create a new env for an implementation.

Sourceval env_for_reference : resolver -> t

Create a new env for a reference.

Sourceval env_for_testing : linking:bool -> t

Create a new env for testing purposes

Sourceval inherit_resolver : t -> t

Create an empty environment reusing the same resolver.

Sourceval len : int ref

Sourceval n : int ref

Sourceval should_suppress_warnings : t -> string option -> bool

Sourceval set_warnings_tags : t -> string list -> t

Sourceval verify_lookups : t -> LookupTypeSet.t -> bool