package GT

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Base plugin class where transformation functions doesn't use inherited attribute. See Show and Gmap plugin for examples.

inherit generator
method virtual plugin_name : Base.String.t
method virtual syn_of_main : loc:AstHelpers.loc -> ?in_class:Base.bool -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method virtual inh_of_main : loc:AstHelpers.loc -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method virtual syn_of_param : loc:AstHelpers.loc -> Base.string -> AstHelpers.Typ.t
method virtual inh_of_param : loc:AstHelpers.loc -> Ppxlib.type_declaration -> Base.string -> AstHelpers.Typ.t
method virtual make_trans_function_typ : loc:AstHelpers.loc -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method need_inh_attr : Base.bool
method make_typ_of_self_trf : loc:AstHelpers.loc -> ?in_class:Base.bool -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method make_typ_of_class_argument : 'a. loc:AstHelpers.loc -> Ppxlib.type_declaration -> (AstHelpers.Typ.t -> 'a -> 'a) -> Base.string -> (('a -> 'a) -> 'a -> 'a) -> 'a -> 'a
method make_RHS_typ_of_transformation : loc:AstHelpers.loc -> ?subj_t:AstHelpers.Typ.t -> ?syn_t:AstHelpers.Typ.t -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method app_gcata : loc:AstHelpers.loc -> AstHelpers.Exp.t -> AstHelpers.Exp.t
method on_record_constr : loc:AstHelpers.loc -> is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) -> mutual_decls:Ppxlib.type_declaration Base.list -> inhe:AstHelpers.Exp.t -> Ppxlib.type_declaration -> [ `Normal of Base.string | `Poly of Base.string ] -> (Base.string * Base.string * Ppxlib.core_type) Base.list -> Ppxlib.label_declaration Base.list -> AstHelpers.Exp.t
method wrap_tr_function_str : loc:AstHelpers.loc -> Ppxlib.type_declaration -> AstHelpers.Exp.t -> AstHelpers.Exp.t