package odoc
OCaml documentation generator
Install
dune-project
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_toolsSource
Source
type expansion = | Signature of Component.Signature.t| Functor of Component.FunctorParameter.t * Component.ModuleType.expr
Source
val aux_expansion_of_module :
Env.t ->
strengthen:bool ->
Component.Module.t ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultSource
val aux_expansion_of_module_decl :
Env.t ->
strengthen:bool ->
Component.Module.decl ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultSource
val aux_expansion_of_module_alias :
Env.t ->
strengthen:bool ->
Cpath.module_ ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultSource
val unresolve_subs :
Component.ModuleType.substitution list ->
Component.ModuleType.substitution listSource
val aux_expansion_of_module_type_type_of_desc :
Env.t ->
Component.ModuleType.type_of_desc ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultSource
val assert_not_functor :
expansion ->
(Component.Signature.t, Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultSource
val aux_expansion_of_u_module_type_expr :
Env.t ->
Component.ModuleType.U.expr ->
(Component.Signature.t, Errors.Tools_error.signature_of_module_error)
Result.resultSource
val aux_expansion_of_module_type_expr :
Env.t ->
Component.ModuleType.expr ->
(expansion, Errors.Tools_error.signature_of_module_error) Result.resultSource
val aux_expansion_of_module_type :
Env.t ->
Component.ModuleType.t ->
(expansion, Errors.Tools_error.signature_of_module_error)
Utils.ResultMonad.resultSource
val 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.resultSource
val 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.resultSource
val 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.resultSource
val 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.resultSource
val 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.resultSource
val 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.resultSource
val type_expr :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.t ->
Odoc_model.Lang.TypeExpr.tSource
val polymorphic_variant :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Polymorphic_variant.t ->
Odoc_model.Lang.TypeExpr.Polymorphic_variant.tSource
val object_ :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Object.t ->
Odoc_model.Lang.TypeExpr.Object.tSource
val package :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Package.t ->
Odoc_model.Lang.TypeExpr.Package.tSource
val 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