Class Camlp4.Sig.Ast.map

class map : object .. end

This example swap pairs expression contents: open Camlp4.PreCast; class swap = object inherit Ast.map as super; method expr e = match super#expr e with [ <:expr@_loc< ($e1$, $e2$) >> -> <:expr< ($e2$, $e1$) >> | e -> e ]; end; value _loc = Loc.ghost; value map = (new swap)#expr; assert (map <:expr< fun x -> (x, 42) >> = <:expr< fun x -> (42, x) >>);

method string : string -> string

method list : 'a 'b.
         ((< binding : binding -> binding;
             class_expr : class_expr -> class_expr;
             class_sig_item : class_sig_item ->
                              class_sig_item;
             class_str_item : class_str_item ->
                              class_str_item;
             class_type : class_type -> class_type;
             ctyp : ctyp -> ctyp;
             direction_flag : direction_flag ->
                              direction_flag;
             expr : expr -> expr;
             ident : ident -> ident; list : 'a 'b. 'c;
             loc : loc -> loc;
             match_case : match_case -> match_case;
             meta_bool : meta_bool -> meta_bool;
             meta_list : 'e 'f.
                           ('d -> 'e -> 'f) ->
                           'e meta_list ->
                           'f meta_list;
             meta_option : 'g 'h.
                             ('d -> 'g -> 'h) ->
                             'g meta_option ->
                             'h meta_option;
             module_binding : module_binding ->
                              module_binding;
             module_expr : module_expr -> module_expr;
             module_type : module_type -> module_type;
             mutable_flag : mutable_flag ->
                            mutable_flag;
             override_flag : override_flag ->
                             override_flag;
             patt : patt -> patt;
             private_flag : private_flag ->
                            private_flag;
             rec_binding : rec_binding -> rec_binding;
             rec_flag : rec_flag -> rec_flag;
             row_var_flag : row_var_flag ->
                            row_var_flag;
             sig_item : sig_item -> sig_item;
             str_item : str_item -> str_item;
             string : string -> string; unknown : 'i. 'i -> 'i;
             virtual_flag : virtual_flag ->
                            virtual_flag;
             with_constr : with_constr -> with_constr;
             .. >
           as 'd) ->
          'a -> 'b) ->
         'a list -> 'b list as 'c

method meta_bool : meta_bool -> meta_bool

method meta_option : 'g 'h.
         ('d -> 'g -> 'h) ->
         'g meta_option -> 'h meta_option

method meta_list : 'e 'f.
         ('d -> 'e -> 'f) ->
         'e meta_list -> 'f meta_list

method loc : loc -> loc

method expr : expr -> expr

method patt : patt -> patt

method ctyp : ctyp -> ctyp

method str_item : str_item -> str_item

method sig_item : sig_item -> sig_item

method module_expr : module_expr -> module_expr

method module_type : module_type -> module_type

method class_expr : class_expr -> class_expr

method class_type : class_type -> class_type

method class_sig_item : class_sig_item -> class_sig_item

method class_str_item : class_str_item -> class_str_item

method with_constr : with_constr -> with_constr

method binding : binding -> binding

method rec_binding : rec_binding -> rec_binding

method module_binding : module_binding -> module_binding

method match_case : match_case -> match_case

method ident : ident -> ident

method override_flag : override_flag -> override_flag

method mutable_flag : mutable_flag -> mutable_flag

method private_flag : private_flag -> private_flag

method virtual_flag : virtual_flag -> virtual_flag

method direction_flag : direction_flag -> direction_flag

method rec_flag : rec_flag -> rec_flag

method row_var_flag : row_var_flag -> row_var_flag

method unknown : 'i. 'i -> 'i