Module `Ppxlib_traverse`

val alphabet : Base.String.t Base.Array.t

val vars_of_list : 
  get_loc:('a -> Ppxlib.location) ->
  'a Base.List.t ->
  Base.String.t Ppxlib.loc Base.List.t

val evar_of_var : 
  Base.String.t Ppxlib.loc ->
  Migrate_parsetree__.Ast_407.Parsetree.expression

val pvar_of_var : 
  Base.String.t Ppxlib.loc ->
  Migrate_parsetree__.Ast_407.Parsetree.pattern

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

val evars_of_vars : 
  Base.String.t Ppxlib.loc Base.List.t ->
  Migrate_parsetree__.Ast_407.Parsetree.expression Base.List.t

val pvars_of_vars : 
  Base.String.t Ppxlib.loc Base.List.t ->
  Migrate_parsetree__.Ast_407.Parsetree.pattern Base.List.t

val tvars_of_vars : 
  string Ppxlib.loc Base.List.t ->
  Migrate_parsetree__.Ast_407.Parsetree.core_type Base.List.t

module Backends : sig ... end

type what = Backends.what

val mapper_type : 
  what:what ->
  loc:Warnings.loc ->
  Base.String.t Ppxlib.Loc.t ->
  Ppxlib.core_type Base.List.t ->
  Migrate_parsetree__.Ast_407.Parsetree.core_type

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

val mapper_type_of_td : 
  what:what ->
  Ppxlib.type_declaration ->
  Migrate_parsetree__.Ast_407.Parsetree.core_type

val method_name : Ppxlib.longident -> Base.String.t

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

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

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

val gen_record : 
  what:what ->
  loc:Warnings.loc ->
  Ppxlib.label_declaration Base.List.t ->
  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 Base.List.t ->
  Ppxlib.expression

val gen_mapper : 
  what:what ->
  Ppxlib.type_declaration ->
  Migrate_parsetree__.Ast_407.Parsetree.expression

val type_deps : 
  Ppxlib.type_declaration Base.List.t ->
  (Ppxlib.Longident.t * Base.int) list

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

val map_lident : Ppxlib.longident -> f:(string -> string) -> Ppxlib.longident

val class_constr : 
  what:< name : Base.String.t.. > ->
  class_params:
    (Migrate_parsetree__.Ast_407.Parsetree.core_type * 'a) Base.List.t ->
  Ppxlib.longident Ppxlib.loc ->
  Migrate_parsetree__.Ast_407.Parsetree.class_expr

val gen_class : 
  what:what ->
  loc:Ppxlib.Location.t ->
  Ppxlib.type_declaration Base.List.t ->
  Migrate_parsetree__.Ast_407.Parsetree.class_expr
    Migrate_parsetree__.Ast_407.Parsetree.class_infos

val gen_str : 
  what:what ->
  loc:Ppxlib.Location.t ->
  path:'a ->
  (Ppxlib.rec_flag * Ppxlib.type_declaration Base.List.t) ->
  Migrate_parsetree__.Ast_407.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`