package ppxlib

  1. Overview
  2. Docs
Standard infrastructure for ppx rewriters

Install

Dune Dependency

Authors

Maintainers

Sources

ppxlib-0.32.0.tbz
sha256=507cc73ccf895f22eeb5257a2243838c18a38a09105fcff55eeef9148555422b
sha512=73fef8ab8761bfbfde6ae87cc51eaacc5a5c937f0d628a890f0abdb2bffbf073932c25287a9e3baa2a1947c37f3dfa7f83ddd33c440e2e800971015addc97cd2

Description

Ppxlib is the standard infrastructure for ppx rewriters and other programs that manipulate the in-memory representation of OCaml programs, a.k.a the "Parsetree".

It also comes bundled with two ppx rewriters that are commonly used to write tools that manipulate and/or generate Parsetree values; ppxlib.metaquot which allows to construct Parsetree values using the OCaml syntax directly and ppxlib.traverse which provides various ways of automatically traversing values of a given type, in particular allowing to inject a complex structured value into generated code.

Published: 07 Feb 2024

README

Ppxlib - Meta-programming for OCaml

Ppxlib documentation

Overview

Ppxlib is the standard library for ppx rewriters and other programs that manipulate the in-memory representation of OCaml programs, a.k.a. the "Parsetree".

It also comes bundled with two ppx rewriters that are commonly used to write tools that manipulate and/or generate Parsetree values: ppxlib.metaquot, which allows constructing Parsetree values using the OCaml syntax directly, and ppxlib.traverse, which provides various ways of automatically traversing values of a given type, in particular allowing to inject a complex structured value into generated code.

For more information about ppxlib and how to use it, please consult the documentation.

What is the relation between ppxlib and other ppx libraries?

The ppx world has a long and storied history, and if you look around, you may find other projects that offer functionalities similar to ppxlib. The following blog post gives a good overview of the various libraries that have been developed over time. At this point, ppxlib is considered the de facto library for writing ppx rewriters.

History of the project

This repository was created by merging several older smaller projects that were developed at Jane Street. See the history for more details.

Dependencies (6)

  1. stdlib-shims
  2. sexplib0 >= "v0.12"
  3. ppx_derivers >= "1.0"
  4. ocaml-compiler-libs >= "v0.11.0"
  5. ocaml >= "4.04.1" & < "5.2.0" & != "5.1.0~alpha1"
  6. dune >= "2.7"

