package ppx_tools

You can search for identifiers within the package.

in-package search v0.2.0

Tools for authors of ppx rewriters and other syntactic tools

Install

Dune Dependency

github.com Readme MIT License Edit opam file Versions (21)

Authors

Alain Frisch

Maintainers

A

alain.frisch@lexifi.com

Sources

6.1+4.10.0.tar.gz

md5=02fe2fab316e4a8b39d899e5839d7eec

sha512=596dd6c9682eb1f36376a9fb60b9dff58ce7416bd83d5d0f5b36517b917b9466c99f621bcccc012255eefcd07d9c1663c2900eae60d89492c2e62c3173ed9311

Description

Published: 12 Feb 2020

README

ppx_tools

Tools for authors of syntactic tools (such as ppx rewriters).

This package is licensed by LexiFi under the terms of the MIT license.

The tools are installed as a findlib package called 'ppx_tools'. Executables are thus accessible through the ocamlfind driver (e.g.: ocamlfind ppx_tools/dumpast).

Main contributors:

Alain Frisch
Peter Zotov (whitequark)
Gabriel Radanne (Drup)

Master :

4.06 :

4.05 :

4.04 :

4.03 :

4.02 :

ppx_metaquot

A ppx filter to help writing programs which manipulate the Parsetree, by allowing the programmer to use concrete syntax for expressions creating Parsetree fragments and patterns deconstructing Parsetree fragments. See the top of ppx_metaquot.ml for a description of the supported extensions.

Usage:

ocamlfind ocamlc -c -package ppx_tools.metaquot my_ppx_code.ml

rewriter

An utility to help testing ppx rewriters that runs the rewriter on user-provided code and returns the result.

Usage:

ocamlfind ppx_tools/rewriter ./my_ppx_rewriter sample.ml

See the integrated help message for more details:

ocamlfind ppx_tools/rewriter -help

Ast_mapper_class

This module implements an API similar to Ast_mapper from the compiler-libs, i.e. a generic mapper from Parsetree to Parsetree implemeting a deep identity copy, which can be customized with a custom behavior for each syntactic category. The difference with Ast_mapper is that Ast_mapper_class implements the open recursion using a class.

dumpast

This tool parses fragments of OCaml code (or entire source files) and dump the resulting internal Parsetree representation. Intended uses:

Help to learn about the OCaml Parsetree structure and how it corresponds to OCaml source syntax.
Create fragments of Parsetree to be copy-pasted into the source code of syntax-manipulating programs (such as ppx rewriters).

Usage:

ocamlfind ppx_tools/dumpast -e "1 + 2"

The tool can be used to show the Parsetree representation of small fragments of syntax passed on the command line (-e for expressions, -p for patterns, -t for type expressions) or for entire .ml/mli files. The standard -pp and -ppx options are supported, but only applied on whole files. The tool has further option to control how location and attribute fields in the Parsetree should be displayed.

genlifter

This tool generates a virtual "lifter" class for one or several OCaml type constructors. It does so by loading the .cmi files which define those types. The generated lifter class exposes one method to "reify" type constructors passed on the command-line and other type constructors accessible from them. The class is parametrized over the target type of the reification, and it must provide method to deal with basic types (int, string, char, int32, int64, nativeint) and data type builders (record, constr, tuple, list, array). As an example, calling:

ocamlfind ppx_tools/genlifter -I +compiler-libs Location.t

produces the following class:

