Index of values


(+>) [Flx_util]
reverse application

A
add_child [Flx_child]
add_prop [Flx_prop]
add_use [Flx_foldvars]
adjust_ts [Flx_generic]
all_chars [Inria_cset]
all_chars_eof [Inria_cset]
all_units [Flx_typing]
all_units0 [Flx_typing]
all_voids [Flx_typing]
append [Flx_dlst]
atom [Flx_parse]
axiom_check [Flx_axiom]

B
bbind [Flx_bbind]
bcat [Flx_util]
synonym for Buffer.add_string
beta_reduce [Flx_beta]
bin_char2int [Flx_string]
binbig_int_of_string [Flx_string]
bind_exes [Flx_bexe]
bind_expression [Flx_lookup]
bind_expression_with_args [Flx_lookup]
bind_ifaces [Flx_bbind]
bind_regdef [Flx_lookup]
bind_type [Flx_lookup]
binint_of_string [Flx_string]
build_env [Flx_lookup]
build_tables [Flx_symtab]
build_type_constraints [Flx_tconstraint]

C
c_quote_of_string [Flx_string]
cal_children [Flx_child]
cal_display [Flx_display]
cal_exe_usage [Flx_call]
cal_expr_usage [Flx_call]
cal_param_usage [Flx_call]
cal_use_closure [Flx_use]
call_data [Flx_call]
cat [Flx_util]
synonym for String.concat
catch [Flx_exceptions]
catch_all [Flx_util]
convert exception to option
catmap [Flx_util]
String.concat sep (map fun lst)
ce [Flx_cexpr]
ce_array [Flx_cexpr]
ce_arrow [Flx_cexpr]
ce_atom [Flx_cexpr]
ce_call [Flx_cexpr]
ce_cast [Flx_cexpr]
ce_cond [Flx_cexpr]
ce_dot [Flx_cexpr]
ce_expr [Flx_cexpr]
ce_infix [Flx_cexpr]
ce_new [Flx_cexpr]
ce_postfix [Flx_cexpr]
ce_prefix [Flx_cexpr]
ce_top [Flx_cexpr]
chain_gotos [Flx_cflow]
charset_inv [Flx_charset]
charset_of_int_range [Flx_charset]
charset_of_range [Flx_charset]
charset_of_string [Flx_charset]
charset_union [Flx_charset]
check_global_vars_all_used [Flx_global]
check_key [Flx_getopt]
check_key_value [Flx_getopt]
check_keys [Flx_getopt]
check_recursion [Flx_unify]
check for bad recursions
child_use_closure [Flx_call]
cid_of_flxid [Flx_name]
mangle a Felix identifier to a C one
clierr [Flx_exceptions]
clierr2 [Flx_exceptions]
clierrn [Flx_exceptions]
cmp_literal [Flx_typing]
cmp_tbexpr [Flx_typing]
collate_namespaces [Flx_colns]
compare_sigs [Flx_unify]
compare type for structural/unificational ordering
compilation_unit [Flx_parse]
complement [Inria_cset]
compound [Flx_parse]
concat [Flx_dlst]
cons [Flx_dlst]
const_fold [Flx_constfld]
copy_used [Flx_use]
cpp_instance_name [Flx_name]
cpp_ltypename [Flx_name]
cpp_name [Flx_name]
cpp_type_classname [Flx_name]
cpp_typename [Flx_name]
create [Inria_table]
create_label_map [Flx_label]
create_label_usage [Flx_label]
csubst [Flx_csubst]

D
dec_char2int [Flx_string]
decbig_int_of_string [Flx_string]
decint_of_string [Flx_string]
descendants [Flx_child]
desugar_program [Flx_desugar]
dfwd [Flx_dlst]
diff [Inria_cset]
dir_rev [Flx_dlst]
dlst_dir [Flx_dlst]
dlst_fwd [Flx_dlst]
dlst_lst [Flx_dlst]
dlst_map [Flx_dlst]
dlst_rev [Flx_dlst]
do_unify [Flx_unify]
check if the two types unify: update the variable definitions in sym_state ??? Only useful if type variables are global, which is the function return type unknown variable case..
drev [Flx_dlst]
dual [Flx_unify]
construct the dual of a type
dummy_sr [Flx_srcref]

