package ppx_conv_func

  1. Overview
  2. Docs
val raise_unsupported : loc:Location.t -> string -> 'a
type simple_processor = Location.t -> field_name:string -> Parsetree.expression

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

type recursive_processor = Location.t -> field_name:string -> type_name:string -> path:Longident.t option -> Parsetree.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

module type Simple = sig ... end
module type Complete = sig ... end
module type Complete_list = sig ... end
module 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.

module Of_simple (S : Simple) : Matcher

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

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

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

module Gen_sig : sig ... end
module Gen_struct : sig ... end
OCaml

Innovation. Community. Security.