package GT

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

Base plugin class where transformation functions receive inherited attribute for type parameter

method need_inh_attr : with_inherited_attr -> Base.bool
method make_typ_of_class_argument : 'b -> '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 : 'b -> loc:AstHelpers.loc -> ?subj_t:AstHelpers.Typ.t -> ?syn_t:AstHelpers.Typ.t -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method app_transformation_expr : 'b -> loc:AstHelpers.loc -> AstHelpers.Exp.t -> AstHelpers.Exp.t -> AstHelpers.Exp.t -> AstHelpers.Exp.t
method app_gcata : 'b -> loc:AstHelpers.loc -> AstHelpers.Exp.t -> AstHelpers.Exp.t
method make_trans_function_body : 'b -> loc:AstHelpers.loc -> ?rec_typenames:Base.string Base.list -> Base.string -> Ppxlib.type_declaration -> AstHelpers.Exp.t
method app_extra_unit : 'b -> loc:AstHelpers.loc -> AstHelpers.Exp.t -> AstHelpers.Exp.t
method long_trans_function_typ : 'b -> loc:AstHelpers.loc -> Ppxlib.type_declaration -> AstHelpers.Typ.t
method make_final_trans_function_typ : 'b -> loc:AstHelpers.loc -> Ppxlib.type_declaration -> AstHelpers.Typ.t