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.2.tar.gz

sha256=d23fb8e20ca28ec9ae07feee45b39aee8fb87ab11ec55211e2365f2c5a1c4ccf

sha512=0ade04e78a4d8e24acf24d3e4cdf358532d68284fa8e801b25bdf21c3c0483bb97d1350e86abcf9f93efec870b07f0f067a5dccae81686b14265baab3a4e7c13

doc/GT.common/GTCommon/Plugin/Make/index.html

Module `Plugin.Make`

Parameters

module AstHelpers : GTHELPERS_sig.S

Signature

module Intf : sig ... end

type plugin_constructor =
  Plugin_intf.plugin_args ->
  (Base.bool * Ppxlib.type_declaration Base.list) ->
  (AstHelpers.loc,
    AstHelpers.Exp.t,
    AstHelpers.Typ.t,
    AstHelpers.type_arg,
    AstHelpers.Ctf.t,
    AstHelpers.Cf.t,
    AstHelpers.Str.t,
    AstHelpers.Sig.t)
    Plugin_intf.typ_g

val prepare_patt_match_poly : 
  loc:AstHelpers.loc ->
  AstHelpers.Exp.t ->
  Ppxlib.row_field_desc HelpersBase.List.t ->
  string HelpersBase.List.t option ->
  onrow:
    (Ppxlib.label Ppxlib.loc ->
      (string * Ppxlib.core_type) HelpersBase.List.t ->
      AstHelpers.Exp.t) ->
  onlabel:(string -> string -> AstHelpers.Exp.t) ->
  oninherit:
    (Ppxlib.core_type list -> Ppxlib.longident -> string -> AstHelpers.Exp.t) ->
  AstHelpers.Exp.t

class virtual generator : (Ppxlib.longident * Ppxlib.expression) HelpersBase.List.t -> (Base.bool
                                                                 * Ppxlib.type_declaration
                                                                    HelpersBase.List.t) -> object ... end

Base class for all plugins. Implements Plugin_intf.typ_g interface

class virtual no_inherit_arg0 : (Ppxlib.longident * Ppxlib.expression) HelpersBase.List.t -> (Base.bool
                                                                 * Ppxlib.type_declaration
                                                                    HelpersBase.List.t) -> object ... end

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

class virtual with_inherited_attr : (Ppxlib.longident * Ppxlib.expression) HelpersBase.List.t -> (Base.bool
                                                                 * Ppxlib.type_declaration
                                                                    HelpersBase.List.t) -> object ... end

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

class virtual no_inherit_arg : (Ppxlib.longident * Ppxlib.expression) HelpersBase.List.t -> (Base.bool
                                                                 * Ppxlib.type_declaration
                                                                    HelpersBase.List.t) -> object ... end