Utility Module for S-expression Conversions
val default_string_of_float : (float ‑> string) Pervasives.refdefault_string_of_float reference to the default function used
to convert floats to strings.
Initially set to fun n -> sprintf "%.20G" n.
val write_old_option_format : bool Pervasives.refwrite_old_option_format reference for the default option format
used to write option values. If set to true, the old-style option
format will be used, the new-style one otherwise.
Initially set to true.
val read_old_option_format : bool Pervasives.refread_old_option_format reference for the default option format
used to read option values. Of_sexp_error will be raised
with old-style option values if this reference is set to false.
Reading new-style option values is always supported. Using a global
reference instead of changing the converter calling conventions is
the only way to avoid breaking old code with the standard macros.
Initially set to true.
val list_map : ('a ‑> 'b) ‑> 'a list ‑> 'b listWe re-export a tail recursive map function, because some modules
override the standard library functions (e.g. StdLabels) which
wrecks havoc with the camlp4 extension.
val sexp_of_bool : bool ‑> Sexp.tsexp_of_bool b converts the value x of type bool to an
S-expression.
val sexp_of_string : string ‑> Sexp.tsexp_of_bool str converts the value str of type string to an
S-expression.
val sexp_of_bytes : bytes ‑> Sexp.tsexp_of_bool str converts the value str of type bytes to an
S-expression.
val sexp_of_char : char ‑> Sexp.tsexp_of_char c converts the value c of type char to an
S-expression.
val sexp_of_float : float ‑> Sexp.tsexp_of_float n converts the value n of type float to an
S-expression.
val sexp_of_int32 : int32 ‑> Sexp.tsexp_of_int32 n converts the value n of type int32 to an
S-expression.
val sexp_of_int64 : int64 ‑> Sexp.tsexp_of_int64 n converts the value n of type int64 to an
S-expression.
val sexp_of_nativeint : nativeint ‑> Sexp.tsexp_of_nativeint n converts the value n of type nativeint to an
S-expression.
sexp_of_ref conv r converts the value r of type 'a ref to
an S-expression. Uses conv to convert values of type 'a to an
S-expression.
sexp_of_lazy_t conv l converts the value l of type 'a lazy_t to
an S-expression. Uses conv to convert values of type 'a to an
S-expression.
sexp_of_option conv opt converts the value opt of type 'a
option to an S-expression. Uses conv to convert values of type
'a to an S-expression.
sexp_of_pair conv1 conv2 pair converts a pair to an S-expression.
It uses its first argument to convert the first element of the pair,
and its second argument to convert the second element of the pair.
sexp_of_triple conv1 conv2 conv3 triple converts a triple to
an S-expression using conv1, conv2, and conv3 to convert its
elements.
sexp_of_list conv lst converts the value lst of type 'a
list to an S-expression. Uses conv to convert values of type
'a to an S-expression.
sexp_of_array conv ar converts the value ar of type 'a
array to an S-expression. Uses conv to convert values of type
'a to an S-expression.
sexp_of_hashtbl conv_key conv_value htbl converts the value htbl
of type ('a, 'b) Hashtbl.t to an S-expression. Uses conv_key
to convert the hashtable keys of type 'a, and conv_value to
convert hashtable values of type 'b to S-expressions.
val sexp_of_opaque : 'a ‑> Sexp.tsexp_of_opaque x converts the value x of opaque type to an
S-expression. This means the user need not provide converters,
but the result cannot be interpreted.
val sexp_of_fun : ('a ‑> 'b) ‑> Sexp.tsexp_of_fun f converts the value f of function type to a
dummy S-expression. Functions cannot be serialized as S-expressions,
but at least a placeholder can be generated for pretty-printing.
exception Of_sexp_error of exn * Sexp.tOf_sexp_error (exn, sexp) the exception raised when an S-expression
could not be successfully converted to an OCaml-value.
val record_check_extra_fields : bool Pervasives.refrecord_check_extra_fields checks for extra (= unknown) fields
in record S-expressions.
val of_sexp_error : string ‑> Sexp.t ‑> 'aof_sexp_error reason sexp raises Of_sexp_error (Failure reason, sexp).
val unit_of_sexp : Sexp.t ‑> unitunit_of_sexp sexp converts S-expression sexp to a value of type
unit.
val bool_of_sexp : Sexp.t ‑> boolbool_of_sexp sexp converts S-expression sexp to a value of type
bool.
val string_of_sexp : Sexp.t ‑> stringstring_of_sexp sexp converts S-expression sexp to a value of type
string.
val bytes_of_sexp : Sexp.t ‑> bytesbytes_of_sexp sexp converts S-expression sexp to a value of type
bytes.
val char_of_sexp : Sexp.t ‑> charchar_of_sexp sexp converts S-expression sexp to a value of type
char.
val float_of_sexp : Sexp.t ‑> floatfloat_of_sexp sexp converts S-expression sexp to a value of type
float.
val int32_of_sexp : Sexp.t ‑> int32int32_of_sexp sexp converts S-expression sexp to a value of type
int32.
val int64_of_sexp : Sexp.t ‑> int64int64_of_sexp sexp converts S-expression sexp to a value of type
int64.
val nativeint_of_sexp : Sexp.t ‑> nativeintnativeint_of_sexp sexp converts S-expression sexp to a value
of type nativeint.
ref_of_sexp conv sexp converts S-expression sexp to a value
of type 'a ref using conversion function conv, which converts
an S-expression to a value of type 'a.
lazy_t_of_sexp conv sexp converts S-expression sexp to a value
of type 'a lazy_t using conversion function conv, which converts
an S-expression to a value of type 'a.
option_of_sexp conv sexp converts S-expression sexp to a value
of type 'a option using conversion function conv, which converts
an S-expression to a value of type 'a.
pair_of_sexp conv1 conv2 sexp converts S-expression sexp to a pair
of type 'a * 'b using conversion functions conv1 and conv2,
which convert S-expressions to values of type 'a and 'b
respectively.
triple_of_sexp conv1 conv2 conv3 sexp converts S-expression sexp
to a triple of type 'a * 'b * 'c using conversion functions conv1,
conv2, and conv3, which convert S-expressions to values of type
'a, 'b, and 'c respectively.
list_of_sexp conv sexp converts S-expression sexp to a value
of type 'a list using conversion function conv, which converts
an S-expression to a value of type 'a.
array_of_sexp conv sexp converts S-expression sexp to a value
of type 'a array using conversion function conv, which converts
an S-expression to a value of type 'a.
hashtbl_of_sexp conv_key conv_value sexp converts S-expression
sexp to a value of type ('a, 'b) Hashtbl.t using conversion
function conv_key, which converts an S-expression to hashtable
key of type 'a, and function conv_value, which converts an
S-expression to hashtable value of type 'b.
val opaque_of_sexp : Sexp.t ‑> 'aopaque_of_sexp sexp raises Of_sexp_error when attempting to
convert an S-expression to an opaque value.
val fun_of_sexp : Sexp.t ‑> 'afun_of_sexp sexp raises Of_sexp_error when attempting to
convert an S-expression to a function.
Exception converters
val sexp_of_exn : exn ‑> Sexp.tsexp_of_exn exc converts exception exc to an S-expression.
If no suitable converter is found, the standard converter in
Printexc will be used to generate an atomic S-expression.
val sexp_of_exn_opt : exn ‑> Sexp.t optionsexp_of_exn_opt exc converts exception exc to Some sexp.
If no suitable converter is found, None is returned instead.
module Exn_converter : sig ... end