Index of values

add_auto ?finalise templ sexp_of_exn registers exception S-expression converter sexp_of_exn for exceptions having same constructor as template templ, unless the number of stored handlers for the given template exceeds get_max_exn_tags (), in which case the handler will never be called.

add_slow sexp_of_exn registers exception S-expression converter sexp_of_exn and returns a handle.

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.

big_int_of_sexp sexp converts S-expression sexp to a value of type Big_int.big_int.

bigstring_of_sexp sexp converts S-expression sexp to a bigstring (character bigarray in C-layout).

bool_of_sexp sexp converts S-expression sexp to a value of type bool.

char_of_sexp sexp converts S-expression sexp to a value of type char.

conv f annot_sexp converts the S-expression associated with annotated S-expression annot_sexp using f.

create ?text_line ?text_char ?buf_pos ?global_offset ()

default_indent reference to default indentation level for human-readable conversions.

default_string_of_float reference to the default function used to convert floats to strings.

del_slow handle unregisters exception S-expression converter with handle handle.

extract_match tag n sexp

extract_pos n sexp

extract_rec name sexp

find_sexp annot_sexp sexp

float32_mat_of_sexp sexp converts S-expression sexp to a two-dimensional bigarray of 32-bit floats in Fortran-layout.

float32_vec_of_sexp sexp converts S-expression sexp to a one-dimensional bigarray of 32-bit floats in Fortran-layout.

float64_mat_of_sexp sexp converts S-expression sexp to a two-dimensional bigarray of 64-bit floats in Fortran-layout.

float64_vec_of_sexp sexp converts S-expression sexp to a one-dimensional bigarray of 64-bit floats in Fortran-layout.

float_of_sexp sexp converts S-expression sexp to a value of type float.

fun_of_sexp sexp

get ?path ?str sexp if path is provided, use it as path.

get_conv_exn ~file ~exc annot_sexp

set_max_exn_tags () return the maximum number of converters for exceptions with the same template.

get_range annot_sexp

get_sexp annot_sexp

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.

input_sexps ?parse_pos ?buf ic like Sexp_intf.S.Annotated.input_rev_sexps, but returns a list of annotated S-expressions.

input_rev_sexps ?parse_pos ?buf ic same as Sexp.input_sexps, but returns a reversed list of S-expressions, which is slightly more efficient.

input_sexp ?parse_pos ic like Sexp_intf.S.Annotated.input_sexp, but returns an annotated S-expression instead.

input_sexp ?parse_pos ic parses an S-expression from input channel ic using initial position information in parse_pos.

input_sexps ?parse_pos ?buf ic like Sexp_intf.S.Annotated.input_sexps, but returns a list of annotated S-expressions.

input_sexps ?parse_pos ?buf ic parses whitespace separated S-expressions from input channel ic until EOF is reached.

int32_of_sexp sexp converts S-expression sexp to a value of type int32.

int64_of_sexp sexp converts S-expression sexp to a value of type int64.

int_of_sexp sexp converts S-expression sexp to a value of type int.

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.

