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_sig_generator [Pa_type_conv] | add_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.
|
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.
|
| rm_sig_generator [Pa_type_conv] | rm_sig_generator name removes the code signature generator named
name.
|
S | |
| set_conv_path_if_not_set [Pa_type_conv] | |
| 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 id tp
|
U | |
| unknown_type [Pa_type_conv.Gen] | unknown_type tp fn type tp cannot be handled by function fn.
|