package odoc
OCaml documentation generator
Install
Dune Dependency
Authors
Maintainers
Sources
odoc-2.1.1.tbz
sha256=f574dbd28cd0fc3a2b95525c4bb95ddf6d1f6408bb4fe12157fa537884f987fd
sha512=1c545c281a7022a167f028fff8cec6fb3f2f82da0881431be74e7a4281c5353ed83bfbdb4d9d9e08af6755dbe3505c052c5e5b58cdeb08c57aed5e89c0f15e91
doc/odoc.xref2/Odoc_xref2/Expand_tools/index.html
Module Odoc_xref2.Expand_tools
type expansion = | Signature of Component.Signature.t| Functor of Component.FunctorParameter.t * Component.ModuleType.expr
val module_needs_recompile : Component.Module.t -> boolval module_decl_needs_recompile : Component.Module.decl -> boolval module_type_expr_needs_recompile : Component.ModuleType.expr -> boolval module_type_needs_recompile : Component.ModuleType.t -> boolval aux_expansion_of_module :
Env.t ->
strengthen:bool ->
Component.Module.t ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_decl :
Env.t ->
strengthen:bool ->
Component.Module.decl ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_alias :
Env.t ->
strengthen:bool ->
Cpath.module_ ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultval unresolve_subs :
Component.ModuleType.substitution list ->
Component.ModuleType.substitution listval aux_expansion_of_module_type_type_of_desc :
Env.t ->
Component.ModuleType.type_of_desc ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultval assert_not_functor :
expansion ->
(Component.Signature.t, Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval aux_expansion_of_u_module_type_expr :
Env.t ->
Component.ModuleType.U.expr ->
(Component.Signature.t, Errors.Tools_error.signature_of_module_error)
Result.resultval aux_expansion_of_module_type_expr :
Env.t ->
Component.ModuleType.expr ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultval aux_expansion_of_module_type :
Env.t ->
Component.ModuleType.t ->
(expansion, Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval handle_expansion :
Env.t ->
Odoc_model.Paths.Identifier.Signature.t ->
expansion ->
(Env.t * Component.ModuleType.simple_expansion,
Errors.Tools_error.signature_of_module_error)
Result.resultval expansion_of_module_type :
Env.t ->
Odoc_model.Paths.Identifier.ModuleType.t ->
Component.ModuleType.t ->
(Env.t * bool * Component.ModuleType.simple_expansion,
Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval expansion_of_module_type_expr :
Env.t ->
Odoc_model.Paths.Identifier.Signature.t ->
Component.ModuleType.expr ->
(Env.t * bool * Component.ModuleType.simple_expansion,
Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval expansion_of_u_module_type_expr :
Env.t ->
Odoc_model.Paths.Identifier.Signature.t ->
Component.ModuleType.U.expr ->
(Env.t * bool * Component.ModuleType.simple_expansion,
Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval expansion_of_module_alias :
Env.t ->
Odoc_model.Paths.Identifier.Module.t ->
Cpath.module_ ->
(Env.t * bool * Component.ModuleType.simple_expansion,
Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval expansion_of_module_type_of_desc :
Env.t ->
Odoc_model.Paths.Identifier.Signature.t ->
Component.ModuleType.type_of_desc ->
(Env.t * Component.ModuleType.simple_expansion,
Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultval type_expr :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.t ->
Odoc_model.Lang.TypeExpr.tval polymorphic_variant :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Polymorphic_variant.t ->
Odoc_model.Lang.TypeExpr.Polymorphic_variant.tval object_ :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Object.t ->
Odoc_model.Lang.TypeExpr.Object.tval package :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Package.t ->
Odoc_model.Lang.TypeExpr.Package.tval collapse_eqns :
Odoc_model.Lang.TypeDecl.Equation.t ->
Odoc_model.Lang.TypeDecl.Equation.t ->
Odoc_model.Lang.TypeExpr.t list ->
Odoc_model.Lang.TypeDecl.Equation.t