C | |
| contains_substring [Xstr_search] | contains_substring s substr: true iff substr occurs in s |
| contains_substring_from [Xstr_search] | contains_substring_from s k_left substr: true iff substr occurs in s at index k_left or later |
F | |
| found_string_of_var [Xstr_match] | |
I | |
| index_of_substring [Xstr_search] | index_of_substring s substr: finds the leftmost index where 'substr' occurs within s or raises Not_found. |
| index_of_substring_from [Xstr_search] | index_of_substring_from s k_left substr: finds the leftmost index >= k_left where 'substr' occurs within s or raises Not_found. |
| indexlist_of_substring [Xstr_search] | indexlist_of_substring s substr: Returns a list of all indexes of substrings substr in s |
M | |
| match_string [Xstr_match] | |
| mknegset [Xstr_match] | |
| mkset [Xstr_match] | |
R | |
| rcontains_substring_from [Xstr_search] | rcontains_substring_from s k_right substr: true iff substr occurs in s at index k_right or earlier |
| replace_char [Xstr_search] | replace_char s rule: replaces characters in s according to rule. |
| replace_matched_substrings [Xstr_match] | |
| replace_substring [Xstr_search] | replace_substring s substrlist rule: replaces all occurences of substrings in 's' which are enumerated in 'substrlist' by applying 'rule'. |
| rev_concat [Xstr_search] | rev_concat s l = String.concat s (List.rev l) |
| rindex_of_substring [Xstr_search] | eindex_of_substring s substr: finds the rightmost index where 'substr' occurs within s or raises Not_found. |
| rindex_of_substring_from [Xstr_search] | eindex_of_substring_from s k_right substr: finds the rightmost index <= k_right where 'substr' occurs within s or raises Not_found. |
S | |
| split_string [Xstr_split] | |
| string_of_var [Xstr_match] | |
V | |
| var [Xstr_match] | |
| var_matched [Xstr_match] |