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

v0.4.1.tar.gz

sha256=15924a175fcaaa57286853e8129159a0ce207f31b33f83d7f8aa436da1e17519

sha512=03d32a6b745b2ae04f4cd434b13c614acd66dfa7cb90c748c951b92bf517a9de7cc870f49bf31d94112f4b6efc019b1258d47b0177adfb664b1f22ff2375ae91

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

Class `Make.with_inherited_attr`

Base plugin class where transformation functions receive inherited attribute for type parameter

inherit no_inherit_arg0

method need_inh_attr : Base.bool

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 abstract_trf : loc:AstHelpers.loc ->
  (AstHelpers.Exp.t -> AstHelpers.Exp.t -> 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 fancy_app : loc:AstHelpers.loc ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t ->
  AstHelpers.Exp.t

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

method make_trans_function_body : loc:AstHelpers.loc ->
  ?rec_typenames:Base.string Base.list ->
  Base.string ->
  Ppxlib.type_declaration ->
  AstHelpers.Exp.t

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

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

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