package ppxlib

  1. Overview
  2. Docs
Standard library for ppx rewriters

Install

Dune Dependency

Authors

Maintainers

Sources

ppxlib-0.29.1.tbz
sha256=c8ea8c8770414fdba6612e7f2d814b21a493daa974ea862a90c8e6c766e5dd79
sha512=edc468e9111cc26e31825e475fd72f55123a22fe86548e07e7d111796fecb8d60359b1b53c7eac383e5e2114cbae74dfd9c166f330e84cbeab4ddfd5797e322f

Description

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 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: 14 Feb 2023

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 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.

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 historied 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 as 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.1.0"
  6. dune >= "2.7"

Dev Dependencies (7)

  1. odoc with-doc
  2. stdio with-test
  3. base with-test & < "v0.16.0"
  4. cinaps with-test & >= "v0.12.1"
  5. re with-test & >= "1.9.0"
  6. ocamlfind with-test
  7. sexplib0 with-test & >= "v0.15"

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

Innovation. Community. Security.