Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Ppxlib.Ast_helper.Exp end
Expressions
Expressions
Expressions
Expressions
val mk :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression_desc ->
Astlib.Ast_500.Parsetree.expression
val ident :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression
val constant :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.constant ->
Astlib.Ast_500.Parsetree.expression
val let_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Asttypes.rec_flag ->
Astlib.Ast_500.Parsetree.value_binding list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val fun_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Asttypes.arg_label ->
Astlib.Ast_500.Parsetree.expression option ->
Astlib.Ast_500.Parsetree.pattern ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val function_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.case list ->
Astlib.Ast_500.Parsetree.expression
val apply :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
(Astlib.Ast_500.Asttypes.arg_label * Astlib.Ast_500.Parsetree.expression)
list ->
Astlib.Ast_500.Parsetree.expression
val match_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.case list ->
Astlib.Ast_500.Parsetree.expression
val try_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.case list ->
Astlib.Ast_500.Parsetree.expression
val tuple :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression list ->
Astlib.Ast_500.Parsetree.expression
val construct :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression option ->
Astlib.Ast_500.Parsetree.expression
val variant :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Asttypes.label ->
Astlib.Ast_500.Parsetree.expression option ->
Astlib.Ast_500.Parsetree.expression
val record :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
(Astlib.Longident.t Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression)
list ->
Astlib.Ast_500.Parsetree.expression option ->
Astlib.Ast_500.Parsetree.expression
val field :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression
val setfield :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val array :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression list ->
Astlib.Ast_500.Parsetree.expression
val ifthenelse :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression option ->
Astlib.Ast_500.Parsetree.expression
val sequence :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val while_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val for_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.pattern ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Asttypes.direction_flag ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val coerce :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.core_type option ->
Astlib.Ast_500.Parsetree.core_type ->
Astlib.Ast_500.Parsetree.expression
val constraint_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.core_type ->
Astlib.Ast_500.Parsetree.expression
val send :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
string Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression
val new_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Longident.t Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression
val setinstvar :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
string Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val override :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
(string Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression) list ->
Astlib.Ast_500.Parsetree.expression
val letmodule :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
string option Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.module_expr ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val letexception :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.extension_constructor ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val assert_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val lazy_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val poly :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.core_type option ->
Astlib.Ast_500.Parsetree.expression
val object_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.class_structure ->
Astlib.Ast_500.Parsetree.expression
val newtype :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
string Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val pack :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.module_expr ->
Astlib.Ast_500.Parsetree.expression
val open_ :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.open_declaration ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val letop :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.binding_op ->
Astlib.Ast_500.Parsetree.binding_op list ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Ast_500.Parsetree.expression
val extension :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
Astlib.Ast_500.Parsetree.extension ->
Astlib.Ast_500.Parsetree.expression
val unreachable :
?loc:Astlib.Location.t ->
?attrs:Astlib.Ast_500.Parsetree.attribute list ->
unit ->
Astlib.Ast_500.Parsetree.expression
val binding_op :
string Astlib.Location.loc ->
Astlib.Ast_500.Parsetree.pattern ->
Astlib.Ast_500.Parsetree.expression ->
Astlib.Location.t ->
Astlib.Ast_500.Parsetree.binding_op
include module type of struct include Xhelper.XExp end
val var :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.label ->
Ppxlib.Ast.expression
val lident :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.longident ->
Ppxlib.Ast.expression
val id :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.label ->
Ppxlib.Ast.expression
val unit : ?loc:Ppxlib.Ast.location -> unit -> Ppxlib.Ast.expression
val string :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.label ->
Ppxlib.Ast.expression
val int :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
int ->
Ppxlib.Ast.expression
val bool :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
bool ->
Ppxlib.Ast.expression
val option :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.expression option ->
Ppxlib.Ast.expression
val object' :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.class_field list ->
Ppxlib.Ast.expression
val seqs : Ppxlib.Ast.expression list -> Ppxlib.Ast.expression
val ignore_ : Ppxlib.Ast.expression -> Ppxlib.Ast.expression
val assert_false : unit -> Ppxlib.Ast.expression
val open_lid :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
?override:bool ->
Ppxlib.Ast_helper.lid ->
Ppxlib.Ast.expression ->
Ppxlib.Ast.expression
val list :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast.attributes ->
Ppxlib.Ast.expression list ->
Ppxlib.Ast.expression
val with_desc :
Ppxlib.Ast.expression ->
Ppxlib.Ast.expression_desc ->
Ppxlib.Ast.expression
val is_simple_ext : Ppxlib.Ast.label -> Ppxlib.Ast.expression -> bool
val apply' :
?loc:Ppxlib.Ast.location ->
?attrs:Ppxlib.Ast_helper.attrs ->
Ppxlib.Ast.expression ->
Ppxlib.Ast.expression list ->
Ppxlib.Ast.expression
If the args are empty, returns the function itself
val tuple' :
?loc:Ppxlib.Ast.location ->
Ppxlib.Ast.expression list ->
Ppxlib.Ast.expression
If the args are empty, returns (). If the args is singleton, returns itself.
val parse : string -> Ppxlib.Ast.expression