Index of values


A
abstract [Pa_type_conv.Gen]
abstract loc patts body takes a location loc, a pattern list patts, and an expression body.
add_generator [Pa_type_conv]
add_generator ?is_exn name gen adds the code generator gen, which maps type or exception declarations to structure items, where is_exn specifies whether the declaration is an exception.
add_generator_with_arg [Pa_type_conv]
add_generator_with_arg ?is_exn name entry generator same as add_generator, but the generator may accept an argument, which is parsed with entry.
add_record_field_generator [Pa_type_conv]
add_record_field_generator gen_name gen adds the record field code generator gen with name gen_name, which acts on the location identifiying the record field.
add_record_field_generator_with_arg [Pa_type_conv]
add_record_field_generator_with_arg name entry generator same as add_record_field_generator, but the generator takes an argument, which is parsed with entry.
add_sig_generator [Pa_type_conv]
add_sig_generator ?is_exn name gen adds the code generator gen, which maps type or exception declarations to signature items, where is_exn specifies whether the declaration is an exception.
add_sig_generator_with_arg [Pa_type_conv]
add_sig_generator_with_arg ?is_exn name entry generator same as add_sig_generator, but the generator may accept an argument, which is parsed with entry.
apply [Pa_type_conv.Gen]
apply loc f_expr arg_exprs takes a location loc, an expression f_expr representing a function, and a list of argument expressions arg_exprs.

D
drop_variance_annotations [Pa_type_conv.Gen]
drop_variance_annotations tp

E
error [Pa_type_conv.Gen]
error tp ~fn ~msg raises an error with msg on type tp occuring in function fn.
exApp_of_list [Pa_type_conv.Gen]
expr_app_of_list l takes list l of expressions e1; e2; e3; ... and returns the expression e1 e2 e3.

F
find_record_default [Pa_type_conv.Gen]
find_record_default loc

G
gensym [Pa_type_conv.Gen]
gensym ?prefix () generates a fresh variable name with prefix.
get_appl_path [Pa_type_conv.Gen]
get_appl_path loc tp
get_conv_path [Pa_type_conv]
get_conv_path ()
get_loc_err [Pa_type_conv]
get_loc_err loc msg generates a compile-time error message.
get_rev_id_path [Pa_type_conv.Gen]
get_rev_id_path id acc takes an identifier.
get_tparam_id [Pa_type_conv.Gen]
get_tparam_id tp

H
hash_variant [Pa_type_conv]
hash_variant str

I
ident_of_rev_path [Pa_type_conv.Gen]
ident_of_rev_path loc path takes a location loc and a reversed path rev_path to an identifier.

M
mk_expr_lst [Pa_type_conv.Gen]
mk_expr_lst loc expr_list takes a list of expressions.
mk_patt_lst [Pa_type_conv.Gen]
mk_patt_lst _loc patt_list takes a list of patterns.

P
paOr_of_list [Pa_type_conv.Gen]
paOr_of_list l takes list l of patterns p1; p2; p3; ... and returns the pattern p1 | p2 | p3 | ...

R
rm_generator [Pa_type_conv]
rm_generator ?is_exn name removes the code generator named name for types if is_exn is false, or exceptions otherwise.
rm_record_field_generator [Pa_type_conv]
rm_record_field_generator name removes the record field code generator named name.
rm_sig_generator [Pa_type_conv]
rm_sig_generator ?is_exn name removes the signature code generator named name for types if is_exn is false, or exceptions otherwise.

S
set_conv_path_if_not_set [Pa_type_conv]
set_conv_path_if_not_set loc sets the path to the file/module being converted for improved error messages.
switch_tp_def [Pa_type_conv.Gen]
switch_tp_def ~alias ~sum ~record ~variants ~mani tp_def takes a handler function for each kind of type definition and applies the appropriate handler when tp_def matches.

T
tyArr_of_list [Pa_type_conv.Gen]
tyArr_of_list l takes list l of types e1; e2; e3; ... and returns the type e1 e2 e3.
ty_var_list_of_ctyp [Pa_type_conv.Gen]
ty_var_list_of_ctyp tp acc accumulates a list of type parameters contained in tp into acc as strings.
type_is_recursive [Pa_type_conv.Gen]
type_is_recursive ?short_circuit id tp

U
unknown_type [Pa_type_conv.Gen]
unknown_type tp fn type tp cannot be handled by function fn.