package ppxlib
Base library and tools for ppx rewriters
Install
Dune Dependency
Authors
Maintainers
Sources
0.7.0.tar.gz
sha256=278c4dfed19ff3f21e65097e66ce154f47f1bf82098fc494d80536509cfebcd7
md5=8ecc9f9c42245334be543f77900bc1b9
doc/ppxlib.ast/Ppxlib_ast/Ast_helper/Typ/index.html
Module Ast_helper.Typ
Type expressions
val mk :
?loc:loc ->
?attrs:attrs ->
Migrate_parsetree.Ast_407.Parsetree.core_type_desc ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval any :
?loc:loc ->
?attrs:attrs ->
unit ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval var :
?loc:loc ->
?attrs:attrs ->
string ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval tuple :
?loc:loc ->
?attrs:attrs ->
Migrate_parsetree.Ast_407.Parsetree.core_type list ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval constr :
?loc:loc ->
?attrs:attrs ->
lid ->
Migrate_parsetree.Ast_407.Parsetree.core_type list ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval object_ :
?loc:loc ->
?attrs:attrs ->
Migrate_parsetree.Ast_407.Parsetree.object_field list ->
Migrate_parsetree.Ast_407.Asttypes.closed_flag ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval class_ :
?loc:loc ->
?attrs:attrs ->
lid ->
Migrate_parsetree.Ast_407.Parsetree.core_type list ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval alias :
?loc:loc ->
?attrs:attrs ->
Migrate_parsetree.Ast_407.Parsetree.core_type ->
string ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval variant :
?loc:loc ->
?attrs:attrs ->
Migrate_parsetree.Ast_407.Parsetree.row_field list ->
Migrate_parsetree.Ast_407.Asttypes.closed_flag ->
Migrate_parsetree.Ast_407.Asttypes.label list option ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval poly :
?loc:loc ->
?attrs:attrs ->
str list ->
Migrate_parsetree.Ast_407.Parsetree.core_type ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval package :
?loc:loc ->
?attrs:attrs ->
lid ->
(lid * Migrate_parsetree.Ast_407.Parsetree.core_type) list ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval extension :
?loc:loc ->
?attrs:attrs ->
Migrate_parsetree.Ast_407.Parsetree.extension ->
Migrate_parsetree.Ast_407.Parsetree.core_typeval varify_constructors :
str list ->
Migrate_parsetree.Ast_407.Parsetree.core_type ->
Migrate_parsetree.Ast_407.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.