package merlin-lib
Merlin's libraries
Install
Dune Dependency
Authors
Maintainers
Sources
merlin-4.19-414.tbz
sha256=60a630f59203a9ce7047a5f04d0f239945960dac6f38102922e328b6d2657384
sha512=19f8ec152356873e29c05b971a529146bb7079929037c2b35a5c0afb0b3adf662341ee8527282c5fdd16de391d01c2c469fc8629af9e0ae443fa9f42472b70bb
doc/merlin-lib.ocaml_parsing/Ocaml_parsing/Ast_helper/Typ/index.html
Module Ast_helper.TypSource
Type expressions
Source
val arrow :
?loc:loc ->
?attrs:attrs ->
Asttypes.arg_label ->
Parsetree.core_type ->
Parsetree.core_type ->
Parsetree.core_typeSource
val constr :
?loc:loc ->
?attrs:attrs ->
lid ->
Parsetree.core_type list ->
Parsetree.core_typeSource
val object_ :
?loc:loc ->
?attrs:attrs ->
Parsetree.object_field list ->
Asttypes.closed_flag ->
Parsetree.core_typeSource
val class_ :
?loc:loc ->
?attrs:attrs ->
lid ->
Parsetree.core_type list ->
Parsetree.core_typeSource
val variant :
?loc:loc ->
?attrs:attrs ->
Parsetree.row_field list ->
Asttypes.closed_flag ->
Asttypes.label list option ->
Parsetree.core_typeSource
val package :
?loc:loc ->
?attrs:attrs ->
lid ->
(lid * Parsetree.core_type) list ->
Parsetree.core_typevarify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.