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] |