Module Pa_type_conv


module Pa_type_conv: sig .. end
Pa_type_conv: Preprocessing Module for Registering Type Conversions


Generator registration

val add_generator : string -> (Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.str_item) -> unit
add_generator name gen adds the code generator gen, which maps type declarations to structure items. Note that the original type declaration get added automatically in any case.
val rem_generator : string -> unit
rem_generator name removes the code generator named name.
val add_sig_generator : string -> (Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.sig_item) -> unit
add_generator name gen adds the code generator gen, which maps type declarations to signature items. Note that the original type declaration get added automatically in any case.
val rem_sig_generator : string -> unit
rem_sig_generator name removes the code signature generator named name.
val get_conv_path : unit -> string
get_conv_path ()
Returns the name to module containing a type as required for error messages.

Utility functions

val get_loc_err : Camlp4.PreCast.Ast.Loc.t -> string -> string
get_loc_err loc msg generates a compile-time error message.
val hash_variant : string -> int
hash_variant str
Returns the integer encoding a variant tag with name str.

General purpose code generation module

module Gen: sig .. end