Class `Intf.g`

method alias_inherit_type_params : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  Ppxlib.core_type list ->
  AstHelpers.Typ.t list

method do_mutuals : loc:AstHelpers.loc ->
  is_rec:bool ->
  Ppxlib.type_declaration list ->
  AstHelpers.Str.t list

method do_mutuals_sigs : loc:AstHelpers.loc ->
  is_rec:bool ->
  AstHelpers.Sig.t list

method do_single : loc:AstHelpers.loc ->
  is_rec:bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Str.t list

method do_single_sig : loc:AstHelpers.loc ->
  is_rec:bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Sig.t list

method do_typ_gen : loc:AstHelpers.loc ->
  mutual_decls:Ppxlib.type_declaration list ->
  is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
  Ppxlib.type_declaration ->
  Ppxlib.core_type ->
  AstHelpers.Exp.t

method eta_and_exp : center:AstHelpers.Exp.t ->
  Ppxlib.type_declaration ->
  AstHelpers.Exp.t

method extra_class_sig_members : Ppxlib.type_declaration ->
  AstHelpers.Ctf.t list

method extra_class_str_members : Ppxlib.type_declaration ->
  AstHelpers.Cf.t list

method inh_of_main : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method inh_of_param : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  string ->
  AstHelpers.Typ.t

method make_final_trans_function_typ : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method make_trans_function_name : Ppxlib.type_declaration -> string

method make_trans_function_typ : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method need_inh_attr : bool

method plugin_class_params : loc:AstHelpers.loc ->
  Ppxlib.core_type list ->
  typname:string ->
  AstHelpers.Typ.t list

method prepare_fa_args : 'a. loc:AstHelpers.loc ->
  (loc:AstHelpers.loc ->
    flg:Ppxlib.rec_flag ->
    pat:AstHelpers.Pat.t ->
    expr:AstHelpers.Exp.t ->
    'a ->
    'a) ->
  Ppxlib.type_declaration ->
  AstHelpers.Pat.t list * ('a -> 'a)

method syn_of_main : loc:AstHelpers.loc ->
  ?in_class:bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method syn_of_param : loc:AstHelpers.loc -> string -> AstHelpers.Typ.t

method trait_name : string

Install

Dune Dependency

Authors

Maintainers

Sources

doc/eq/Eq/Make/C/P/Intf/class-g/index.html

Class `Intf.g`

package GT

Install

Dune Dependency

Authors

Maintainers

Sources

doc/eq/Eq/Make/C/P/Intf/class-g/index.html

Class Intf.g

Class `Intf.g`