package merlin-lib
Merlin's libraries
Install
Dune Dependency
Authors
Maintainers
Sources
merlin-4.18-414.tbz
sha256=f6d6f7a266141e358c1a869612c8135c859185d547ea3ba5c9ad7bb67fe30cc1
sha512=4f272bdb028fd984fef406f7e1eadd0a3ab99d94016316f1b842782b1d1bba2bd50dcf3b4021c2096c6d9b5e5f9f6bae61bedcfd9f933f15c190e01777ef83a9
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.