package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (9)

Authors

Maintainers

K

Kakadu@pm.me

Sources

0.5.1.tar.gz

sha256=fe0aa1e40afd36f7c1fcd992c408261d0b5645cea080ea98bc5dbf0b8682187f

sha512=8db0f2d8db4d7c11cf55835ba2b6c4f5ee1e8c09a4bdc2a9c57d50958ff8654688d4c8596079dfd1027d8b9e878f6e1b0d14341bcdf5f63cf96a45b2a571f3cb

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

Class `Make.no_inherit_arg`Source

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

inherit no_inherit_arg0

method need_inh_attr : Base.bool

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

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

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

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