E
emit [Inria_table]
emit_whycode [Flx_why]
empty [Inria_cset]
env_to_array [Inria_cset]
eof [Inria_cset]
eol [Flx_charset]
escape_of_string [Flx_string]
eval_module_expr [Flx_lookup]
exes_get_xclosures [Flx_tailit]
expand_expression [Flx_macro]
expand_expr is a special hook used to perform constant folding and desugaring in the preprocessor
expand_macros [Flx_macro]
expr [Flx_parse]
expr_maybe_matches [Flx_unify]
expr_term_subst [Flx_unify]
expr_uses [Flx_call]
expression [Flx_parse]
exprx [Flx_parse]

F
filetime [Flx_filesys]
final_tailcall_opt [Flx_cflow]
find_children [Flx_child]
find_file [Flx_filesys]
find_file_in_path [Flx_filesys]
find_label [Flx_label]
find_members [Flx_gen]
find_references [Flx_ogen]
find_roots [Flx_use]
find_split_vs [Flx_generic]
find_thread_vars_with_type [Flx_ogen]
find_vs [Flx_generic]
fix [Flx_util]
fixpoint combinator
fixup_typeclass_instance [Flx_typeclass]
fixup_typeclass_instances [Flx_typeclass]
float_literal [Flx_parse]
floating_of_string [Flx_string]
flx_bbool [Flx_typing]
flx_bool [Flx_typing]
fold [Flx_unify]
undo an unfold
fold_vars [Flx_foldvars]
format_vars [Flx_gen]
full_string_of_entry_kind [Flx_print]
full_string_of_entry_set [Flx_print]
full_use_closure [Flx_use]
funparamtype [Flx_typing]

G
gen_biface_bodies [Flx_gen]
gen_biface_headers [Flx_gen]
gen_body [Flx_spexes]
gen_ctor [Flx_ctorgen]
gen_elk_lexer [Flx_elkgen]
gen_elk_parser [Flx_elkgen]
gen_execute_methods [Flx_gen]
gen_expr [Flx_egen]
gen_expr' [Flx_egen]
gen_extractor [Flx_mbind]
gen_function_names [Flx_gen]
gen_functions [Flx_gen]
gen_match_check [Flx_mbind]
gen_offset_tables [Flx_ogen]
gen_prim_call [Flx_pgen]
gen_type_names [Flx_tgen]
gen_types [Flx_tgen]
genprec [Flx_cexpr]
get [Inria_table]
get_display_list [Flx_display]
get_felix_options [Flx_flxopt]
get_key_value [Flx_getopt]
get_key_values [Flx_getopt]
get_keys_values [Flx_getopt]
get_label_kind [Flx_label]
get_label_kind_from_index [Flx_label]
get_pattern_vars [Flx_mbind]
get_ref_ref [Flx_egen]
get_var_ref [Flx_egen]
get_vs [Flx_prop]

H
handle_preprocessor [Flx_preproc]
hashtable_of_list [Flx_util]
make a hashtable from an assoc list
heavy_inlining [Flx_inline]
hex2 [Flx_string]
hex4 [Flx_string]
hex8 [Flx_string]
hex_char2int [Flx_string]
hexbig_int_of_string [Flx_string]
hexint_of_string [Flx_string]

I
include_directive [Flx_preproc]
include_file [Flx_desugar]
instantiate [Flx_inst]
int_of_unitsum [Flx_typing]
integer_literal [Flx_parse]
inter [Inria_cset]
interval [Inria_cset]
intset_of_list [Flx_mtypes1]
is_ancestor [Flx_child]
is_child [Flx_child]
is_digit [Flx_preproc]
is_empty [Inria_cset]
is_gc_pointer [Flx_gen]
is_in_string [Flx_preproc]
is_recursive [Flx_call]
is_recursive_call [Flx_call]
is_some [Flx_util]
test if option not None
is_unitsum [Flx_typing]
is_universal [Flx_pat]
is_white [Flx_preproc]
iter [Inria_table]
iter_b0type [Flx_maps]
iter_bexe [Flx_maps]
iter_btype [Flx_maps]
iter_tbexpr [Flx_maps]

L
lift [Flx_typing]
line_directive [Flx_preproc]
list_assoc_index [Flx_util]
list_index [Flx_util]
position in list of value
list_last [Flx_util]
last element of list
list_omap [Flx_util]
forward order map
list_prefix [Flx_util]
first n elements of a list
list_subst [Flx_unify]
replace variables in the term using the mapping in a list
long_string_of_src [Flx_srcref]
lookup_code_in_env [Flx_lookup]
lookup_name_in_env [Flx_lookup]
lookup_name_in_htab [Flx_lookup]
lookup_qn_in_env [Flx_lookup]
lookup_qn_in_env2 [Flx_lookup]
lookup_qn_with_sig [Flx_lookup]
lookup_sn_in_env [Flx_lookup]
lower [Flx_typing]
lstrip [Flx_unify]
lstrip t returns t all lvalue combinators elided

