package ppxlib

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Standard library for ppx rewriters

Install

dune-project

Dependency

github.com Edit opam file Versions (22)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

ppxlib-0.15.0.tbz

sha256=0b630d7f8d74a899a55cc27188b5ce03e735a93f07ea0c2de56532d8fd93b330

sha512=ecf0fff77ff6f1b356f018b6861b9e40bb8513092a7a486a3aa6024d12f5c15135899b77a188a44abc1c2ca84ebccb8bf9a78241e0383e023663fd7f86fbca72

doc/ppxlib/Ppxlib/Quoter/index.html

Module `Ppxlib.Quoter`

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.

type t

val create : unit -> t

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

val quote : 
  t ->
  Migrate_parsetree.Ast_410.Parsetree.expression ->
  Migrate_parsetree.Ast_410.Parsetree.expression

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

val sanitize : 
  t ->
  Migrate_parsetree.Ast_410.Parsetree.expression ->
  Migrate_parsetree.Ast_410.Parsetree.expression

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