Module `Ast_helper.Exp`Source

Expressions

val mk : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression_desc ->
  Parsetree.expression

Sourceval attr : Parsetree.expression -> Parsetree.attribute -> Parsetree.expression

Sourceval ident : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.expression

Source

val constant : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.constant ->
  Parsetree.expression

Source

val let_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Asttypes.mutable_flag ->
  Asttypes.rec_flag ->
  Parsetree.value_binding list ->
  Parsetree.expression ->
  Parsetree.expression

Source

val function_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.function_param list ->
  Parsetree.function_constraint ->
  Parsetree.function_body ->
  Parsetree.expression

Source

val apply : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  (Parsetree.arg_label * Parsetree.expression) list ->
  Parsetree.expression

Source

val match_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.case list ->
  Parsetree.expression

Source

val try_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.case list ->
  Parsetree.expression

Sourceval unboxed_unit : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.expression

Sourceval unboxed_bool : ?loc:loc -> ?attrs:attrs -> bool -> Parsetree.expression

Source

val tuple : 
  ?loc:loc ->
  ?attrs:attrs ->
  (string option * Parsetree.expression) list ->
  Parsetree.expression

Source

val unboxed_tuple : 
  ?loc:loc ->
  ?attrs:attrs ->
  (string option * Parsetree.expression) list ->
  Parsetree.expression

Source

val construct : 
  ?loc:loc ->
  ?attrs:attrs ->
  lid ->
  Parsetree.expression option ->
  Parsetree.expression

Source

val variant : 
  ?loc:loc ->
  ?attrs:attrs ->
  Asttypes.label ->
  Parsetree.expression option ->
  Parsetree.expression

Source

val record : 
  ?loc:loc ->
  ?attrs:attrs ->
  (lid * Parsetree.expression) list ->
  Parsetree.expression option ->
  Parsetree.expression

Source

val record_unboxed_product : 
  ?loc:loc ->
  ?attrs:attrs ->
  (lid * Parsetree.expression) list ->
  Parsetree.expression option ->
  Parsetree.expression

Source

val field : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  lid ->
  Parsetree.expression

Source

val unboxed_field : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  lid ->
  Parsetree.expression

Source

val setfield : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  lid ->
  Parsetree.expression ->
  Parsetree.expression

Source

val array : 
  ?loc:loc ->
  ?attrs:attrs ->
  Asttypes.mutable_flag ->
  Parsetree.expression list ->
  Parsetree.expression

Source

val idx : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.block_access ->
  Parsetree.unboxed_access list ->
  Parsetree.expression

Source

val ifthenelse : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression option ->
  Parsetree.expression

Source

val sequence : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

Source

val while_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

Source

val for_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.expression ->
  Asttypes.direction_flag ->
  Parsetree.expression ->
  Parsetree.expression

Source

val coerce : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.core_type option ->
  Parsetree.core_type ->
  Parsetree.expression

Source

val constraint_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.core_type option ->
  Parsetree.mode with_loc list ->
  Parsetree.expression

Source

val send : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  str ->
  Parsetree.expression

Sourceval new_ : ?loc:loc -> ?attrs:attrs -> lid -> Parsetree.expression

Source

val setinstvar : 
  ?loc:loc ->
  ?attrs:attrs ->
  str ->
  Parsetree.expression ->
  Parsetree.expression

Source

val override : 
  ?loc:loc ->
  ?attrs:attrs ->
  (str * Parsetree.expression) list ->
  Parsetree.expression

Source

val letmodule : 
  ?loc:loc ->
  ?attrs:attrs ->
  str_opt ->
  Parsetree.module_expr ->
  Parsetree.expression ->
  Parsetree.expression

Source

val letmodule_no_opt : 
  ?loc:loc ->
  ?attrs:attrs ->
  Asttypes.label ->
  Parsetree.module_expr ->
  Parsetree.expression ->
  Parsetree.expression

Source

val letexception : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.extension_constructor ->
  Parsetree.expression ->
  Parsetree.expression

Source

val assert_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression

Source

val lazy_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression

Source

val poly : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.core_type option ->
  Parsetree.expression

Source

val object_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.class_structure ->
  Parsetree.expression

Source

val newtype : 
  ?loc:loc ->
  ?attrs:attrs ->
  str ->
  Parsetree.jkind_annotation option ->
  Parsetree.expression ->
  Parsetree.expression

Source

val pack : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.module_expr ->
  Parsetree.expression

Source

val open_ : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.open_declaration ->
  Parsetree.expression ->
  Parsetree.expression

Source

val letop : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.binding_op ->
  Parsetree.binding_op list ->
  Parsetree.expression ->
  Parsetree.expression

Source

val extension : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.extension ->
  Parsetree.expression

Sourceval unreachable : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.expression

Source

val stack : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression

Source

val comprehension : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.comprehension_expression ->
  Parsetree.expression

Source

val quote : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression

Source

val splice : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression

Source

val overwrite : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

Sourceval hole : ?loc:loc -> ?attrs:attrs -> unit -> Parsetree.expression

Source

val case : 
  Parsetree.pattern ->
  ?guard:Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.case

Source

val binding_op : 
  str ->
  Parsetree.pattern ->
  Parsetree.expression ->
  loc ->
  Parsetree.binding_op

Source

val borrow : 
  ?loc:loc ->
  ?attrs:attrs ->
  Parsetree.expression ->
  Parsetree.expression

Module Ast_helper.ExpSource

Module `Ast_helper.Exp`Source