package ppxlib
Standard infrastructure for ppx rewriters
Install
Dune Dependency
Authors
Maintainers
Sources
757f6c284b1fe748d5027eef3bbef924b6bbd7ce.tar.gz
sha256=89a98c95ddd0bfbac17b5a936f6811af7097be3258c482d5859b73e9de9b4552
sha512=b19306473d867252d382e58e9b697531c5edccdc9283b5eaf72f524803c2fca2a58a5e8f25bee198b00de82cf8ef805b43f7488791c3ac5beb0ffba938ded826
doc/ppxlib.ast/Ppxlib_ast/Ast_helper/Typ/index.html
Module Ast_helper.TypSource
Type expressions
Type expressions
Source
val mk :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Parsetree.core_type_desc ->
Astlib.Ast_502.Parsetree.core_typeSource
val any :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
unit ->
Astlib.Ast_502.Parsetree.core_typeSource
val var :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
string ->
Astlib.Ast_502.Parsetree.core_typeSource
val arrow :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Asttypes.arg_label ->
Astlib.Ast_502.Parsetree.core_type ->
Astlib.Ast_502.Parsetree.core_type ->
Astlib.Ast_502.Parsetree.core_typeSource
val tuple :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Parsetree.core_type list ->
Astlib.Ast_502.Parsetree.core_typeSource
val constr :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_502.Parsetree.core_type list ->
Astlib.Ast_502.Parsetree.core_typeSource
val object_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Parsetree.object_field list ->
Astlib.Ast_502.Asttypes.closed_flag ->
Astlib.Ast_502.Parsetree.core_typeSource
val class_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_502.Parsetree.core_type list ->
Astlib.Ast_502.Parsetree.core_typeSource
val alias :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Parsetree.core_type ->
string Astlib.Location.loc ->
Astlib.Ast_502.Parsetree.core_typeSource
val variant :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Parsetree.row_field list ->
Astlib.Ast_502.Asttypes.closed_flag ->
Astlib.Ast_502.Asttypes.label list option ->
Astlib.Ast_502.Parsetree.core_typeSource
val poly :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
string Astlib.Location.loc list ->
Astlib.Ast_502.Parsetree.core_type ->
Astlib.Ast_502.Parsetree.core_typeSource
val package :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
(Astlib.Longident.t Astlib.Location.loc * Astlib.Ast_502.Parsetree.core_type)
list ->
Astlib.Ast_502.Parsetree.core_typeSource
val extension :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_502.Parsetree.attribute list ->
Astlib.Ast_502.Parsetree.extension ->
Astlib.Ast_502.Parsetree.core_typeSource
val varify_constructors :
string Astlib.Location.loc list ->
Astlib.Ast_502.Parsetree.core_type ->
Astlib.Ast_502.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.