M
make_closures [Flx_mkcls]
make_dfa [Inria_lexgen]
make_params [Flx_generic]
make_stack_calls [Flx_stack_calls]
make_syms [Flx_flxopt]
make_varmap [Flx_generic]
map_b0type [Flx_maps]
map_bexe [Flx_maps]
map_btype [Flx_maps]
map_expr [Flx_maps]
map_flx_keywords [Flx_keywords]
map_tbexpr [Flx_maps]
map_type [Flx_maps]
maybe_fixup_typeclass_instance [Flx_typeclass]
maybe_matches [Flx_unify]
obtain the mgu of a set of type equations, for matching parameters against arguments: allows special subtyping for lvalues
maybe_specialisation [Flx_unify]
maybe_unification [Flx_unify]
obtain the mgu of a set of type equations
metatype [Flx_beta]
minimise [Flx_unify]
mk_varmap [Flx_unify]
make a varmap using vs and ts list
monomorphise [Flx_mono]

N
name_of_token [Flx_prelex]
nlist [Flx_util]
list of n integers 0 to n-1
normalise_type [Flx_unify]
normalise returns count of the type variables occuring in a type, and the type rewritten so the type variables are systematically numbered from 0 - n-1

O
oct_char2int [Flx_string]
octbig_int_of_string [Flx_string]
octint_of_string [Flx_string]
overload [Flx_overload]

P
paramtype [Flx_typing2]
parse_file [Flx_parse_ctrl]
parse_line [Flx_lex]
parse_option [Flx_getopt]
parse_options [Flx_getopt]
parse_string [Flx_parse_ctrl]
parse_tokens [Flx_tok]
parse_utf8 [Flx_string]
pre_flx_lex [Flx_lex]
pre_tokens_of_filename [Flx_pretok]
pre_tokens_of_lexbuf [Flx_preproc]
pre_tokens_of_string [Flx_pretok]
pre_tokens_of_string [Flx_preproc]
prepend [Flx_dlst]
print_bvs [Flx_print]
print_call_report [Flx_call]
print_chosen [Flx_flxopt]
print_env [Flx_print]
print_env_short [Flx_print]
print_function [Flx_print]
print_function_body [Flx_print]
print_functions [Flx_print]
print_ivs [Flx_print]
print_ivs_with_index [Flx_print]
print_name_table [Flx_print]
print_options [Flx_flxopt]
print_pre_tokens [Flx_tok]
print_tokens [Flx_tok]
print_vs [Flx_print]
process_regexp [Flx_dfa]
py_dquote_of_string [Flx_string]
py_quote_of_string [Flx_string]

Q
qualified_name_of_expr [Flx_typing]
qualified_name_of_index [Flx_print]

R
rdp_alternatives_exhausted [Flx_exceptions]
rdp_match_fail [Flx_exceptions]
recal_exes_usage [Flx_spexes]
reduce_bexe [Flx_maps]
reduce_exes [Flx_reduce]
reduce_tbexpr [Flx_maps]
reduce_type [Flx_maps]
regen [Flx_regen]
regexp_dot [Flx_charset]
regexp_of_charset [Flx_charset]
regexp_underscore [Flx_charset]
register_tuple [Flx_treg]
register_type_nr [Flx_treg]
register_type_r [Flx_treg]
rem_prop [Flx_prop]
remap_expr [Flx_reparent]
remove_child [Flx_child]
remove_useless_reductions [Flx_reduce]
reparent1 [Flx_reparent]
reparent_children [Flx_reparent]
resolve_overload [Flx_lookup]
retok_parser_tokens [Flx_keywords]
rsexpr [Flx_srcref]
rslist [Flx_srcref]
rsrange [Flx_srcref]
rstoken [Flx_srcref]

