Ppx_conv_func (p.ppx_conv_func.v0.14.0.doc.ppx_conv_func.Ppx_conv

Sourceval raise_unsupported : loc:Ppxlib.Location.t -> string -> 'a

type simple_processor =
  Ppxlib.Location.t ->
  field_name:string ->
  Ppxlib.expression

A simple processor that takes a field name and generates an expression for the contents of that field

Source

type recursive_processor =
  Ppxlib.Location.t ->
  field_name:string ->
  type_name:string ->
  path:Ppxlib.Longident.t option ->
  Ppxlib.expression

The recursive counter-part to the previous. Additional arguments are the type name and the a path to make recursive calls

Module types to specify an extension that does something with a record type

Sourcemodule type Simple = sig ... end

Sourcemodule type Complete = sig ... end

Sourcemodule type Complete_list = sig ... end

Sourcemodule type Matcher = sig ... end

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

Sourcemodule Of_simple (S : Simple) : Matcher

Three basic functors to generate the Matcher from a simple extension specification

Sourcemodule Of_complete (S : Complete) : Matcher

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

Sourcemodule Of_list (S : Complete_list) : Matcher

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

Source

val lambda : 
  Ppxlib.Location.t ->
  Ppxlib.pattern list ->
  Ppxlib.expression ->
  Ppxlib.expression

Sourcemodule Gen_sig : sig ... end

Sourcemodule Gen_struct : sig ... end