Module `Ppxlib_traverse`

val alphabet : string array

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

val evar_of_var : 
  string Ppxlib.loc ->
  Migrate_parsetree__.Ast_410.Parsetree.expression

val pvar_of_var : 
  string Ppxlib.loc ->
  Migrate_parsetree__.Ast_410.Parsetree.pattern

val tvar_of_var : 
  string Ppxlib.loc ->
  Migrate_parsetree__.Ast_410.Parsetree.core_type

val evars_of_vars : 
  string Ppxlib.loc list ->
  Migrate_parsetree__.Ast_410.Parsetree.expression list

val pvars_of_vars : 
  string Ppxlib.loc list ->
  Migrate_parsetree__.Ast_410.Parsetree.pattern list

val tvars_of_vars : 
  string Ppxlib.loc list ->
  Migrate_parsetree__.Ast_410.Parsetree.core_type list

module Backends : sig ... end

type what = Backends.what

val mapper_type : 
  what:what ->
  loc:Warnings.loc ->
  Ppxlib_ast__.Import.Longident.t Location.loc ->
  Ppxlib.core_type Stdppx.List.t ->
  Migrate_parsetree__.Ast_410.Parsetree.core_type

val constrained_mapper : 
  what:what ->
  ?is_gadt:bool ->
  Ppxlib.expression ->
  Ppxlib.type_declaration ->
  Migrate_parsetree__.Ast_410.Parsetree.expression

val mangle_type_name : Ppxlib.longident -> string

val type_expr_mapper : 
  what:what ->
  Ppxlib.core_type ->
  Migrate_parsetree__.Ast_410.Parsetree.expression

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

val gen_record' : 
  what:what ->
  loc:Warnings.loc ->
  Ppxlib.label_declaration list ->
  Migrate_parsetree__.Ast_410.Parsetree.pattern
  * Migrate_parsetree__.Ast_410.Parsetree.expression
  * (string Ppxlib.loc * Ppxlib.expression) list

val gen_record : 
  what:what ->
  loc:Warnings.loc ->
  Ppxlib.label_declaration list ->
  Ppxlib.expression

val is_constant_constructor : Ppxlib.constructor_declaration -> bool

val erase_type_variables : Ppxlib.Ast_traverse.map

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

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

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

val lift_virtual_methods : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.class_field list ->
  Ppxlib.class_field list

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

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppxlib_traverse/Ppxlib_traverse/index.html

Module `Ppxlib_traverse`

package ppxlib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppxlib_traverse/Ppxlib_traverse/index.html

Module Ppxlib_traverse

Module `Ppxlib_traverse`