package odoc

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Errors raised by Tools

type handle_subs_error = [
  1. | `UnresolvedPath of [ `Module of Cpath.module_ ]
]
type reference_kind = [
  1. | `S
  2. | `T
  3. | `C
  4. | `CT
  5. | `Page
  6. | `Cons
  7. | `Field
  8. | `Label
]
type signature_of_module_error = [
  1. | `OpaqueModule
  2. | `UnresolvedForwardPath
  3. | `UnresolvedPath of [ `Module of Cpath.module_ * simple_module_lookup_error | `ModuleType of Cpath.module_type * simple_module_type_lookup_error ]
  4. | `UnexpandedTypeOf of Component.ModuleType.type_of_desc
]
and simple_module_lookup_error = [
  1. | `Local of Env.t * Ident.path_module
  2. | `Unresolved_apply
  3. | `Find_failure
  4. | `Lookup_failure of Odoc_model.Paths.Identifier.Path.Module.t
  5. | `Lookup_failure_root of string
  6. | `Parent of parent_lookup_error
]
and simple_module_type_expr_of_module_error = [
  1. | `ApplyNotFunctor
  2. | `OpaqueModule
  3. | `UnresolvedForwardPath
  4. | `UnresolvedPath of [ `Module of Cpath.module_ * simple_module_lookup_error | `ModuleType of Cpath.module_type * simple_module_type_lookup_error ]
  5. | `Parent of parent_lookup_error
]
and simple_module_type_lookup_error = [
  1. | `LocalMT of Env.t * Ident.module_type
  2. | `Find_failure
  3. | `Lookup_failureMT of Odoc_model.Paths.Identifier.ModuleType.t
  4. | `Parent of parent_lookup_error
]
and simple_type_lookup_error = [
  1. | `LocalType of Env.t * Ident.path_type
  2. | `Class_replaced
  3. | `OpaqueClass
  4. | `Find_failure
  5. | `Lookup_failureT of Odoc_model.Paths.Identifier.Path.Type.t
  6. | `Parent of parent_lookup_error
]
and parent_lookup_error = [
  1. | `Parent_sig of signature_of_module_error
  2. | `Parent_module_type of simple_module_type_lookup_error
  3. | `Parent_expr of simple_module_type_expr_of_module_error
  4. | `Parent_module of simple_module_lookup_error
  5. | `Parent_type of simple_type_lookup_error
  6. | `Fragment_root
  7. | `Parent of parent_lookup_error
  8. | `Reference of reference_lookup_error
]
and reference_lookup_error = [
  1. | `Wrong_kind of reference_kind list * reference_kind
  2. | `Lookup_by_name of [ reference_kind | `Any ] * string
  3. | `Find_by_name of [ reference_kind | `Any ] * string
  4. | `Parent of parent_lookup_error
]
val pp_reference_kind : Format.formatter -> [< `C | `CT | `Cons | `Field | `Label | `Page | `S | `T ] -> unit
val pp : Format.formatter -> any -> unit
val pp_reference_lookup_error : Format.formatter -> reference_lookup_error -> unit
OCaml

Innovation. Community. Security.