Module Ppx_conv_func

val 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

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

module type Simple : sig ... end

module type Complete : sig ... end

module type Complete_list : sig ... end

module type Matcher : sig ... end

module Of_simple : functor (S : Simple) -> Matcher

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

module Of_complete : functor (S : Complete) -> Matcher

module Of_list : functor (S : Complete_list) -> Matcher

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

module Gen_sig : sig ... end

module Gen_struct : sig ... end