class virtual ['res] lifter =
  object (this)
    method lift_Location_t : Location.t -> 'res=
      fun
        { Location.loc_start = loc_start; Location.loc_end = loc_end;
          Location.loc_ghost = loc_ghost }
         ->
        this#record "Location.t"
          [("loc_start", (this#lift_Lexing_position loc_start));
          ("loc_end", (this#lift_Lexing_position loc_end));
          ("loc_ghost", (this#lift_bool loc_ghost))]
    method lift_bool : bool -> 'res=
      function
      | false  -> this#constr "bool" ("false", [])
      | true  -> this#constr "bool" ("true", [])
    method lift_Lexing_position : Lexing.position -> 'res=
      fun
        { Lexing.pos_fname = pos_fname; Lexing.pos_lnum = pos_lnum;
          Lexing.pos_bol = pos_bol; Lexing.pos_cnum = pos_cnum }
         ->
        this#record "Lexing.position"
          [("pos_fname", (this#string pos_fname));
          ("pos_lnum", (this#int pos_lnum));
          ("pos_bol", (this#int pos_bol));
          ("pos_cnum", (this#int pos_cnum))]
  end

dumpast is a direct example of using genlifter applied on the OCaml Parsetree definition itself. ppx_metaquot is another similar example.

Dependencies (2)

dune >= "1.6"
ocaml >= "4.10.0" & < "4.11"

Dev Dependencies

None

aperf >= "0.1.2"
arp < "0.2.1"
bisect_ppx < "1.3.0"
bistro < "0.3.0"
cconv-ppx
charrua-core >= "0.5" & < "0.8"
csvprovider
diet < "0.2"
dns >= "0.18.0" & != "0.19.1" & < "1.0.0"
dns-forward < "0.9.0"
eliom >= "5.0.0" & < "8.9.0"
fat-filesystem >= "0.11.0" & < "0.13.0"
gdb
gensqlite
graphql_ppx < "0.7.1"
js_of_ocaml >= "2.6" & < "3.0"
js_of_ocaml-ppx_deriving_json < "3.5.0"
learn-ocaml
learn-ocaml-client
lens >= "1.2.1" & < "1.2.5"
lwt >= "2.4.6" & < "3.1.0"
mdx < "1.2.0"
mirage-block-unix >= "2.10.0" & < "2.11.1"
mirage-block-xen >= "1.4.0" & < "1.6.0"
mirage-net-xen >= "1.6.0" & < "1.7.1"
mirage-profile = "0.7.0"
nbd >= "2.1.0" & < "4.0.3"
netchannel < "1.9.0"
noCanren < "0.3.0~alpha1"
ocaml-monadic >= "0.3.2" & < "0.4.0"
ocamllint
ocf < "0.6.0"
ocsigen-i18n >= "3.5.0" & < "4.0.0"
omonad >= "0.3.0"
orakuda >= "2.0.0"
otr >= "0.3.1" & < "0.3.3"
override < "0.2.0"
pcap-format = "0.5.1"
pgocaml >= "3.1" & < "4.0"
pgocaml_ppx < "4.3.0"
ppx_assert < "v0.9.0"
ppx_bench < "v0.9.0"
ppx_bin_prot < "v0.9.0"
ppx_bitstring < "2.0.0"
ppx_blob = "0.2"
ppx_compare < "v0.9.0"
ppx_const < "2.0"
ppx_conv_func < "v0.9.0"
ppx_core < "v0.9.0"
ppx_cstruct < "3.0.1"
ppx_csv_conv < "v0.9.0"
ppx_custom_printf < "v0.9.0"
ppx_defer < "0.3.0"
ppx_deriving < "5.0"
ppx_deriving_crowbar
ppx_deriving_madcast < "0.2"
ppx_deriving_morphism >= "0.4"
ppx_deriving_protobuf = "2.7"
ppx_deriving_rpc < "6.0.0"
ppx_deriving_yojson >= "3.3" & < "3.6.0"
ppx_distr_guards < "0.2"
ppx_driver < "113.24.00"
ppx_enumerate < "v0.9.0"
ppx_expect < "v0.9.0"
ppx_fail < "v0.9.0"
ppx_fields_conv < "v0.9.0"
ppx_fun < "0.0.9"
ppx_getenv < "2.0"
ppx_hardcaml < "1.3.0"
ppx_here < "113.24.00"
ppx_implicits < "0.2.0"
ppx_import < "1.5-3-gbd627d5"
ppx_inline_test < "v0.9.0"
ppx_json_types
ppx_monadic < "1.1.0"
ppx_monoid < "0.3.2"
ppx_netblob
ppx_optcomp < "v0.9.0"
ppx_orakuda < "3.1.0"
ppx_pipebang < "v0.9.0"
ppx_regexp < "0.3.0"
ppx_sexp_conv < "v0.9.0"
ppx_sexp_message < "v0.9.0"
ppx_sexp_value < "v0.9.0"
ppx_type_conv < "v0.9.0"
ppx_typerep_conv < "v0.9.0"
ppx_variants_conv < "v0.9.0"
ppx_xml_conv < "v0.9.0"
ppxx < "2.0.0"
protocol-9p >= "0.6.0" & < "1.0.0"
protocol-9p-unix < "1.0.0"
qcow
qcow-format >= "0.4"
sedlex >= "1.99.1" & < "1.99.4"
sequoia
shared-block-ring >= "2.3.0" & < "3.0.0"
shared-memory-ring >= "1.2.0" & < "2.0.0"
sqlexpr >= "0.7.1" & < "0.9.0"
tar < "2.0.0"
tar-format = "0.6.0"
tcpip >= "2.7.0" & < "3.2.0"
tls >= "0.7.1" & < "0.9.0"
tyxml-ppx < "4.3.0"
utop >= "1.19" & < "1.19.2"
vchan >= "2.1.0" & < "5.0.0"
vchan-unix < "5.0.0"
vchan-xen < "5.0.0"
vhd-format = "0.8.0"
visitors < "20210127"
vmnet >= "1.1.0" & < "1.3.2"
xenstore >= "1.3.0" & < "2.1.0"
xtmpl = "0.17.0"

Conflicts

None

On This Page

Description
Readme
Dependencies (2)
Dev Dependencies
Used by (112)
Conflicts

package ppx_tools

Install

Dune Dependency

Authors

Maintainers

Sources

Description

Tags

Published: 12 Feb 2020

README

ppx_tools

ppx_metaquot

rewriter

Ast_mapper_class

dumpast

genlifter

Dependencies (2)

Dev Dependencies

Used by (112)

Conflicts