Extension (ppx_core.Ppx_core.Extension)

type (_, _) equality =

| Eq : ('a, 'a) equality

| Ne : (_, _) equality

module Context : sig ... end

type t

Type of declared extensions.

val declare : Ppx_core__.Import.string ‑> 'context Context.t ‑> (Ppx_core__.Import.payload, 'a, 'context) Ast_pattern.t ‑> (loc:Location.t ‑> path:Ppx_core__.Import.string ‑> 'a) ‑> t

declare name context pattern expander declares the extension names name for context.

expander is responsible for producing the code to replace the extension in the AST. It receives as argument:

loc: the location of the enclosing node. For instance for expression it is the pexp_loc field
path: the current module path

val declare_inline : Ppx_core__.Import.string ‑> 'context Context.t ‑> (Ppx_core__.Import.payload, 'a, 'context Ppx_core__.Import.list) Ast_pattern.t ‑> (loc:Location.t ‑> path:Ppx_core__.Import.string ‑> 'a) ‑> t

Inline the result of the expansion into its parent. Only works for these contexts:

class_field
class_type_field
signature_item
structure_item

module For_context : sig ... end

val filter_by_context : 'a Context.t ‑> t Ppx_core__.Import.list ‑> 'a For_context.t Ppx_core__.Import.list

Given a context and a list of extension expander, returns all the ones that are for this context.