package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

Dune Dependency

github.com Readme Edit opam file Versions (9)

Authors

Maintainers

K

Kakadu@pm.me

Sources

0.5.0.tar.gz

sha256=3f26c69a215066b42c6edde2ea4cd4516bdc9a01482b64355d3adf87ed85e179

sha512=7a5236618124f370aa373483255bd3efeb5c251005efa7d43aadb6be968df310b5f312b8066245544cfdf9972a7944f0ff2448bd09cb8a8e0bb5f8b1f9b5340b

doc/GT.common/GTCommon/Plugin/Make/class-no_inherit_arg0/index.html

Class `Make.no_inherit_arg0`Source

Base plugin class where transformation functions doesn't use inherited attribute. See Show and Gmap plugin for examples.

inherit generator

method virtual plugin_name : Base.String.t

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

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

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

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

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

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

method need_inh_attr : Base.bool

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

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_RHS_typ_of_transformation : loc:AstHelpers.loc ->
  ?subj_t:AstHelpers.Typ.t ->
  ?syn_t:AstHelpers.Typ.t ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

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

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 wrap_tr_function_str : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t