Class `P.no_inherit_arg0`

val reinterpreted_args : (Base.Int.t, Ppxlib.expression)
                           GTCommon.HelpersBase.List.Assoc.t

method abstract_trf : loc:AstHelpers.loc ->
  (AstHelpers.Exp.t -> AstHelpers.Exp.t -> AstHelpers.Exp.t) ->
  AstHelpers.Exp.t

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

method app_gcata : loc:AstHelpers.loc -> AstHelpers.Exp.t -> AstHelpers.Exp.t

method app_transformation_expr : loc:AstHelpers.loc ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t

method apply_fas_in_new_object : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Exp.t GTCommon.HelpersBase.List.t

method class_constructor_sig : loc:AstHelpers.loc ->
  ?a_stub:Base.bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method compose_apply_transformations : loc:AstHelpers.loc ->
  left:AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  Ppxlib.core_type ->
  AstHelpers.Exp.t

method cur_name : Ppxlib.type_declaration -> Base.String.t

method do_mutuals : loc:AstHelpers.loc ->
  is_rec:bool ->
  Ppxlib.type_declaration list ->
  AstHelpers.Str.t Base.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 fancy_app : loc:AstHelpers.loc ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t

method final_typ_params_for_alias : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  Ppxlib.core_type GTCommon.HelpersBase.List.t ->
  AstHelpers.Typ.t list

method fix_func_name : ?for_:string -> unit -> string

method generate_for_variable : loc:AstHelpers.loc -> string -> AstHelpers.Exp.t

method 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.list

method 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.list

method 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.t

method guess_recursivity : Ppxlib.type_declaration -> bool

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

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

method is_combinatorial : Ppxlib.type_declaration -> Ppxlib.core_type option

method is_rec : Base.bool

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

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 make_class : loc:AstHelpers.loc ->
  is_rec:Base.bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Str.t

method make_class_name : ?is_mutal:Base.bool ->
  Ppxlib.type_declaration ->
  Base.string

method make_class_sig : loc:AstHelpers.loc ->
  ?a_stub:Base.bool ->
  is_rec:Base.bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Sig.t GTCommon.HelpersBase.List.t

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

method make_inh : loc:AstHelpers.loc -> AstHelpers.Pat.t * AstHelpers.Exp.t

method 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.t

method make_shortend_class : loc:AstHelpers.loc ->
  Ppxlib.type_declaration GTCommon.HelpersBase.List.t ->
  AstHelpers.Str.t GTCommon.HelpersBase.List.t

method make_shortend_class_sig : loc:AstHelpers.loc ->
  AstHelpers.Sig.t GTCommon.HelpersBase.List.t

method make_trans_function_body : loc:AstHelpers.loc ->
  ?rec_typenames:Base.string Base.list ->
  Base.string ->
  Ppxlib.type_declaration ->
  AstHelpers.Exp.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 make_trans_functions : loc:AstHelpers.loc ->
  is_rec:Base.bool ->
  AstHelpers.Str.t Base.list

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

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_typ_of_mutal_trf : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  (AstHelpers.Typ.t -> AstHelpers.Typ.t) ->
  AstHelpers.Typ.t

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

method need_inh_attr : Base.bool

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 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.list

method 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.t

method 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.list

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

method plugin_class_params_tdecl : Ppxlib.type_declaration ->
  AstHelpers.type_arg GTCommon.HelpersBase.List.t

method plugin_name : Base.String.t

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 self_arg_name : string -> string

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

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

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

method tdecls : Ppxlib.type_declaration GTCommon.HelpersBase.List.t

method trait_name : string

method treat_type_specially : Ppxlib.core_type -> AstHelpers.Exp.t option

method use_tdecl : Ppxlib.type_declaration -> AstHelpers.Typ.t

method 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.t

method wrap_tr_function_str : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t

method wrap_tr_function_typ : Ppxlib.core_type -> Ppxlib.core_type

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/foldr/Foldr/Make/Foldl/P/class-no_inherit_arg0/index.html

Class `P.no_inherit_arg0`

package GT

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/foldr/Foldr/Make/Foldl/P/class-no_inherit_arg0/index.html

Class P.no_inherit_arg0

dune-project
Dependency

Class `P.no_inherit_arg0`