package ppxlib
Standard library for ppx rewriters
Install
Dune Dependency
Authors
Maintainers
Sources
ppxlib-0.21.0.tbz
sha256=8ea7af348d24bf52f359afaab1e8f2aa75824934c97eff76ed84f2613f4e3a3e
sha512=3ae8e9755a276e5b0d8e39b82a5568ca4427de18dca3201ee0678a9c84d52c7fa701351d4fdb781d64a609802020cfb2d3c2ecb000d2e3a6b151282b075aac00
doc/ppxlib.ast/Ppxlib_ast/Ast_helper/Typ/index.html
Module Ast_helper.Typ
Type expressions
Type expressions
val mk :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Parsetree.core_type_desc ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval any :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
unit ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval var :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
string ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval arrow :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Asttypes.arg_label ->
Migrate_parsetree.Ast_411.Parsetree.core_type ->
Migrate_parsetree.Ast_411.Parsetree.core_type ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval tuple :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Parsetree.core_type list ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval constr :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Ocaml_common.Longident.t Ocaml_common.Location.loc ->
Migrate_parsetree.Ast_411.Parsetree.core_type list ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval object_ :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Parsetree.object_field list ->
Migrate_parsetree.Ast_411.Asttypes.closed_flag ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval class_ :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Ocaml_common.Longident.t Ocaml_common.Location.loc ->
Migrate_parsetree.Ast_411.Parsetree.core_type list ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval alias :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Parsetree.core_type ->
string ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval variant :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Parsetree.row_field list ->
Migrate_parsetree.Ast_411.Asttypes.closed_flag ->
Migrate_parsetree.Ast_411.Asttypes.label list option ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval poly :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
string Ocaml_common.Location.loc list ->
Migrate_parsetree.Ast_411.Parsetree.core_type ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval package :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Ocaml_common.Longident.t Ocaml_common.Location.loc ->
(Ocaml_common.Longident.t Ocaml_common.Location.loc
* Migrate_parsetree.Ast_411.Parsetree.core_type)
list ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval extension :
?loc:Ocaml_common.Location.t ->
?attrs:Migrate_parsetree.Ast_411.Parsetree.attribute list ->
Migrate_parsetree.Ast_411.Parsetree.extension ->
Migrate_parsetree.Ast_411.Parsetree.core_typeval varify_constructors :
string Ocaml_common.Location.loc list ->
Migrate_parsetree.Ast_411.Parsetree.core_type ->
Migrate_parsetree.Ast_411.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.