ppxx 2.3.1 · OCaml Package

Expressions

val var : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  string ->
  Ast_405.Parsetree.expression

Create a variable AST of the given name like "x"

val id : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  string ->
  Ast_405.Parsetree.expression

Create an longident AST of the given name, such as "Printf.printf".

val lident : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Longident.t ->
  Ast_405.Parsetree.expression

Create an longident AST.

val unit : unit -> Ast_405.Parsetree.expression

val string : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  string ->
  Ast_405.Parsetree.expression

Create a string AST

val int : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  int ->
  Ast_405.Parsetree.expression

Create an int AST

val bool : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  bool ->
  Ast_405.Parsetree.expression

Create a bool AST

val option : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.expression option ->
  Ast_405.Parsetree.expression

Create Some e or None

val parse : string -> Ast_405.Parsetree.expression

Parse the given string as an expression and returns the corresponding AST

val object' : 
  ?loc:Ast_405.Location.t ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.class_field list ->
  Ast_405.Parsetree.expression

Create object method m1 = e1 .. method mn = en end.

val seqs : Ast_405.Parsetree.expression list -> Ast_405.Parsetree.expression

Create e1; ..; en

val ignore_ : Ast_405.Parsetree.expression -> Ast_405.Parsetree.expression

Create ignore e

val assert_false : unit -> Ast_405.Parsetree.expression

Create assert false

val open_ : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  ?override:bool ->
  Ast_405.Ast_helper.lid ->
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.expression

override's default is false

Imported from Ast_helper

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

val attr : 
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.attribute ->
  Ast_405.Parsetree.expression

val ident : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Ast_helper.lid ->
  Ast_405.Parsetree.expression

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

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

val fun_ : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Asttypes.arg_label ->
  Ast_405.Parsetree.expression option ->
  Ast_405.Parsetree.pattern ->
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.expression

val function_ : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.case list ->
  Ast_405.Parsetree.expression

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

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

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

val tuple : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.expression list ->
  Ast_405.Parsetree.expression

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

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

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

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

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

val array : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.expression list ->
  Ast_405.Parsetree.expression

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

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

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

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

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

val constraint_ : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.core_type ->
  Ast_405.Parsetree.expression

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

val new_ : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Ast_helper.lid ->
  Ast_405.Parsetree.expression

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

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

val letmodule : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Ast_helper.str ->
  Ast_405.Parsetree.module_expr ->
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.expression

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

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

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

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

val newtype : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Ast_helper.str ->
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.expression

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

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

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

val list : 
  ?loc:Ast_405.Ast_helper.loc ->
  ?attrs:Ast_405.Ast_helper.attrs ->
  Ast_405.Parsetree.expression list ->
  Ast_405.Parsetree.expression

val with_desc : 
  Ast_405.Parsetree.expression ->
  Ast_405.Parsetree.expression_desc ->
  Ast_405.Parsetree.expression

Replace pexp_desc

val is_simple_ext : string -> Ast_405.Parsetree.expression -> bool

is_simple_ext <str> e Returns true if e is %<str>.

package ppxx