package ppx_conv_func
-
ppx_conv_func
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package ppx_conv_func
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val raise_unsupported : loc:Ppxlib.Location.t -> string -> 'atype simple_processor =
Ppxlib.Location.t ->
field_name:string ->
Ppxlib.expressionA 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.expressionThe 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 ... endmodule type Complete = sig ... endmodule type Complete_list = sig ... endmodule type Matcher = sig ... endA 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) : MatcherA 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) : MatcherA 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.expressionmodule Gen_sig : sig ... endmodule Gen_struct : sig ... end