Module `Ast_convenience`Source

Convenience functions to help build and deconstruct AST fragments.

Compatibility modules

Sourcemodule Label : sig ... end

Sourcemodule Constant : sig ... end

Misc

Sourceval lid : ?loc:Ast_helper.loc -> string -> Ast_helper.lid

Expressions

val evar : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  string ->
  Parsetree.expression

Source

val let_in : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  ?recursive:bool ->
  Parsetree.value_binding list ->
  Parsetree.expression ->
  Parsetree.expression

Source

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

Source

val record : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  ?over:Parsetree.expression ->
  (string * Parsetree.expression) list ->
  Parsetree.expression

Source

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

Source

val nil : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  unit ->
  Parsetree.expression

Source

val cons : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

Source

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

Source

val unit : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  unit ->
  Parsetree.expression

Source

val func : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  (Parsetree.pattern * Parsetree.expression) list ->
  Parsetree.expression

Source

val lam : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  ?label:Label.t ->
  ?default:Parsetree.expression ->
  Parsetree.pattern ->
  Parsetree.expression ->
  Parsetree.expression

Source

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

Source

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

Source

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

Source

val int32 : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  int32 ->
  Parsetree.expression

Source

val int64 : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  int64 ->
  Parsetree.expression

Source

val char : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  char ->
  Parsetree.expression

Source

val float : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  float ->
  Parsetree.expression

Source

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

Return () if the list is empty. Tail rec.

Patterns

Source

val pvar : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  string ->
  Parsetree.pattern

Source

val pconstr : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  string ->
  Parsetree.pattern list ->
  Parsetree.pattern

Source

val precord : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  ?closed:Asttypes.closed_flag ->
  (string * Parsetree.pattern) list ->
  Parsetree.pattern

Source

val ptuple : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  Parsetree.pattern list ->
  Parsetree.pattern

Source

val pnil : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  unit ->
  Parsetree.pattern

Source

val pcons : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  Parsetree.pattern ->
  Parsetree.pattern ->
  Parsetree.pattern

Source

val plist : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  Parsetree.pattern list ->
  Parsetree.pattern

Source

val pstr : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  string ->
  Parsetree.pattern

Source

val pint : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  int ->
  Parsetree.pattern

Source

val pchar : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  char ->
  Parsetree.pattern

Source

val pfloat : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  float ->
  Parsetree.pattern

Source

val punit : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  unit ->
  Parsetree.pattern

Types

Source

val tconstr : 
  ?loc:Ast_helper.loc ->
  ?attrs:Ast_helper.attrs ->
  string ->
  Parsetree.core_type list ->
  Parsetree.core_type

AST deconstruction

Sourceval get_str : Parsetree.expression -> string option

Source

val get_str_with_quotation_delimiter : 
  Parsetree.expression ->
  (string * string option) option

Sourceval get_lid : Parsetree.expression -> string option

Sourceval has_attr : string -> Parsetree.attributes -> bool

Sourceval find_attr : string -> Parsetree.attributes -> Parsetree.payload option

Source

val find_attr_expr : 
  string ->
  Parsetree.attributes ->
  Parsetree.expression option

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx_tools/Ast_convenience/index.html

Module `Ast_convenience`Source

Convenience functions to help build and deconstruct AST fragments.

Compatibility modules

Misc

Expressions

Patterns

Types

AST deconstruction

package ppx_tools

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx_tools/Ast_convenience/index.html

Module Ast_convenienceSource

Convenience functions to help build and deconstruct AST fragments.

Compatibility modules

Misc

Expressions

Patterns

Types

AST deconstruction

Module `Ast_convenience`Source