package ppxlib

You can search for identifiers within the package.

in-package search v0.2.0

Standard infrastructure for ppx rewriters

Install

dune-project

Dependency

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

Authors

J

Jane Street Group, LLC <opensource@janestreet.com>

Maintainers

O

opensource@janestreet.com

Sources

ppxlib-0.37.0.tbz

sha256=2e223837e7cecc3bc84a432432c0a72f4e1d5be9165c9c33772f156db85db0b3

sha512=78c62c6de7a641b950de9b4b744841c8823918c545046693e291077adfcd069a812094c11d8d51f792c0b5f340307d38f452ff0a92520df63ed17a3ca9922e2e

doc/ppxlib/Ppxlib/Expansion_helpers/Quoter/index.html

Module `Expansion_helpers.Quoter`Source

Generate expressions in a hygienic way.

The idea is that whenever we want to refer to an expression in generated code we first quote it. The result will be an identifier that is guaranteed to refer to the expression it was created from. This way it is impossible for quoted fragments to refer to newly introduced expressions.

For more information, see the section on quoting in the good practices section.

Sourcetype t

Sourceval create : unit -> t

Creates a quoter. A quoter guarantees to give names that do not clash with any other names used before

Source

val quote : 
  t ->
  Astlib.Ast_502.Parsetree.expression ->
  Astlib.Ast_502.Parsetree.expression

quote t e returns the expression that is safe to use in place of e in generated code

Source

val sanitize : 
  t ->
  Astlib.Ast_502.Parsetree.expression ->
  Astlib.Ast_502.Parsetree.expression

sanitize t e Returns e wrapped with bindings for all quoted expressions in the quoter t