Base class type for all plugins.
Is parametrized by output AST types for convenience. All plugins receive input data as OCaml AST and return pieces specific for backend.
Methods that are specific for a concrete plugin implementation
method virtual trait_name : string
Name of a trait (and of plugin too). It is used for constructing new classes and * functions related to plugin.
method virtual inh_of_main : loc:'loc0 -> Ppxlib.type_declaration -> 'typ0
Inherited attribute for whole type declaration. Is is defined by plugin kind.
method virtual syn_of_main : loc:'loc1 ->
?in_class:bool ->
Ppxlib.type_declaration ->
'typ1
Synthesized attribute for whole type declaration. Is is defined by plugin kind.
method virtual syn_of_param : loc:'loc2 -> string -> 'typ2
syn_of_param ~loc name
constructs synthethized attribute for type paramter name
.
method virtual inh_of_param : loc:'loc3 ->
Ppxlib.type_declaration ->
string ->
'typ3
inh_of_param ~loc tdecl name
constructs inherited attribute for type parameter name
.
method virtual plugin_class_params : loc:'loc4 ->
Ppxlib.core_type list ->
typname:string ->
'typ4 list
The parameters that the plugin class will have in its definition. * Add 'extra
manually if needed.
method virtual alias_inherit_type_params : loc:'loc5 ->
Ppxlib.type_declaration ->
Ppxlib.core_type list ->
'typ5 list
Arguments of inherit class field that will be generated using the types applied in the RHS of type definition.
Adds a few extra members to a plugin class. Could be some constraints that are difficult to add in place where type parameters are declared.
The same as extra_class_sig_members
but for structures.
Methods that are specific for all plugins and unlikely will need to be override
method virtual do_single_sig : loc:'loc6 ->
is_rec:bool ->
Ppxlib.type_declaration ->
'sign0 list
Generate signature items for single type definition.
method virtual do_single : loc:'loc7 ->
is_rec:bool ->
Ppxlib.type_declaration ->
'str0 list
Generate structure items for single type definition.
method virtual do_typ_gen : loc:'loc8 ->
mutual_decls:Ppxlib.type_declaration list ->
is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
Ppxlib.type_declaration ->
Ppxlib.core_type ->
'exp0
Generate transformation expression from specified core_type.
method virtual make_trans_function_name : Ppxlib.type_declaration -> string
Generate name for transformation function.
method virtual make_trans_function_typ : loc:'loc9 ->
Ppxlib.type_declaration ->
'typ6
Generate type of a transformation function.
method virtual do_mutuals : loc:'loc10 ->
is_rec:bool ->
Ppxlib.type_declaration list ->
'str1 list
Generate structure items for mutally recursive type declarations.
method virtual do_mutuals_sigs : loc:'loc11 -> is_rec:bool -> 'sign1 list
method virtual need_inh_attr : bool
method virtual eta_and_exp : center:'exp1 -> Ppxlib.type_declaration -> 'exp1
method virtual prepare_fa_args : 'a. loc:'loc12 ->
(loc:'loc12 -> flg:Ppxlib.rec_flag -> pat:'pat0 -> expr:'exp2 -> 'a -> 'a) ->
Ppxlib.type_declaration ->
'pat0 list * ('a -> 'a)
method virtual make_final_trans_function_typ : loc:'loc13 ->
Ppxlib.type_declaration ->
'typ7