package GT
Generic programming with extensible transformations
Install
Dune Dependency
Authors
Maintainers
Sources
v0.4.1.tar.gz
sha256=15924a175fcaaa57286853e8129159a0ce207f31b33f83d7f8aa436da1e17519
sha512=03d32a6b745b2ae04f4cd434b13c614acd66dfa7cb90c748c951b92bf517a9de7cc870f49bf31d94112f4b6efc019b1258d47b0177adfb664b1f22ff2375ae91
doc/GT.common/GTCommon/Plugin/Make/class-generator/index.html
Class Make.generator
Base class for all plugins. Implements Plugin_intf.typ_g interface
Is subclassed by with_inherited_attr and no_inherite_arg. Use them for convenience.
inherit Intf.gmethod tdecls : Ppxlib.type_declaration GTCommon.HelpersBase.List.tmethod plugin_name : Base.String.tval reinterpreted_args : (Base.Int.t * Ppxlib_ast__.Import.Parsetree.expression)
GTCommon.HelpersBase.List.tmethod extra_class_sig_members : Ppxlib.type_declaration ->
AstHelpers.Ctf.t listmethod extra_class_str_members : Ppxlib.type_declaration ->
AstHelpers.Cf.t listmethod cur_name : Ppxlib.type_declaration -> Base.String.tmethod make_class : loc:AstHelpers.loc ->
is_rec:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Str.tmethod prepare_fa_args : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
AstHelpers.Pat.t GTCommon.HelpersBase.List.tmethod wrap_class_definition : loc:AstHelpers.loc ->
inh_params:AstHelpers.Typ.t list ->
Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
Ppxlib.type_declaration ->
AstHelpers.Cf.t Base__List.t ->
AstHelpers.Str.tmethod virtual make_typ_of_class_argument : 'a. loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
(AstHelpers.Typ.t -> 'a -> 'a) ->
Base.string ->
(('a -> 'a) -> 'a -> 'a) ->
'a ->
'amethod class_constructor_sig : loc:AstHelpers.loc ->
?a_stub:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Typ.tmethod make_class_sig : loc:AstHelpers.loc ->
?a_stub:Base.bool ->
is_rec:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Sig.t GTCommon.HelpersBase.List.tmethod make_inherit_args_for_alias : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
Ppxlib.type_declaration ->
(loc:AstHelpers.loc -> Ppxlib.core_type -> AstHelpers.Exp.t) ->
Ppxlib.longident Ppxlib.Asttypes.loc ->
Ppxlib.core_type GTCommon.HelpersBase.List.t ->
AstHelpers.Exp.t GTCommon.HelpersBase.List.tmethod got_constr : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
?fix_self_app:(AstHelpers.Exp.t -> AstHelpers.Exp.t) ->
Ppxlib.type_declaration ->
Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
(loc:AstHelpers.loc -> Ppxlib.core_type -> AstHelpers.Exp.t) ->
Ppxlib.longident Ppxlib.Asttypes.loc ->
Ppxlib.core_type GTCommon.HelpersBase.List.t ->
(AstHelpers.Cf.t Base.list -> AstHelpers.Cf.t Base.list) ->
AstHelpers.Cf.t Base.listmethod got_polyvar : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
mutual_decls:Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
Ppxlib.type_declaration ->
(loc:AstHelpers.loc -> Ppxlib.core_type -> AstHelpers.Exp.t) ->
Ppxlib.row_field_desc GTCommon.HelpersBase.List.t ->
(AstHelpers.Cf.t Base.list -> AstHelpers.Cf.t Base.list) ->
AstHelpers.Cf.t Base.listmethod got_typedecl : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
mutual_decls:Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
Ppxlib.type_declaration ->
(AstHelpers.Cf.t Base__List.t -> AstHelpers.Str.t) ->
AstHelpers.Str.tmethod virtual on_record_declaration : loc:AstHelpers.loc ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
mutual_decls:Ppxlib.type_declaration Base.list ->
Ppxlib.type_declaration ->
Ppxlib.label_declaration Base.list ->
AstHelpers.Cf.t Base.listmethod make_typ_of_mutal_trf : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
(AstHelpers.Typ.t -> AstHelpers.Typ.t) ->
AstHelpers.Typ.tmethod wrap_tr_function_typ : Ppxlib.core_type -> Ppxlib.core_typemethod virtual long_trans_function_typ : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
AstHelpers.Typ.tmethod make_trans_function_typ : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
AstHelpers.Typ.tmethod make_trans_function_name : Ppxlib.type_declaration -> stringmethod make_trans_functions_sig : loc:AstHelpers.loc ->
is_rec:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Sig.t Base.listmethod make_class_name : ?is_mutal:Base.bool ->
Ppxlib.type_declaration ->
Base.stringmethod apply_fas_in_new_object : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
AstHelpers.Exp.t GTCommon.HelpersBase.List.tmethod virtual make_trans_function_body : loc:AstHelpers.loc ->
?rec_typenames:Base.string Base.list ->
Base.string ->
Ppxlib.type_declaration ->
AstHelpers.Exp.tmethod is_combinatorial : Ppxlib.type_declaration -> Ppxlib.core_type optionmethod make_trans_functions : loc:AstHelpers.loc ->
is_rec:Base.bool ->
AstHelpers.Str.t Base.listmethod do_single_sig : loc:AstHelpers.loc ->
is_rec:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Sig.t GTCommon.HelpersBase.List.tmethod do_single : loc:AstHelpers.loc ->
is_rec:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Str.t GTCommon.HelpersBase.List.tmethod final_typ_params_for_alias : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
Ppxlib.core_type GTCommon.HelpersBase.List.t ->
AstHelpers.Typ.t Base__List.tmethod alias_inherit_type_params : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
Ppxlib.core_type list ->
AstHelpers.Typ.t listmethod do_mutuals_sigs : loc:AstHelpers.loc ->
is_rec:Base.bool ->
AstHelpers.Sig.t GTCommon.HelpersBase.List.tmethod do_mutuals : loc:AstHelpers.loc ->
is_rec:Base.bool ->
Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
AstHelpers.Str.t Base.listmethod simple_trf_funcs : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
AstHelpers.Typ.t ->
AstHelpers.Typ.tmethod plugin_class_params_tdecl : Ppxlib.type_declaration ->
AstHelpers.type_arg GTCommon.HelpersBase.List.tmethod make_shortend_class_sig : loc:AstHelpers.loc ->
AstHelpers.Sig.t GTCommon.HelpersBase.List.tmethod make_shortend_class : loc:AstHelpers.loc ->
Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
AstHelpers.Str.t GTCommon.HelpersBase.List.tmethod virtual 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.tmethod virtual on_tuple_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.option ->
(Base.string * Ppxlib.core_type) Base.list ->
AstHelpers.Exp.tmethod on_variant : loc:AstHelpers.loc ->
Ppxlib.type_declaration ->
mutual_decls:Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
Ppxlib.constructor_declaration GTCommon.HelpersBase.List.t ->
(AstHelpers.Cf.t GTCommon.HelpersBase.List.t ->
AstHelpers.Cf.t GTCommon.HelpersBase.List.t) ->
AstHelpers.Cf.t Base.listmethod generate_for_variable : loc:AstHelpers.loc -> string -> AstHelpers.Exp.tmethod eta_and_exp : center:AstHelpers.Exp.t ->
Ppxlib.type_declaration ->
AstHelpers.Exp.tmethod do_typ_gen : loc:AstHelpers.loc ->
mutual_decls:Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
Ppxlib.type_declaration ->
Ppxlib.core_type ->
AstHelpers.Exp.tmethod treat_type_specially : Ppxlib.core_type -> AstHelpers.Exp.t optionmethod virtual app_transformation_expr : loc:AstHelpers.loc ->
AstHelpers.Exp.t ->
AstHelpers.Exp.t ->
AstHelpers.Exp.t ->
AstHelpers.Exp.tmethod virtual abstract_trf : loc:AstHelpers.loc ->
(AstHelpers.Exp.t -> AstHelpers.Exp.t -> AstHelpers.Exp.t) ->
AstHelpers.Exp.tmethod virtual fancy_app : loc:AstHelpers.loc ->
AstHelpers.Exp.t ->
AstHelpers.Exp.t ->
AstHelpers.Exp.t ->
AstHelpers.Exp.tmethod virtual app_gcata : loc:AstHelpers.loc ->
AstHelpers.Exp.t ->
AstHelpers.Exp.tmethod virtual make_typ_of_self_trf : loc:AstHelpers.loc ->
?in_class:Base.bool ->
Ppxlib.type_declaration ->
AstHelpers.Typ.tmethod virtual make_RHS_typ_of_transformation : loc:AstHelpers.loc ->
?subj_t:AstHelpers.Typ.t ->
?syn_t:AstHelpers.Typ.t ->
Ppxlib.type_declaration ->
AstHelpers.Typ.tmethod compose_apply_transformations : loc:AstHelpers.loc ->
left:AstHelpers.Exp.t ->
AstHelpers.Exp.t ->
Ppxlib.core_type ->
AstHelpers.Exp.tmethod virtual need_inh_attr : Base.bool