package merlin-lib
Merlin's libraries
Install
dune-project
Dependency
Authors
Maintainers
Sources
merlin-5.7.1-504.tbz
sha256=139b073cf914b38b725c54f75b8b642f654c3498d0a4ba8cfa831ff02a8970d5
sha512=9391d3a0aaa5065a02c6f5faaf7149f8f800c748d9be5ccff6af800ce73bdf418ead72dbeaf6ee7a6cbeae2c8e56285fbe422740ed407bcc4edab889dd1c8f9c
doc/merlin-lib.ocaml_typing/Ocaml_typing/Datarepr/index.html
Module Ocaml_typing.DatareprSource
Source
val extension_descr :
current_unit:Ocaml_parsing.Unit_info.t option ->
Path.t ->
Types.extension_constructor ->
Data_types.constructor_descriptionSource
val labels_of_type :
Path.t ->
Types.type_declaration ->
(Ident.t * Data_types.label_description) listSource
val constructors_of_type :
current_unit:Ocaml_parsing.Unit_info.t option ->
Path.t ->
Types.type_declaration ->
(Ident.t * Data_types.constructor_description) listSource
val find_constr_by_tag :
Data_types.constructor_tag ->
Types.constructor_declaration list ->
Types.constructor_declarationSource
val constructor_existentials :
Types.constructor_arguments ->
Types.type_expr option ->
Types.type_expr list * Types.type_expr listTakes cd_args and cd_res from a constructor_declaration and returns:
- the types of the constructor's arguments
- the existential variables introduced by the constructor