Module `Ppxlib_traverse`Source

Sourceval alphabet : string array

val vars_of_list : 
  get_loc:('a -> Ppxlib.location) ->
  'a Stdppx.List.t ->
  string Ppxlib.loc list

Sourceval evar_of_var : string Ppxlib.loc -> Astlib.Ast_500.Parsetree.expression

Sourceval pvar_of_var : string Ppxlib.loc -> Astlib.Ast_500.Parsetree.pattern

Sourceval tvar_of_var : string Ppxlib.loc -> Astlib.Ast_500.Parsetree.core_type

Source

val evars_of_vars : 
  string Ppxlib.loc list ->
  Astlib.Ast_500.Parsetree.expression list

Source

val pvars_of_vars : 
  string Ppxlib.loc list ->
  Astlib.Ast_500.Parsetree.pattern list

Source

val tvars_of_vars : 
  string Ppxlib.loc list ->
  Astlib.Ast_500.Parsetree.core_type list

Source

val fst_expr : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression

Source

val snd_expr : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.expression ->
  Ppxlib_ast.Ast.expression

Sourceval methods_of_class_exn : Ppxlib.structure_item -> Ppxlib.class_field list

Sourcemodule Backends : sig ... end

Sourcetype what = Backends.what

Source

val mapper_type : 
  what:what ->
  loc:Astlib.Location.t ->
  Astlib.Longident.t Astlib.Location.loc ->
  Ppxlib.core_type Stdppx.List.t ->
  Astlib.Ast_500.Parsetree.core_type

Source

val constrained_mapper : 
  what:what ->
  ?is_gadt:bool ->
  Ppxlib.expression ->
  Ppxlib.type_declaration ->
  Astlib.Ast_500.Parsetree.expression

Sourceval mangle_type_name : Ppxlib.longident -> string

Source

val type_expr_mapper : 
  what:what ->
  Ppxlib.core_type ->
  Astlib.Ast_500.Parsetree.expression

Source

val map_variables : 
  what:what ->
  string Ppxlib.loc list ->
  Ppxlib.core_type list ->
  (string Ppxlib.loc * Ppxlib.expression) list

Source

val gen_record' : 
  what:what ->
  loc:Astlib.Location.t ->
  Ppxlib.label_declaration list ->
  Astlib.Ast_500.Parsetree.pattern
  * Astlib.Ast_500.Parsetree.expression
  * (string Ppxlib.loc * Ppxlib.expression) list

Source

val gen_record : 
  what:what ->
  loc:Astlib.Location.t ->
  Ppxlib.label_declaration list ->
  Ppxlib.expression

Sourceval is_constant_constructor : Ppxlib.constructor_declaration -> bool

Sourceval erase_type_variables : Ppxlib.Ast_traverse.map

Source

val gen_variant : 
  what:what ->
  loc:Ppxlib.Location.t ->
  Ppxlib.constructor_declaration list ->
  Ppxlib.expression

Sourceval gen_mapper : what:what -> Ppxlib.type_declaration -> Ppxlib.expression

Source

val type_deps : 
  Ppxlib.type_declaration list ->
  (Ppxlib.Longident.Map.key * int) list

Source

val filter_virtual_methods : 
  methods:Ppxlib_ast.Ast.class_field list ->
  virtual_methods:Ppxlib.class_field list ->
  Ppxlib.class_field list

Source

val gen_class : 
  what:what ->
  loc:Ppxlib.Location.t ->
  Ppxlib.type_declaration list ->
  Astlib.Ast_500.Parsetree.class_expr Astlib.Ast_500.Parsetree.class_infos

Source

val gen_str : 
  what:what ->
  loc:Ppxlib.Location.t ->
  path:'a ->
  (Ppxlib.rec_flag * Ppxlib.type_declaration list) ->
  Astlib.Ast_500.Parsetree.structure_item list

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppxlib_traverse/Ppxlib_traverse/index.html

Module `Ppxlib_traverse`Source

package ppxlib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppxlib_traverse/Ppxlib_traverse/index.html

Module Ppxlib_traverseSource

Module `Ppxlib_traverse`Source