S
sbe [Flx_print]
sbt [Flx_print]
sbx [Flx_print]
sc [Flx_cexpr]
scan_expr [Flx_maps]
semi [Flx_parse]
set_globals [Flx_global]
shape_of [Flx_pgen]
short_string_of_src [Flx_srcref]
si [Flx_util]
synonym for string_of_int
singleton [Inria_cset]
size [Inria_table]
slift [Flx_srcref]
spaces [Flx_util]
n spaces
special_string_of_typecode [Flx_print]
specialise_symbol [Flx_reparent]
src_of_bexe [Flx_srcref]
src_of_expr [Flx_srcref]
src_of_pat [Flx_srcref]
src_of_qualified_name [Flx_srcref]
src_of_stmt [Flx_srcref]
src_of_suffixed_name [Flx_srcref]
src_of_token [Flx_prelex]
st [Flx_print]
statement [Flx_parse]
statementsx [Flx_parse]
strabs [Flx_strabs]
strd [Flx_display]
string_literal [Flx_parse]
string_of_arguments [Flx_print]
string_of_ast_term [Flx_print]
string_of_bbdcl [Flx_print]
string_of_bexe [Flx_print]
string_of_bigint [Flx_print]
string_of_bound_expression [Flx_print]
string_of_bound_expression_with_type [Flx_print]
string_of_bquals [Flx_print]
string_of_btypecode [Flx_print]
string_of_cdecl_type [Flx_ctype]
string_of_cexpr [Flx_cexpr]
string_of_characters [Inria_cset]
string_of_compilation_unit [Flx_print]
string_of_ctype [Flx_ctype]
string_of_dcl [Flx_print]
string_of_desugared [Flx_print]
string_of_entry_kind [Flx_print]
string_of_entry_set [Flx_print]
string_of_exe [Flx_print]
string_of_expr [Flx_print]
string_of_intset [Flx_mtypes1]
string_of_literal [Flx_print]
string_of_myentry [Flx_print]
string_of_parameters [Flx_print]
string_of_pattern [Flx_print]
string_of_properties [Flx_print]
string_of_qualified_name [Flx_print]
string_of_statement [Flx_print]
string_of_string [Flx_print]
string_of_suffixed_name [Flx_print]
string_of_symdef [Flx_print]
string_of_token [Flx_prelex]
string_of_tpattern [Flx_print]
string_of_typecode [Flx_print]
string_of_varlist [Flx_print]
stringset_map [Flx_mtypes1]
strip_us [Flx_preproc]
sye [Flx_typing]
syserr [Flx_exceptions]

T
tailable [Flx_cflow]
tailit [Flx_tailit]
tcinst_chk [Flx_typeclass]
terminate [Flx_terminate]
terminate the top level program in case of error
translate [Flx_lex1]
translate_preprocessor [Flx_lex1]
transpose [Flx_util]
hmmm
trim [Inria_table]
tsbe [Flx_print]
tsubst [Flx_unify]
replace variables using vs and ts list to determine mapping
type_eq [Flx_unify]
compare for iso-equality
type_match [Flx_unify]
compare parameter with argument type, argument may have extra lvalue in it
type_of_argtypes [Flx_typing]
type_of_tpattern [Flx_tpat]
typeclass_instance_check [Flx_typeclass]
typecode_of_expr [Flx_typing2]
typecodeset_map [Flx_mtypes2]
typecodeset_of_list [Flx_mtypes2]
typeof_list [Flx_typing2]
typeof_literal [Flx_lookup]
typeofbps [Flx_typing]
typeofbps_traint [Flx_typing]
typeofindex [Flx_lookup]
typeofindex_with_ts [Flx_lookup]
typeoflist [Flx_typing]
types_of_cformat_string [Flx_cformat]

U
ucs_id_ranges [Flx_id]
unescape [Flx_string]
unfold [Flx_unify]
unfold t returns t with each fix variable denoting t replaced with t
unification [Flx_unify]
obtain the mgu of a set of type equations with specified dependent variable set, throws Not_found if cannot unify
unifies [Flx_unify]
test if two types unify
union [Inria_cset]
uniq_cat [Flx_util]
add elements to unique list
uniq_list [Flx_util]
make a list of unique elements
unravel [Flx_unravel]
use_closure [Flx_call]
utf8_of_int [Flx_string]
utf8_to_ucn [Flx_id]

V
validate_patterns [Flx_pat]
var_i_occurs [Flx_unify]
check for a particular variable
var_list_occurs [Flx_unify]
check for variables
var_occurs [Flx_unify]
check for variables
varmap_subst [Flx_unify]
replace variables in the term using the mapping in the hashtable
version_data [Flx_version]
vsplice [Flx_reparent]