Module type Ppx_core__.Ast_builder_intf.S

module Located : Located with type a with_loc := a without_location
include module type of sig ... end
val ptyp_var : string ‑> Ppx_core__.Import.core_type
val ptyp_poly : string list ‑> Ppx_core__.Import.core_type ‑> Ppx_core__.Import.core_type
val pexp_unreachable : Ppx_core__.Import.expression
val include_infos : 'a ‑> 'a Ppx_core__.Import.include_infos
val location : start:Ppx_core__.Import.position ‑> end_:Ppx_core__.Import.position ‑> ghost:bool ‑> Ppx_core__.Import.location
val module_type_declaration : name:string Ppx_core__.Import.loc ‑> type_:Ppx_core__.Import.module_type option ‑> Ppx_core__.Import.module_type_declaration
val ppat_unpack : string Ppx_core__.Import.loc ‑> Ppx_core__.Import.pattern
val position : fname:string ‑> lnum:int ‑> bol:int ‑> cnum:int ‑> Ppx_core__.Import.position
val value_description : name:string Ppx_core__.Import.loc ‑> type_:Ppx_core__.Import.core_type ‑> prim:string list ‑> Ppx_core__.Import.value_description
include Additional_helpers with type a with_loc := a without_location
type 'a with_loc
val evar : (Ppx_core__.Import.string ‑> Ppx_core__.Import.expression) with_loc

evar id produces a Pexp_ident _ expression, it parses its input so you can pass any dot-separated identifier, for instance: evar ~loc "Foo.bar".

val pstr_value_list : loc:Ppx_core.Location.t ‑> Ppx_core__.Import.Asttypes.rec_flag ‑> Ppx_core__.Import.value_binding Ppx_core__.Import.list ‑> Ppx_core__.Import.structure_item Ppx_core__.Import.list

pstr_value_list ~loc rf vbs = pstr_value ~loc rf vbs if vbs <> [], [] otherwise.

val unapplied_type_constr_conv : (Ppx_core.Longident.t Ppx_core.Loc.t ‑> f:(Ppx_core__.Import.string ‑> Ppx_core__.Import.string) ‑> Ppx_core__.Import.expression) with_loc

unapplied_type_constr_conv is the standard way to map identifiers to conversion fonctions, for preprocessor that creates values that follow the structure of types. More precisely, path_conv path (sprintf "sexp_of_%s") is:

  • sexp_of_t if path is "t"
  • A.B.sexp_of_foo if path is "A.B.foo"
  • A.B.sexp_of_f__foo (module A1) (module A2) if path is "A.B.F(A1)(A2).foo" type_constr_conv also applies it to a list of expression, which both prevents the compiler from allocating useless closures, and almost always what is needed, since type constructors are always applied.