package GT

  1. Overview
  2. Docs
Generic programming with extensible transformations

Install

Dune Dependency

github.com Readme Edit opam file Versions (9)

Authors

  1. H
    https://github.com/dboulytchev
  2. H
    https://github.com/Kakadu

Maintainers

  1. K
    Kakadu@pm.me

Sources

0.5.0.tar.gz
sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179
sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b

doc/gfmt/Gfmt/Make/P/class-no_inherit_arg0/index.html

Class P.no_inherit_arg0

val reinterpreted_args : (Base.Int.t, Ppxlib.expression) GTCommon.HelpersBase.List.Assoc.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 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_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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct