package ppx_conv_func
Library
Module
Module type
Parameter
Class
Class type
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
A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.
Three basic functors to generate the Matcher from a simple extension specification
module 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.
module 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.
val lambda :
Ppxlib.Location.t ->
Ppxlib.pattern list ->
Ppxlib.expression ->
Ppxlib.expression
module Gen_sig : sig ... end
module Gen_struct : sig ... end