Dev Dependencies (5)

  1. odoc with-doc
  2. cinaps with-test & >= "v0.12.1"
  3. re with-test & >= "1.9.0"
  4. ocamlfind with-test
  5. sexplib0 with-test & >= "v0.15"

  1. arrayjit
  2. awsm-codegen
  3. base_quickcheck = "v0.13.0" | >= "v0.14.1"
  4. bisect_ppx >= "2.8.3"
  5. bistro >= "0.6.0"
  6. bonsai >= "v0.16.0"
  7. bytestring
  8. clangml >= "4.7.0"
  9. comby < "1.3.0"
  10. commons
  11. config
  12. diff
  13. ego
  14. eliom >= "8.9.0"
  15. elpi >= "1.11.0" & < "1.11.3" | >= "1.13.2"
  16. embedded_ocaml_templates < "0.3.1" | >= "0.7"
  17. extunix >= "0.3.1"
  18. flow_parser >= "0.229.1"
  19. fsml
  20. GT = "0.5.1"
  21. gen_js_api >= "1.0.6" & < "1.0.8" | >= "1.1.1"
  22. genprint = "0.3"
  23. gospel >= "0.2.0"
  24. graphql_ppx >= "1.2.2"
  25. hack_parallel >= "1.0.1"
  26. hardcaml >= "v0.14.1"
  27. http_async
  28. js_of_ocaml >= "3.8.0"
  29. js_of_ocaml-compiler >= "3.8.0"
  30. js_of_ocaml-lwt >= "3.10.0"
  31. js_of_ocaml-ocamlbuild >= "3.10.0" & < "5.0"
  32. js_of_ocaml-ppx >= "3.8.0"
  33. js_of_ocaml-ppx_deriving_json >= "3.7.1"
  34. js_of_ocaml-toplevel >= "3.10.0"
  35. js_of_ocaml-tyxml >= "3.10.0"
  36. jsoo-react
  37. lablqml >= "0.7"
  38. landmarks-ppx
  39. lascar >= "0.7.0"
  40. learn-ocaml >= "0.13.0"
  41. learn-ocaml-client >= "0.13.0"
  42. lens >= "1.2.5"
  43. let-if >= "0.2.0"
  44. logs-ppx
  45. lwt_ppx >= "2.0.2"
  46. melange >= "1.0.0"
  47. merlin >= "4.7-412"
  48. metapp >= "0.4.4"
  49. metaquot >= "0.5.0"
  50. mlt_parser = "v0.13.0" | >= "v0.14.1"
  51. neural_nets_lib
  52. noCanren >= "0.3.0~alpha1"
  53. node_of_ocaml
  54. nuscr >= "2.0.0"
  55. OCanren-ppx = "0.2.0" | >= "0.3.0"
  56. obus >= "1.2.5"
  57. ocaml-monadic >= "0.5"
  58. ocamlformat = "0.19.0~4.13preview"
  59. ocf_ppx
  60. ocsigen-i18n >= "4.0.0"
  61. ocsigen-ppx-rpc
  62. ojs_base_ppx
  63. ometrics = "0.2.0"
  64. ortac-core
  65. ortac-qcheck-stm
  66. override = "0.2.2"
  67. pacomb
  68. pancake
  69. pgocaml_ppx >= "4.3.0"
  70. pla >= "2.0"
  71. ppx-owl-opt
  72. ppx_accessor >= "v0.14.3"
  73. ppx_assert >= "v0.13.0"
  74. ppx_bap
  75. ppx_base >= "v0.13.0"
  76. ppx_bench >= "v0.15.1"
  77. ppx_bin_prot >= "v0.13.0"
  78. ppx_bitstring >= "4.1.0"
  79. ppx_blob >= "0.7.2"
  80. ppx_camlrack
  81. ppx_catch
  82. ppx_cold
  83. ppx_compare >= "v0.13.0"
  84. ppx_compose >= "0.2.1"
  85. ppx_const >= "2.0.1"
  86. ppx_conv_func >= "v0.13.0"
  87. ppx_counters
  88. ppx_css
  89. ppx_cstruct >= "6.0.0"
  90. ppx_cstubs >= "0.6.1"
  91. ppx_csv_conv >= "v0.13.0"
  92. ppx_custom_printf >= "v0.14.1"
  93. ppx_decimal
  94. ppx_default
  95. ppx_defer >= "0.5.0"
  96. ppx_demo
  97. ppx_derive_at_runtime
  98. ppx_deriving >= "5.2"
  99. ppx_deriving_cad
  100. ppx_deriving_encoding >= "0.2"
  101. ppx_deriving_hardcaml >= "v0.13.0"
  102. ppx_deriving_hash
  103. ppx_deriving_jsoo >= "0.2"
  104. ppx_deriving_madcast >= "0.2"
  105. ppx_deriving_popper
  106. ppx_deriving_protobuf >= "3.0.0"
  107. ppx_deriving_qcheck
  108. ppx_deriving_rpc >= "8.1.0"
  109. ppx_deriving_scad
  110. ppx_deriving_yaml
  111. ppx_deriving_yojson >= "3.7.0"
  112. ppx_disable_unused_warnings
  113. ppx_distr_guards >= "0.3"
  114. ppx_dream_eml
  115. ppx_enumerate >= "v0.13.0"
  116. ppx_expect >= "v0.13.0" & != "v0.14.0"
  117. ppx_factory = "0.1.0" | >= "0.2.0"
  118. ppx_fail >= "v0.13.0"
  119. ppx_fields_conv >= "v0.14.2"
  120. ppx_fixed_literal
  121. ppx_gen_rec >= "2.0.0"
  122. ppx_getenv >= "2.1"
  123. ppx_globalize
  124. ppx_hash >= "v0.13.0"
  125. ppx_here >= "v0.13.0"
  126. ppx_ignore_instrumentation
  127. ppx_import >= "1.7.0" & < "1.8.0" | >= "1.10.0"
  128. ppx_inline_alcotest
  129. ppx_inline_test >= "v0.15.1"
  130. ppx_interact
  131. ppx_irmin >= "3.0.0"
  132. ppx_jane >= "v0.13.0"
  133. ppx_js_style >= "v0.13.0"
  134. ppx_jsobject_conv = "0.8.0" | >= "0.9.3"
  135. ppx_jsonaf_conv >= "v0.15.1"
  136. ppx_let >= "v0.13.0"
  137. ppx_log
  138. ppx_lun
  139. ppx_make
  140. ppx_map
  141. ppx_matches
  142. ppx_minidebug
  143. ppx_module_timer >= "v0.13.0"
  144. ppx_monad
  145. ppx_monoid >= "0.3.3"
  146. ppx_mysql >= "1.1.3"
  147. ppx_open
  148. ppx_optcomp >= "v0.14.2"
  149. ppx_optint
  150. ppx_optional >= "v0.13.0"
  151. ppx_parser
  152. ppx_pattern_bind >= "v0.13.1"
  153. ppx_pipebang >= "v0.13.0"
  154. ppx_protocol_conv >= "5.1.3"
  155. ppx_pyformat
  156. ppx_python >= "v0.15.0"
  157. ppx_rapper < "1.0.1"
  158. ppx_regexp >= "0.5.0"
  159. ppx_repr >= "0.6.0"
  160. ppx_seq
  161. ppx_sexp_conv >= "v0.15.1"
  162. ppx_sexp_message >= "v0.14.1"
  163. ppx_sexp_value >= "v0.13.0"
  164. ppx_show >= "0.2.0"
  165. ppx_stable >= "v0.14.1"
  166. ppx_stable_witness
  167. ppx_string >= "v0.14.1"
  168. ppx_string_interpolation
  169. ppx_subliner
  170. ppx_system
  171. ppx_trace
  172. ppx_ts
  173. ppx_tydi
  174. ppx_type_directed_value
  175. ppx_typed_fields
  176. ppx_typerep_conv >= "v0.14.2"
  177. ppx_units
  178. ppx_update
  179. ppx_variants_conv >= "v0.14.2"
  180. ppx_viewpattern
  181. ppx_xml_conv >= "v0.13.0"
  182. ppx_yojson >= "1.3.0"
  183. ppx_yojson_conv >= "v0.15.1"
  184. ppxx >= "2.5.0"
  185. qcow >= "0.11.0"
  186. rdf_ppx
  187. reactjs-jsx-ppx
  188. reason >= "3.9.0"
  189. reason-react-ppx
  190. refl >= "0.4.1"
  191. repr-fuzz >= "0.2.1"
  192. res_tailwindcss
  193. rescript-syntax
  194. scaml != "1.2.0"
  195. sedlex >= "2.6"
  196. serde_derive
  197. server-reason-react
  198. spin >= "0.8.0"
  199. spoc_ppx
  200. stdint-literals
  201. streamable
  202. styled-ppx
  203. togglelog
  204. toplevel_expect_test >= "v0.14.1"
  205. tyxml-jsx >= "4.5.0"
  206. tyxml-ppx >= "4.5.0"
  207. tyxml-syntax >= "4.5.0"
  208. visitors >= "20210608"
  209. vlt
  210. wtr < "3.0.0"
  211. wtr-ppx
  212. xtmpl_ppx