package merlin-lib
Merlin's libraries
Install
Dune Dependency
Authors
Maintainers
Sources
merlin-5.3-502.tbz
sha256=2cea46f12397fa6e31ef0c0d4f5e11c1cfd916ee49420694005c95ebb3aa24bc
sha512=e94abb9ae38149245337db033e2c3891c7ec772168e99abf1bda0216a894c0854e7170b56fe88eba83ec98f2ebc0f5c7c723e8db14f59eeb6dd348bec12c6d62
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 alias :
?loc:loc ->
?attrs:attrs ->
Parsetree.core_type ->
string with_loc ->
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.