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 -> bool
val module_decl_needs_recompile : Component.Module.decl -> bool
val module_type_expr_needs_recompile : Component.ModuleType.expr -> bool
val module_type_needs_recompile : Component.ModuleType.t -> bool
val aux_expansion_of_module :
Env.t ->
strengthen:bool ->
Component.Module.t ->
( expansion, Errors.Tools_error.signature_of_module_error ) Result.result
val aux_expansion_of_module_decl :
Env.t ->
strengthen:bool ->
Component.Module.decl ->
( expansion, Errors.Tools_error.signature_of_module_error ) Result.result
val aux_expansion_of_module_alias :
Env.t ->
strengthen:bool ->
Cpath.module_ ->
( expansion, Errors.Tools_error.signature_of_module_error ) Result.result
val unresolve_subs :
Component.ModuleType.substitution list ->
Component.ModuleType.substitution list
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.result
val assert_not_functor :
expansion ->
( Component.Signature.t, Errors.Tools_error.signature_of_module_error )
Utils.ResultMonad.result
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.result
val aux_expansion_of_module_type_expr :
Env.t ->
Component.ModuleType.expr ->
( expansion, Errors.Tools_error.signature_of_module_error ) Result.result
val aux_expansion_of_module_type :
Env.t ->
Component.ModuleType.t ->
( expansion, Errors.Tools_error.signature_of_module_error )
Utils.ResultMonad.result
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.result
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.result
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.result
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.result
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.result
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.result
val type_expr :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.t ->
Odoc_model.Lang.TypeExpr.t
val polymorphic_variant :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Polymorphic_variant.t ->
Odoc_model.Lang.TypeExpr.Polymorphic_variant.t
val object_ :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Object.t ->
Odoc_model.Lang.TypeExpr.Object.t
val package :
(string * Odoc_model.Lang.TypeExpr.t) list ->
Odoc_model.Lang.TypeExpr.Package.t ->
Odoc_model.Lang.TypeExpr.Package.t
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