Module `Odoc_xref2.Find`

type module_ = [

| `FModule of Odoc_model.Names.ModuleName.t * Odoc_xref2.Component.Module.t

]

type module_type = [

| `FModuleType of Odoc_model.Names.ModuleTypeName.t * Odoc_xref2.Component.ModuleType.t

]

type datatype = [

| `FType of Odoc_model.Names.TypeName.t * Odoc_xref2.Component.TypeDecl.t

]

type class_ = [

| `FClass of Odoc_model.Names.TypeName.t * Odoc_xref2.Component.Class.t
| `FClassType of Odoc_model.Names.TypeName.t * Odoc_xref2.Component.ClassType.t

]

type value = [

| `FValue of Odoc_model.Names.ValueName.t * Odoc_xref2.Component.Value.t

]

type label = [

| `FLabel of Odoc_xref2.Component.Label.t

]

type exception_ = [

| `FExn of Odoc_model.Names.ExceptionName.t * Odoc_xref2.Component.Exception.t

]

type extension = [

| `FExt of Odoc_xref2.Component.Extension.t * Odoc_xref2.Component.Extension.Constructor.t

]

type substitution = [

| `FModule_subst of Odoc_xref2.Component.ModuleSubstitution.t
| `FType_subst of Odoc_xref2.Component.TypeDecl.t
| `FModuleType_subst of Odoc_xref2.Component.ModuleTypeSubstitution.t

]

type signature = [

| Odoc_xref2.Find.module_
| Odoc_xref2.Find.module_type

]

type type_ = [

| Odoc_xref2.Find.datatype
| Odoc_xref2.Find.class_

]

type label_parent = [

| Odoc_xref2.Find.signature
| Odoc_xref2.Find.type_

]

type constructor = [

| `FConstructor of Odoc_xref2.Component.TypeDecl.Constructor.t

]

type polymorphic_constructor = [

| `FPoly of Odoc_xref2.Component.TypeExpr.Polymorphic_variant.Constructor.t

]

type field = [

| `FField of Odoc_xref2.Component.TypeDecl.Field.t

]

type unboxed_field = [

| `FUnboxedField of Odoc_xref2.Component.TypeDecl.UnboxedField.t

]

type any_in_type = [

| Odoc_xref2.Find.constructor
| Odoc_xref2.Find.field
| Odoc_xref2.Find.unboxed_field
| Odoc_xref2.Find.polymorphic_constructor

]

type any_in_type_in_sig = [

| `In_type of Odoc_model.Names.TypeName.t * Odoc_xref2.Component.TypeDecl.t * Odoc_xref2.Find.any_in_type

]

type any_in_sig = [

| Odoc_xref2.Find.label_parent
| Odoc_xref2.Find.value
| Odoc_xref2.Find.label
| Odoc_xref2.Find.exception_
| Odoc_xref2.Find.extension
| Odoc_xref2.Find.substitution
| Odoc_xref2.Find.any_in_type_in_sig

]

type instance_variable = [

| `FInstance_variable of Odoc_model.Names.InstanceVariableName.t * Odoc_xref2.Component.InstanceVariable.t

]

type method_ = [

| `FMethod of Odoc_model.Names.MethodName.t * Odoc_xref2.Component.Method.t

]

type any_in_class_sig = [

| Odoc_xref2.Find.instance_variable
| Odoc_xref2.Find.method_

]

Lookup by name, unambiguous

val module_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ModuleName.t ->
  Odoc_xref2.Find.module_ option

val type_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.TypeName.t ->
  Odoc_xref2.Find.type_ option

val datatype_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.TypeName.t ->
  Odoc_xref2.Find.datatype option

val module_type_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ModuleTypeName.t ->
  Odoc_xref2.Find.module_type option

val exception_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ExceptionName.t ->
  Odoc_xref2.Find.exception_ option

val extension_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ExtensionName.t ->
  Odoc_xref2.Find.extension option

val any_in_type : 
  Odoc_xref2.Component.TypeDecl.t ->
  string ->
  Odoc_xref2.Find.any_in_type option

val any_in_typext : 
  Odoc_xref2.Component.Extension.t ->
  string ->
  Odoc_xref2.Find.extension option

val value_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ValueName.t ->
  Odoc_xref2.Find.value option

val method_in_class_signature : 
  Odoc_xref2.Component.ClassSignature.t ->
  Odoc_model.Names.MethodName.t ->
  Odoc_xref2.Find.method_ option

val instance_variable_in_class_signature : 
  Odoc_xref2.Component.ClassSignature.t ->
  Odoc_model.Names.InstanceVariableName.t ->
  Odoc_xref2.Find.instance_variable option

Maybe ambiguous

val class_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.TypeName.t ->
  Odoc_xref2.Find.class_ list

val signature_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  string ->
  Odoc_xref2.Find.signature list

val label_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.LabelName.t ->
  Odoc_xref2.Find.label list

val label_parent_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  string ->
  Odoc_xref2.Find.label_parent list

val any_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  string ->
  Odoc_xref2.Find.any_in_sig list

val any_in_type_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  string ->
  Odoc_xref2.Find.any_in_type_in_sig list

val any_in_class_signature : 
  Odoc_xref2.Component.ClassSignature.t ->
  string ->
  Odoc_xref2.Find.any_in_class_sig list

Disambiguated lookups, returns the last match.

val class_in_sig_unambiguous : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.TypeName.t ->
  Odoc_xref2.Find.class_ option

Lookup removed items

type removed_type = [

| `FType_removed of Odoc_model.Names.TypeName.t * Odoc_xref2.Component.TypeExpr.t * Odoc_xref2.Component.TypeDecl.Equation.t

]

type careful_module = [

| Odoc_xref2.Find.module_
| `FModule_removed of Odoc_xref2.Cpath.module_

]

type careful_module_type = [

| Odoc_xref2.Find.module_type
| `FModuleType_removed of Odoc_xref2.Component.ModuleType.expr

]

type core_type = [

| `CoreType of Odoc_model.Names.TypeName.t

]

type careful_type = [

| Odoc_xref2.Find.type_
| Odoc_xref2.Find.removed_type
| Odoc_xref2.Find.core_type

]

type careful_class = [

| Odoc_xref2.Find.class_
| Odoc_xref2.Find.removed_type

]

val careful_module_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ModuleName.t ->
  Odoc_xref2.Find.careful_module option

val careful_module_type_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.ModuleTypeName.t ->
  Odoc_xref2.Find.careful_module_type option

val careful_type_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.TypeName.t ->
  Odoc_xref2.Find.careful_type option

val careful_class_in_sig : 
  Odoc_xref2.Component.Signature.t ->
  Odoc_model.Names.TypeName.t ->
  Odoc_xref2.Find.careful_class option

Module Odoc_xref2.Find

Module `Odoc_xref2.Find`