We re-export a tail recursive map function, because some modules override the standard library functions (e.g.

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.

load_rev_sexps ?buf file like Sexp_intf.S.Annotated.load_rev_sexps, but returns a list of annotated S-expressions.

load_rev_sexps ?buf file same as Sexp.load_sexps, but returns a reversed list of S-expressions, which is slightly more efficient.

load_sexp ?strict ?buf file like Sexp_intf.S.Annotated.load_sexp, but returns an annotated S-expression.

load_sexp ?strict ?buf file reads one S-expression from file using buffer buf for storing intermediate data.

load_sexp_conv ?strict ?buf file f like Sexp.load_sexp, but performs a conversion on the fly using f.

load_sexp_conv_exn ?strict ?buf file f like Sexp_intf.S.load_sexp_conv, but returns the converted value or raises Of_sexp_error with exact location information in the case of a conversion error.

load_sexps ?buf file like Sexp_intf.S.Annotated.load_sexps, but returns a list of annotated S-expressions.

load_sexps ?buf file reads a list of whitespace separated S-expressions from file using buffer buf for storing intermediate data.

load_sexps_conv ?buf file f like Sexp.load_sexps, but performs a conversion on the fly using f.

load_sexps_conv_exn ?buf file f like Sexp_intf.S.load_sexps_conv, but returns the converted value or raises Of_sexp_error with exact location information in the case of a conversion error.

mat_of_sexp sexp same as Conv.float64_mat_of_sexp.

nat_of_sexp sexp converts S-expression sexp to a value of type Nat.nat.

nativeint_of_sexp sexp converts S-expression sexp to a value of type nativeint.

num_of_sexp sexp converts S-expression sexp to a value of type Nat.num.

of_bigstring bstr same as Sexp_intf.S.Annotated.of_string, but operates on bigstrings.

of_bigstring bstr same as Sexp_intf.S.of_string, but operates on bigstrings.

of_bigstring_conv bstr conv like Sexp_intf.S.of_bigstring, but performs type conversion with conv.

of_bigstring_conv_exn bstr conv like Sexp_intf.S.of_bigstring_conv, but raises Sexp_intf.S.Of_string_conv_exn.E if type conversion fails.

of_sexp_error reason sexp

of_sexp_error exc sexp

of_string str same as Sexp_intf.S.Annotated.of_string, but returns an annotated S-expression.

of_string str converts string str to an S-expression.

of_string__of__of_sexp conv str converts the S-expression str represented as a string to an OCaml-value by using conversion function conv.

of_string_conv str conv like Sexp_intf.S.of_string, but performs type conversion with conv.

of_string_conv_exn str conv like Sexp_intf.S.of_string_conv, but raises Sexp_intf.S.Of_string_conv_exn.E if type conversion fails.

opaque_of_sexp sexp

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.

output oc sexp same as output_mach.

output_hum oc sexp outputs S-expression sexp to output channel oc in human readable form.

output_hum_indent indent oc sexp outputs S-expression sexp to output channel oc in human readable form using indentation level indent.

output_mach oc sexp outputs S-expression sexp to output channel oc in machine readable (i.e.

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.

parse ?parse_pos ?len str same as Sexp_intf.S.Annotated.parse, but returns an S-expression annotated with location information.

parse ?parse_pos ?len str (partially) parses an S-expression in string buffer str starting out with position information provided in parse_pos and reading at most len characters.

parse str

parse_bigstring ?parse_pos ?len str same as Sexp_intf.S.Annotated.parse_bigstring, but returns an S-expression annotated with location information.

parse_bigstring ?parse_pos ?len str same as Sexp_intf.S.parse, but operates on bigstrings.

pp ppf sexp same as pp_mach.

pp_hum ppf sexp outputs S-expression sexp to formatter ppf in human readable form.

pp_hum_indent n ppf sexp outputs S-expression sexp to formatter ppf in human readable form and indentation level n.

pp_mach ppf sexp outputs S-expression sexp to formatter ppf in machine readable (i.e.

ratio_of_sexp sexp converts S-expression sexp to a value of type Nat.ratio.

read_old_option_format reference for the default option format used to read option values.

record_check_extra_fields checks for extra (= unknown) fields in record S-expressions.

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.

replace ?path ?str sexp ~subst like get, but does not extract a sub-expression but substitutes it with subst.

replace_no_path ~str sexp ~subst like replace, but does not take optional arguments.

save ?perm file sexp same as Sexp_intf.S.save_mach.

save_hum ?perm file sexp outputs S-expression sexp to file in human readable form.

save_mach ?perm file sexp outputs S-expression sexp to file in machine readable (i.e.

save_sexps ?perm file sexp same as Sexp_intf.S.save_sexps_mach.

save_sexps_hum ?perm file sexps outputs S-expression list sexps to file in human readable form, each sexp being followed by a newline.

save_sexps_mach ?perm file sexps outputs S-expression list sexps to file in machine readable form, each sexp being followed by a newline.

scan_fold_sexps ?buf ~f ~init lexbuf folds over all whitespace separated S-expressions scanned from lex buffer lexbuf using function f, initial state init, and the optional string buffer buf for storing intermediate strings.

scan_iter_sexps ?buf ~f lexbuf iterates over all whitespace separated S-expressions scanned from lex buffer lexbuf using function f, and the optional string buffer buf for storing intermediate strings.

scan_rev_sexps ?buf lexbuf same as Sexp_intf.S.scan_sexps, but returns the reversed list and is slightly more efficient.

scan_sexp ?buf lexbuf scans an S-expression from lex buffer lexbuf using the optional string buffer buf for storing intermediate strings.

scan_sexps ?buf lexbuf reads a list of whitespace separated S-expressions from lex buffer lexbuf using the optional string buffer buf for storing intermediate strings.

scan_sexps_conv ?buf ~f lexbuf maps all whitespace separated S-expressions scanned from lex buffer lexbuf to some list using function f, and the optional string buffer buf for storing intermediate strings.

search_physical sexp ~contained

set_max_exn_tags n sets the maximum number of converters for exceptions with the same template to n.

sexp_of_array conv ar converts the value ar of type 'a array to an S-expression.

sexp_of_big_int n converts the value n of type Big_int.big_int to an S-expression.

sexp_of_bigstring bstr converts a bigstring (character bigarray in C-layout) to an S-expression.

sexp_of_bool b converts the value x of type bool to an S-expression.

sexp_of_char c converts the value c of type char to an S-expression.

sexp_of_exn exc converts exception exc to an S-expression.

sexp_of_exn_opt exc converts exception exc to Some sexp.

sexp_of_float n converts the value n of type float to an S-expression.

sexp_of_float32_mat mat converts the two-dimensional bigarray mat of 32-bit floats in Fortran-layout to an S-expression.

sexp_of_float32_vec vec converts the one-dimensional bigarray vec of 32-bit floats in Fortran-layout to an S-expression.

sexp_of_float64_mat mat converts the two-dimensional bigarray mat of 64-bit floats in Fortran-layout to an S-expression.

sexp_of_float64_vec vec converts the one-dimensional bigarray vec of 64-bit floats in Fortran-layout to an S-expression.

sexp_of_fun f converts the value f of function type to a dummy S-expression.

sexp_of_hashtbl conv_key conv_value htbl converts the value htbl of type ('a, 'b) Hashtbl.t to an S-expression.

sexp_of_int n converts the value n of type int to an S-expression.

sexp_of_int32 n converts the value n of type int32 to an S-expression.

sexp_of_int64 n converts the value n of type int64 to an S-expression.

sexp_of_lazy_t conv l converts the value l of type 'a lazy_t to an S-expression.

sexp_of_list conv lst converts the value lst of type 'a list to an S-expression.

sexp_of_mat mat same as Conv.sexp_of_float64_mat.

sexp_of_nat n converts the value n of type Nat.nat to an S-expression.

sexp_of_nativeint n converts the value n of type nativeint to an S-expression.

sexp_of_num n converts the value n of type Num.num to an S-expression.

sexp_of_opaque x converts the value x of opaque type to an S-expression.

sexp_of_option conv opt converts the value opt of type 'a option to an S-expression.

sexp_of_pair conv1 conv2 pair converts a pair to an S-expression.

sexp_of_ratio n converts the value n of type Ratio.ratio to an S-expression.

sexp_of_ref conv r converts the value r of type 'a ref to an S-expression.

sexp_of_bool str converts the value str of type string to an S-expression.

sexp_of_t sexp maps S-expressions which are part of a type with automated S-expression conversion to themselves.

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_unit () converts a value of type unit to an S-expression.

sexp_of_vec vec same as Conv.sexp_of_float64_vec.

size sexp

string_of__of__sexp_of conv x converts the OCaml-value x to an S-expression represented as a string by using conversion function conv.

string_of_sexp sexp converts S-expression sexp to a value of type string.

subst_found sexp ~subst found

subst_path sexp path

t_of_sexp sexp maps S-expressions which are part of a type with automated S-expression conversion to themselves.

to_buffer ~buf sexp same as Sexp_intf.S.to_buffer_mach.

to_buffer_gen ~buf ~add_char ~add_string sexp outputs the S-expression sexp converted to a string to buffer buf using the output functions add_char and add_string.

to_buffer_hum ~buf ?indent sexp outputs the S-expression sexp converted to a string in human readable form to buffer buf.

to_buffer_mach ~buf sexp outputs the S-expression sexp converted to a string in machine readable (i.e.

to_string cont_state converts state of parser continuation cont_state to a string.

to_string sexp same as to_string_mach.

to_string_hum ?indent sexp converts S-expression sexp to a string in human readable form with indentation level indent.

to_string_mach sexp converts S-expression sexp to a string in machine readable (i.e.

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.

unit the unit-value as expressed by an S-expression.

unit_of_sexp sexp converts S-expression sexp to a value of type unit.

vec_of_sexp sexp same as Conv.float64_vec_of_sexp.

with_buf_pos t pos

write_old_option_format reference for the default option format used to write option values.