Module Ppx_core__Extension.Expert

This module allows to declare extensions that do not produce a value of the context type. This is typically useful for extensions point that depends on more things from the context than the path and location.

type ('context, 'payload) t

Type of declared expert extensions.

The 'context type parameter describes where the extension is expected and the 'payload one what its payload should contain.

val declare : Ppx_core__.Import.string ‑> 'context Context.t ‑> (Ppx_core__.Import.payload, 'a, 'b) Ppx_core.Ast_pattern.t ‑> 'a ‑> ('context, 'b) t
val declare_with_path_arg : Ppx_core__.Import.string ‑> 'context Context.t ‑> (Ppx_core__.Import.payload, 'a, 'b) Ppx_core.Ast_pattern.t ‑> (arg:Ppx_core.Longident.t Ppx_core.Loc.t Ppx_core__.Import.option ‑> 'a) ‑> ('context, 'b) t
val convert : (_, 'a) t Ppx_core__.Import.list ‑> loc:Ppx_core.Location.t ‑> Ppx_core__.Import.extension ‑> 'a Ppx_core__.Import.option