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 _loc tp
|
G | |
| 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 | |
| ide [Pa_type_conv.Gen] | ide loc name
|
| 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.
|
| idp [Pa_type_conv.Gen] | idp loc name
|
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.
|
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 | |
| switch_tp_def [Pa_type_conv.Gen] | switch_tp_def loc ~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 | |
| 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 _loc id tp
|