Index of values


A
add [USet]
add [UMap]
add ?eq u v m returns the new map which is same to m except it maps u to some value v' which satisfies eq v v'.
add [ISet]
add [IMap]
add [Main.Type.UMap]
add ?eq u1 u2 v m returns the new map which is same to m except it maps characters in the range u1-u2 to some value v' which satisfies eq v v'.
add [Main.Type.USet]
add_range u1 u2 s adds the characters in the range u1 - u2 to s.
add [Main.Type.IMap]
add [Main.Type.ISet]
add_array [XArray]
add_array [Main.Type.XArray]
add_buffer [XString.Buf]
add_buffer [UnicodeString.Type.Buf]
add_buffer [UText.Buf]
add_buffer [UTF8.Buf]
add_buffer b1 b2 adds the contents of b2 to b1.
add_buffer [UTF16.Buf]
add_buffer [UCS4.Buf]
add_buffer [SubText.Type.Buf]
add_buffer [UNF.Type.NFCBuf]
add_buffer [Main.Type.UCS4.Buf]
add_buffer [Main.Type.UTF16.Buf]
add_buffer [Main.Type.UTF8.Buf]
add_buffer [Main.Type.SubText.Type.Buf]
add_buffer [Main.Type.XString.Buf]
add_buffer [Main.Type.UText.Buf]
add_buffer [Main.Type.UnicodeString.Type.Buf]
add_char [XString.Buf]
add_char [XString]
add_char [UnicodeString.Type.Buf]
add_char [UText.Buf]
add_char [UTF8.Buf]
Add one Unicode character to the buffer.
add_char [UTF16.Buf]
if the character is not representable, raise Out_of_range
add_char [UCS4.Buf]
add_char [SubText.Type.Buf]
add_char [UNF.Type.NFCBuf]
add_char [Main.Type.UCS4.Buf]
add_char [Main.Type.UTF16.Buf]
add_char [Main.Type.UTF8.Buf]
Add the UTF-8 string to the buffer.
add_char [Main.Type.SubText.Type.Buf]
add_char [Main.Type.XString.Buf]
add_char [Main.Type.XString]
add_char [Main.Type.UText.Buf]
add_char [Main.Type.UnicodeString.Type.Buf]
add_element [XArray]
add_element [Main.Type.XArray]
add_range [USet]
add_range u1 u2 s adds the characters in the range u1 - u2 to s.
add_range [UMap]
add ?eq u1 u2 v m returns the new map which is same to m except it maps characters in the range u1-u2 to some value v' which satisfies eq v v'.
add_range [ISet]
add_range [IMap]
add_range [Main.Type.UMap]
add_range [Main.Type.USet]
add_range [Main.Type.IMap]
add_range [Main.Type.ISet]
add_string [XString.Buf]
add_string [UnicodeString.Type.Buf]
add_string [UText.Buf]
add_string [UTF8.Buf]
Add the UTF-8 string to the buffer.
add_string [UTF16.Buf]
add_string [UCS4.Buf]
add_string [SubText.Type.Buf]
add_string [UNF.Type.NFCBuf]
add_string [Main.Type.UCS4.Buf]
add_string [Main.Type.UTF16.Buf]
add_string [Main.Type.UTF8.Buf]
add_buffer b1 b2 adds the contents of b2 to b1.
add_string [Main.Type.SubText.Type.Buf]
add_string [Main.Type.XString.Buf]
add_string [Main.Type.UText.Buf]
add_string [Main.Type.UnicodeString.Type.Buf]
add_text [XString]
add_text [Main.Type.XString]
add_xarray [XArray]
add_xarray [Main.Type.XArray]
add_xstring [XString]
add_xstring [Main.Type.XString]
after [USet]
after u s returns the set of elements of s whose code points are greater than u.
after [UMap]
after u m restricts the domain of m to the characters whose code points are greater than u.
after [ISet]
after [IMap]
after [Main.Type.UMap]
until u m restricts the domain of m to the characters whose code points are equal or smaller than u.
after [Main.Type.USet]
until u s returns the set of elements of s whose code points are equal or smaller than u.
after [Main.Type.IMap]
after [Main.Type.ISet]
alias [CharEncoding.Interface]
alias alias name : Define alias as an alias of the encoding with the name name.
append [XString]
append [XArray]
append [UText]
append [Main.Type.XString]
append [Main.Type.UText]
append [Main.Type.XArray]
array_of [XArray]
array_of [Main.Type.XArray]
ascii [CharEncoding.Interface]
automatic [CharEncoding.Interface]
automatic name [enc_1; enc_2; ... enc_n] enc creates the new encoding name doing automatic encoding detection among enc_1, enc_2, ..., enc_n by the given order.

B
before [USet]
until u s returns the set of elements of s whose code points are smaller than u.
before [UMap]
before u m restricts the domain of m to the characters whose code points are smaller than u.
before [ISet]
before [IMap]
before [Main.Type.UMap]
before [Main.Type.USet]
before [Main.Type.IMap]
before [Main.Type.ISet]
blit [UText]
blit [Main.Type.UText]

C
canon_compare [UNF.Type]
cardinal [USet]
cardinal [ISet]
cardinal [Main.Type.USet]
cardinal [Main.Type.ISet]
casefolding [CaseMap.Type]
Case foldding
char_of [UChar]
char_of u returns the Latin-1 representation of u.
char_of [Main.Type.UChar]
of_char c returns the Unicode character of the Latin-1 character c
char_stream_of [CharEncoding.Interface]
char_stream_of enc uchars converts the Unicode character stream uchars to the byte stream by the encoding enc
choose [USet]
Returns a element roughly in the middle of the set.
choose [ISet]
choose [Main.Type.USet]
choose [Main.Type.ISet]
chr [UChar]
code n returns the Unicode character with the code number n.
chr [Main.Type.UChar]
uint_code u returns the Unicode code number of u.
chr_of_uint [UChar]
chr_of_uint n returns the Unicode character of the code number n.
chr_of_uint [Main.Type.UChar]
Equality by code point comparison
clear [XString.Buf]
clear [XString]
clear [XArray]
clear [UnicodeString.Type.Buf]
clear [UText.Buf]
clear [UTF8.Buf]
Empty the buffer, but retains the internal storage which was holding the contents
clear [UTF16.Buf]
clear [UCS4.Buf]
clear [SubText.Type.Buf]
clear [UNF.Type.NFCBuf]
clear [Main.Type.UCS4.Buf]
clear [Main.Type.UTF16.Buf]
clear [Main.Type.UTF8.Buf]
Empty the buffer and de-allocate the internal storage.
clear [Main.Type.SubText.Type.Buf]
clear [Main.Type.XString.Buf]
clear [Main.Type.XString]
clear [Main.Type.UText.Buf]
clear [Main.Type.UnicodeString.Type.Buf]
clear [Main.Type.XArray]
code [UChar]
code u returns the Unicode code number of u.
code [Main.Type.UChar]
code n returns the Unicode character with the code number n.
combined_class [UCharInfo.Type]
Combined class A combined class is an integer of 0 -- 255, showing how this character interacts to other combined characters.
compare [XString]
compare [UnicodeString.Type]
compare [UText]
compare [UTF8]
Code point comparison by the lexicographic order.
compare [UTF16]
Code point comparison
compare [USet]
compare [UChar]
compare u1 u2 returns, a value > 0 if u1 has a larger Unicode code number than u2, 0 if u1 and u2 are the same Unicode character, a value < 0 if u1 has a smaller Unicode code number than u2.
compare [UCS4]
Code point comparison
compare [ISet]
compare [SubText.Type]
compare [UCol.Type]
For locale, see Locale.
compare [Main.Type.UCS4]
Buffer module for UCS4
compare [Main.Type.UTF16]
Buffer module for UTF-16
compare [Main.Type.UTF8]
Buffer module for UTF-8 strings
compare [Main.Type.SubText.Type]
compare [Main.Type.XString]
compare [Main.Type.UText]
compare [Main.Type.UnicodeString.Type]
The location of the first character in the storage.
compare [Main.Type.USet]
compare [Main.Type.UChar]
Aliases of type t
compare [Main.Type.ISet]
compare_caseless [CaseMap.Type]
Caseless comparison
compare_index [XString]
compare_index [XArray]
compare_index [UnicodeString.Type]
compare_index t i j returns a positive integer if i is the location placed after j in t, 0 if i and j point the same location, and a negative integer if i is the location placed before j in t.
compare_index [UText]
compare_index [UTF8]
compare_index s i1 i2 returns a value < 0 if i1 is the position located before i2, 0 if i1 and i2 points the same location, a value > 0 if i1 is the position located after i2.
compare_index [UTF16]
compare_aux s i1 i2 returns If i1 is the position located before i2, a value < 0,, If i1 and i2 points the same location, 0,, If i1 is the position located after i2, a value > 0.
compare_index [UCS4]
compare_aux s i1 i2 returns If i1 is the position located before i2, a value < 0, If i1 and i2 points the same location, 0, If i1 is the position located after i2, a value > 0.
compare_index [SubText.Type]
compare_index [Main.Type.UCS4]
next s i returns the position of the head of the Unicode character located immediately after i.
compare_index [Main.Type.UTF16]
next s i returns the position of the head of the Unicode character located immediately after i.
compare_index [Main.Type.UTF8]
next s i returns the position of the head of the Unicode character located immediately after i.
compare_index [Main.Type.SubText.Type]
compare_index [Main.Type.XString]
compare_index [Main.Type.UText]
compare_index [Main.Type.UnicodeString.Type]
Character buffers.
compare_index [Main.Type.XArray]
compare_with_key [UCol.Type]
Comparison with the sort key.
compile [URe.Type]
Compile regular expressions.
compile [UReStr.Interface.Type]
Compile regular expressions.
compile [Main.Type.URe.Type]
regexp_match ?sem r t i tries matching r and substrings of t beginning from i.
compl [USet]
compl s returns the compliment of s.
compl [ISet]
compl [Main.Type.USet]
compl [Main.Type.ISet]
contain [Locale]
contain loc1 loc2 : If loc1 is contained in loc2 then true otherwise false.
contain [Main.Type.Locale]
contents [XString.Buf]
contents [UnicodeString.Type.Buf]
contents [UText.Buf]
contents [UTF8.Buf]
contents buf returns the contents of the buffer.
contents [UTF16.Buf]
contents [UCS4.Buf]
contents [SubText.Type.Buf]
contents [UNF.Type.NFCBuf]
contents [Main.Type.UCS4.Buf]
contents [Main.Type.UTF16.Buf]
contents [Main.Type.UTF8.Buf]
contents buf returns the contents of the buffer.
contents [Main.Type.SubText.Type.Buf]
contents [Main.Type.XString.Buf]
contents [Main.Type.UText.Buf]
contents [Main.Type.UnicodeString.Type.Buf]
contents_string [UText.Buf]
contents_string [Main.Type.UText.Buf]
context [SubText.Type]
context t returns the tuple (s, i, j) such that t = refer s i j.
context [Main.Type.SubText.Type]
Conversion from indexes of sub-texts to ur_texts.
copy [XString]
copy [XArray]
copy [UText]
copy [Main.Type.XString]
copy [Main.Type.UText]
copy [Main.Type.XArray]
create [XString.Buf]
create [UnicodeString.Type.Buf]
create n creates the buffer.
create [UText.Buf]
create n creates the buffer which initially can contain n Unicode characters.
create [UTF8.Buf]
create n creates the buffer with the initial size n-bytes.
create [UTF16.Buf]
create n : creates the buffer with the initial size n.
create [UCS4.Buf]
create [SubText.Type.Buf]
create [UNF.Type.NFCBuf]
create [Main.Type.UCS4.Buf]
The rest of functions is similar to the ones of Buffer in stdlib.
create [Main.Type.UTF16.Buf]
The rest of functions is similar to the ones of Buffer in stdlib.
create [Main.Type.UTF8.Buf]
create [Main.Type.SubText.Type.Buf]
create [Main.Type.XString.Buf]
create [Main.Type.UText.Buf]
create [Main.Type.UnicodeString.Type.Buf]

D
decode [CharEncoding.Interface.Type]
decode enc s converts the string s encoded by the encoding enc to the Unicode text.
diff [USet]
diff [ISet]
diff [Main.Type.USet]
compl s returns the compliment of s.
diff [Main.Type.ISet]
domain [UMap]
Domain.
domain [IMap]
domain [Main.Type.UMap]
map_to_set p m returns the set of characters which are mapped to values satisfying the predicate p by m.
domain [Main.Type.IMap]

E
elements [USet]
elements [ISet]
elements [Main.Type.USet]
The list of the intervals contained in the set.
elements [Main.Type.ISet]
empty [USet]
empty [UMap]
empty [ISet]
empty [IMap]
empty [Main.Type.UMap]
empty [Main.Type.USet]
empty [Main.Type.IMap]
empty [Main.Type.ISet]
encode [CharEncoding.Interface.Type]
encode enc t converts the Unicode text t to the string by the encoding enc.
eq [UChar]
Equality by code point comparison
eq [Main.Type.UChar]
compare u1 u2 returns, a value > 0 if u1 has a larger Unicode code number than u2, 0 if u1 and u2 are the same Unicode character, a value < 0 if u1 has a smaller Unicode code number than u2.
equal [USet]
equal [ISet]
equal [Main.Type.USet]
equal [Main.Type.ISet]
escaped_uchar [UPervasives]
escaped_uchar [Main.Type.UPervasives]
escaped_utf8 [UPervasives]
escaped_utf8 [Main.Type.UPervasives]
excerpt [SubText.Type]
excerpt t copies the contents of t as a new ur_text.
excerpt [Main.Type.SubText.Type]
context t returns the tuple (s, i, j) such that t = refer s i j.
exists [USet]
exists [ISet]
exists [Main.Type.USet]
exists [Main.Type.ISet]

F
fill [UText]
fill [Main.Type.UText]
filter [USet]
filter [ISet]
filter [Main.Type.USet]
filter [Main.Type.ISet]
find [UMap]
find [IMap]
find [Main.Type.UMap]
find [Main.Type.IMap]
first [XString]
first [XArray]
first [UnicodeString.Type]
The location of the first character in the storage.
first [UText]
first [UTF8]
The position of the head of the first Unicode character.
first [UTF16]
first s : The position of the head of the last Unicode character.
first [UCS4]
first s : The position of the head of the last Unicode character.
first [SubText.Type]
first [Main.Type.UCS4]
last s : The position of the head of the last Unicode character.
first [Main.Type.UTF16]
last s : The position of the head of the last Unicode character.
first [Main.Type.UTF8]
The position of the head of the last Unicode character.
first [Main.Type.SubText.Type]
first [Main.Type.XString]
first [Main.Type.UText]
first [Main.Type.UnicodeString.Type]
The location of the last character in the storage.
first [Main.Type.XArray]
fold [USet]
fold [UMap]
fold [ISet]
fold [IMap]
fold [Main.Type.UMap]
fold_range f m x is equivalent to f u_(2n) u_(2n+1) v_n (... (f u_1 u_2 v_1 x)) where all characters in the range u_(2k)-u_(2k+1) are mapped to v_k and u_1 < u_3 < ...
fold [Main.Type.USet]
fold_range f s x is equivalent to f u_i u_(i+1) (... (f u_3 u_4 (f u_1 u_2 x))) if s is consisted of the intervals u1-u2, u3-u4, ..., u_i-u_(i + 1) in increasing order.
fold [Main.Type.IMap]
fold [Main.Type.ISet]
fold_range [USet]
fold_range f s x is equivalent to f u_i u_(i+1) (... (f u_3 u_4 (f u_1 u_2 x))) if s is consisted of the intervals u1-u2, u3-u4, ..., u_i-u_(i + 1) in increasing order.
fold_range [UMap]
fold_range f m x is equivalent to f u_(2n) u_(2n+1) v_n (... (f u_1 u_2 v_1 x)) where all characters in the range u_(2k)-u_(2k+1) are mapped to v_k and u_1 < u_3 < ...
fold_range [ISet]
fold_range [IMap]
fold_range [Main.Type.UMap]
Constant map.
fold_range [Main.Type.USet]
fold_range [Main.Type.IMap]
fold_range [Main.Type.ISet]
for_all [USet]
for_all [ISet]
for_all [Main.Type.USet]
for_all [Main.Type.ISet]
from [USet]
from u s returns the set of elements of s whose code points are equal or greater than u.
from [UMap]
from u m restricts the domain of m to the characters whose code points are equal or greater than u.
from [ISet]
from [IMap]
from [Main.Type.UMap]
after u m restricts the domain of m to the characters whose code points are greater than u.
from [Main.Type.USet]
after u s returns the set of elements of s whose code points are greater than u.
from [Main.Type.IMap]
from [Main.Type.ISet]

G
general_category [UCharInfo.Type]
get [XString]
get [XArray]
get [UnicodeString.Type]
get t i : i-th character of the storage.
get [UText]
get [UTF8]
get s n returns n-th Unicode character of s.
get [UTF16]
get s n returns n-th Unicode character of s.
get [UCharTbl.Char]
get [UCharTbl.Bytes]
get [UCharTbl.Bits]
get [UCharTbl.Bool]
get [UCharTbl.Type]
get [UCharTbl]
get [UCS4]
get s n returns n-th Unicode character of s.
get [SubText.Type]
get [Main.Type.UCS4]
get s n returns n-th Unicode character of s.
get [Main.Type.UTF16]
get s n returns n-th Unicode character of s.
get [Main.Type.UTF8]
get s n returns n-th Unicode character of s.
get [Main.Type.SubText.Type]
get [Main.Type.XString]
get [Main.Type.UText]
set s i u sets the i-th character in s to u.
get [Main.Type.UnicodeString.Type]
init len f creates a new storage.
get [Main.Type.UCharTbl.Char]
get [Main.Type.UCharTbl.Bytes]
get [Main.Type.UCharTbl.Bits]
get [Main.Type.UCharTbl.Bool]
get [Main.Type.UCharTbl.Type]
of_map def m creates the table which has the same value to m.
get [Main.Type.UCharTbl]
get [Main.Type.XArray]

I
imap_of_umap [UMap]
imap_of_umap [Main.Type.UMap]
init [XString]
init [XArray]
init [UnicodeString.Type]
init len f creates a new storage.
init [UText]
init [UTF8]
init len f returns a new string which contains len Unicode characters.
init [UTF16]
init len f returns a new string which contains len Unicode characters.
init [UCS4]
init len f returns a new string which contains len Unicode characters.
init [SubText.Type]
init [Main.Type.UCS4]
length s returns the number of Unicode characters contained in s
init [Main.Type.UTF16]
length s returns the number of Unicode characters contained in s
init [Main.Type.UTF8]
length s returns the number of Unicode characters contained in s
init [Main.Type.SubText.Type]
init [Main.Type.XString]
init [Main.Type.UText]
init [Main.Type.UnicodeString.Type]
The number of Unicode characters in the storage
init [Main.Type.XArray]
init_ustring [UText]
init_ustring [Main.Type.UText]
The semantics of these function are similar to the equivalents of string.
int_of [UChar]
Alias of uint_code
int_of [Main.Type.UChar]
Alias of chr_of_uint
int_of_uchar [UPervasives]
int_of_uchar [Main.Type.UPervasives]
inter [USet]
inter [ISet]
inter [Main.Type.USet]
inter [Main.Type.ISet]
is_empty [USet]
is_empty [UMap]
is_empty [ISet]
is_empty [IMap]
is_empty [Main.Type.UMap]
add ?eq u v m returns the new map which is same to m except it maps u to some value v' which satisfies eq v v'.
is_empty [Main.Type.USet]
is_empty [Main.Type.IMap]
is_empty [Main.Type.ISet]
iset_of_uset [USet]
iset_of_uset [Main.Type.USet]
iter [XString]
iter [XArray]
iter [UnicodeString.Type]
iter [UText]
iter [UTF8]
iter f s applies f to all Unicode characters in s.
iter [UTF16]
iter f s Apply f to all Unicode characters in s.
iter [USet]
iter [UMap]
iter [UCS4]
iter f s : Apply f to all Unicode characters in s.
iter [ISet]
iter [IMap]
iter [SubText.Type]
iter [Main.Type.UCS4]
Code point comparison
iter [Main.Type.UTF16]
Code point comparison
iter [Main.Type.UTF8]
Code point comparison by the lexicographic order.
iter [Main.Type.SubText.Type]
iter [Main.Type.XString]
iter [Main.Type.UText]
iter [Main.Type.UnicodeString.Type]
iter [Main.Type.UMap]
iter proc m : For each contingent region u1-u2 that is mapped to a constant v, proc u1 u2 v is called.
iter [Main.Type.USet]
iter_range proc s feeds the intervals contained in s to proc in increasing order.
iter [Main.Type.XArray]
iter [Main.Type.IMap]
iter [Main.Type.ISet]
iter_range [USet]
iter_range proc s feeds the intervals contained in s to proc in increasing order.
iter_range [UMap]
iter proc m : For each contingent region u1-u2 that is mapped to a constant v, proc u1 u2 v is called.
iter_range [ISet]
iter_range [IMap]
iter_range [Main.Type.UMap]
map ?eq f m and mapi ?eq f m : Similar to map and mapi in stdlib Map, but if the map m' is returned, it is only guaranteed that eq (find u m') (f (find u m )) is true for map and eq (find u m') (f u (find u m )) is true for mapi.
iter_range [Main.Type.USet]
iter_range [Main.Type.IMap]
iter_range [Main.Type.ISet]

L
last [XString]
last [XArray]
last [UnicodeString.Type]
The location of the last character in the storage.
last [UText]
last [UTF8]
The position of the head of the last Unicode character.
last [UTF16]
last s : The position of the head of the last Unicode character.
last [UCS4]
last s : The position of the head of the last Unicode character.
last [SubText.Type]
last [Main.Type.UCS4]
look s i returns the Unicode character of the location i in the string s.
last [Main.Type.UTF16]
look s i returns the Unicode character of the location i in the string s.
last [Main.Type.UTF8]
look s i returns the Unicode character of the location i in the string s.
last [Main.Type.SubText.Type]
last [Main.Type.XString]
last [Main.Type.UText]
last [Main.Type.UnicodeString.Type]
move t i n : if n >= 0, then returns n-th character after i and otherwise returns -n-th character before i.
last [Main.Type.XArray]
latin1 [CharEncoding.Interface]
length [XString.Buf]
length [XString]
length [XArray]
length [UnicodeString.Type]
The number of Unicode characters in the storage
length [UText.Buf]
length [UText]
length [UTF8]
length s returns the number of Unicode characters contained in s
length [UTF16]
length s returns the number of Unicode characters contained in s
length [UCS4]
length s returns the number of Unicode characters contained in s
length [SubText.Type]
length [Main.Type.UCS4]
Positions in the string represented by the number of characters from the head.
length [Main.Type.UTF16]
Positions in the string represented by the number of 16-bit unit from the head.
length [Main.Type.UTF8]
Positions in the string represented by the number of bytes from the head.
length [Main.Type.SubText.Type]
length [Main.Type.XString.Buf]
length [Main.Type.XString]
length [Main.Type.UText.Buf]
length [Main.Type.UText]
Conversion from Latin-1 strings.
length [Main.Type.UnicodeString.Type]
locations in storages.
length [Main.Type.XArray]
load_casefolding_tbl [UCharInfo.Type]
load_composition_exclusion_tbl [UCharInfo.Type]
Whether the given composed character is used in NFC or NFKC
load_composition_tbl [UCharInfo.Type]
The return value [(u_1, u'_1); ... (u_n, u'_1)] means for the given character u, u u_i forms the canonical composition u'_i.
load_conditional_casing_tbl [UCharInfo.Type]
load_decomposition_tbl [UCharInfo.Type]
load_general_category_map [UCharInfo.Type]
load_property_set [UCharInfo.Type]
Load the set of characters of the given character type.
load_property_set_by_name [UCharInfo.Type]
Load the set of characters of the given name of the character type.
load_property_tbl [UCharInfo.Type]
Load the table for the given character type.
load_property_tbl_by_name [UCharInfo.Type]
Load the table for the given name of the character type.
load_script_map [UCharInfo.Type]
load_to_lower1_tbl [UCharInfo.Type]
load_to_title1_tbl [UCharInfo.Type]
load_to_upper1_tbl [UCharInfo.Type]
look [XString]
look [XArray]
look [UnicodeString.Type]
look t i : The character in the location i of t.
look [UText]
look [UTF8]
look s i returns the Unicode character of the location i in the string s.
look [UTF16]
look s i returns the Unicode character of the location i in the string s.
look [UCS4]
look s i returns the Unicode character of the location i in the string s.
look [SubText.Type]
look [Main.Type.UCS4]
out_of_range s i tests whether i points the valid position of s.
look [Main.Type.UTF16]
out_of_range s i tests whether i is inside of s.
look [Main.Type.UTF8]
out_of_range s i tests whether i is a position inside of s.
look [Main.Type.SubText.Type]
look [Main.Type.XString]
look [Main.Type.UText]
look [Main.Type.UnicodeString.Type]
nth t n : the location of the n-th character in t.
look [Main.Type.XArray]
lowercase [CaseMap.Type]

M
make [XString]
make [XArray]
make [UText]
The semantics of these function are similar to the equivalents of string.
make [Main.Type.XString]
make [Main.Type.UText]
make [Main.Type.XArray]
map [UMap]
map [IMap]
map [Main.Type.UMap]
map [Main.Type.IMap]
map_to_set [UMap]
map_to_set p m returns the set of characters which are mapped to values satisfying the predicate p by m.
map_to_set [IMap]
map_to_set [Main.Type.UMap]
map_to_set [Main.Type.IMap]
mapi [UMap]
mapi [IMap]
mapi [Main.Type.UMap]
mapi [Main.Type.IMap]
max_elt [USet]
max_elt [ISet]
max_elt [Main.Type.USet]
Returns a element roughly in the middle of the set.
max_elt [Main.Type.ISet]
mem [USet]
mem [UMap]
mem [ISet]
mem [IMap]
mem [Main.Type.UMap]
mem [Main.Type.USet]
mem [Main.Type.IMap]
mem [Main.Type.ISet]
min_elt [USet]
min_elt [ISet]
min_elt [Main.Type.USet]
min_elt [Main.Type.ISet]
move [XString]
move [XArray]
move [UnicodeString.Type]
move t i n : if n >= 0, then returns n-th character after i and otherwise returns -n-th character before i.
move [UText]
move [UTF8]
move s i n returns n-th Unicode character after i if n >= 0, n-th Unicode character before i if n < 0.
move [UTF16]
move [UCS4]
move s i n : If n >= 0, returns n-th Unicode character after i.
move [SubText.Type]
move [Main.Type.UCS4]
iter f s : Apply f to all Unicode characters in s.
move [Main.Type.UTF16]
iter f s Apply f to all Unicode characters in s.
move [Main.Type.UTF8]
iter f s applies f to all Unicode characters in s.
move [Main.Type.SubText.Type]
move [Main.Type.XString]
move [Main.Type.UText]
move [Main.Type.UnicodeString.Type]
compare_index t i j returns a positive integer if i is the location placed after j in t, 0 if i and j point the same location, and a negative integer if i is the location placed before j in t.
move [Main.Type.XArray]

N
name_of [CharEncoding.Interface]
Returns the name of the encoding.
new_enc [CharEncoding.Interface]
new_enc name enc registers the new encoding enc under the name name
next [XString]
next [XArray]
next [UnicodeString.Type]
next [UText]
next [UTF8]
next s i returns the position of the head of the Unicode character located immediately after i.
next [UTF16]
next s i returns the position of the head of the Unicode character located immediately after i.
next [UCS4]
next s i returns the position of the head of the Unicode character located immediately after i.
next [SubText.Type]
next [Main.Type.UCS4]
prev s i returns the position of the head of the Unicode character located immediately before i.
next [Main.Type.UTF16]
prev s i returns the position of the head of the Unicode character located immediately before i.
next [Main.Type.UTF8]
prev s i returns the position of the head of the Unicode character located immediately before i.
next [Main.Type.SubText.Type]
next [Main.Type.XString]
next [Main.Type.UText]
next [Main.Type.UnicodeString.Type]
next [Main.Type.XArray]
nfc [UNF.Type]
nfc_append [UNF.Type]
nfd [UNF.Type]
nfd_decompose [UNF.Type]
nfd_inc [UNF.Type]
nfkc [UNF.Type]
nfkd [UNF.Type]
nfkd_decompose [UNF.Type]
no_group [URe]
Remove `Group from the regular expressions.
no_group [Main.Type.URe]
nth [XString]
nth [XArray]
nth [UnicodeString.Type]
nth t n : the location of the n-th character in t.
nth [UText]
nth [UTF8]
nth s n returns the position of the n-th Unicode character.
nth [UTF16]
nth s n returns the position of the n-th Unicode character.
nth [UCS4]
nth s n returns the position of the n-th Unicode character.
nth [SubText.Type]
nth [Main.Type.UCS4]
first s : The position of the head of the last Unicode character.
nth [Main.Type.UTF16]
first s : The position of the head of the last Unicode character.
nth [Main.Type.UTF8]
The position of the head of the first Unicode character.
nth [Main.Type.SubText.Type]
nth [Main.Type.XString]
nth [Main.Type.UText]
nth [Main.Type.UnicodeString.Type]
next x i, prev x i : The operation is valid if i points the valid element, i.e.
nth [Main.Type.XArray]

O
of_char [UChar]
of_char c returns the Unicode character of the Latin-1 character c
of_char [Main.Type.UChar]
code u returns the Unicode code number of u.
of_int [UChar]
Alias of chr_of_uint
of_int [Main.Type.UChar]
of_map [UCharTbl.Char]
of_map [UCharTbl.Bytes]
of_map [UCharTbl.Bits]
of_map [UCharTbl.Type]
of_map def m creates the table which has the same value to m.
of_map [Main.Type.UCharTbl.Char]
of_map [Main.Type.UCharTbl.Bytes]
of_map [Main.Type.UCharTbl.Bits]
of_map [Main.Type.UCharTbl.Type]
of_name [CharEncoding.Interface]
Returns the encoding of the given name.
of_set [UCharTbl.Bool]
of_set [Main.Type.UCharTbl.Bool]
of_string [UText]
Conversion from Latin-1 strings.
of_string [Main.Type.UText]
out_of_range [XString]
out_of_range [XArray]
out_of_range [UnicodeString.Type]
out_of_range [UText]
out_of_range [UTF8]
out_of_range s i tests whether i is a position inside of s.
out_of_range [UTF16]
out_of_range s i tests whether i is inside of s.
out_of_range [UCS4]
out_of_range s i tests whether i points the valid position of s.
out_of_range [SubText.Type]
out_of_range [Main.Type.UCS4]
compare_aux s i1 i2 returns If i1 is the position located before i2, a value < 0, If i1 and i2 points the same location, 0, If i1 is the position located after i2, a value > 0.
out_of_range [Main.Type.UTF16]
compare_aux s i1 i2 returns If i1 is the position located before i2, a value < 0,, If i1 and i2 points the same location, 0,, If i1 is the position located after i2, a value > 0.
out_of_range [Main.Type.UTF8]
compare_index s i1 i2 returns a value < 0 if i1 is the position located before i2, 0 if i1 and i2 points the same location, a value > 0 if i1 is the position located after i2.
out_of_range [Main.Type.SubText.Type]
out_of_range [Main.Type.XString]
out_of_range [Main.Type.UText]
out_of_range [Main.Type.UnicodeString.Type]
out_of_range [Main.Type.XArray]

P
partition [USet]
partition [ISet]
partition [Main.Type.USet]
partition [Main.Type.ISet]
prev [XString]
prev [XArray]
prev [UnicodeString.Type]
prev [UText]
prev [UTF8]
prev s i returns the position of the head of the Unicode character located immediately before i.
prev [UTF16]
prev s i returns the position of the head of the Unicode character located immediately before i.
prev [UCS4]
prev s i returns the position of the head of the Unicode character located immediately before i.
prev [SubText.Type]
prev [Main.Type.UCS4]
move s i n : If n >= 0, returns n-th Unicode character after i.
prev [Main.Type.UTF16]
prev [Main.Type.UTF8]
move s i n returns n-th Unicode character after i if n >= 0, n-th Unicode character before i if n < 0.
prev [Main.Type.SubText.Type]
prev [Main.Type.XString]
prev [Main.Type.UText]
prev [Main.Type.UnicodeString.Type]
prev [Main.Type.XArray]
printer_uchar [UPervasives]
printer_uchar [Main.Type.UPervasives]
printer_utf8 [UPervasives]
printer_utf8 [Main.Type.UPervasives]
put_nfc [UNF.Type]
put_nfd [UNF.Type]
put_nfkc [UNF.Type]
put_nfkd [UNF.Type]

Q
quote [UReStr.Interface]

R
ranges [USet]
The list of the intervals contained in the set.
ranges [ISet]
ranges [Main.Type.USet]
ranges [Main.Type.ISet]
read [Locale]
read root suffix reader locale reads locale information using reader.
read [Main.Type.Locale]
contain loc1 loc2 : If loc1 is contained in loc2 then true otherwise false.
recode_string [CharEncoding.Interface]
recode_string ~in_enc ~out_enc s converts the string s from in_enc to out_enc.
refer [SubText.Type]
refer t i j returns the part of t from i until j.
refer [Main.Type.SubText.Type]
excerpt t copies the contents of t as a new ur_text.
regexp [UReStr.Interface]
regexp_match [URe.Type]
regexp_match ?sem r t i tries matching r and substrings of t beginning from i.
regexp_match [UReStr.Interface.Type]
regexp_match ?sem r t i tries matching r and substrings of t beginning from i.
regexp_match [Main.Type.URe.Type]
string_match r t i tests whether r can match a substring of t beginning from i.
regexp_string [UReStr.Interface]
remove [USet]
remove [UMap]
remove [ISet]
remove [IMap]
remove [Main.Type.UMap]
remove_range u1 u2 m removes u1-u2 from the domain of m
remove [Main.Type.USet]
remove_range u1 u2 s removes the characters in the range u1 - u2 from s.
remove [Main.Type.IMap]
remove [Main.Type.ISet]
remove_range [USet]
remove_range u1 u2 s removes the characters in the range u1 - u2 from s.
remove_range [UMap]
remove_range u1 u2 m removes u1-u2 from the domain of m
remove_range [ISet]
remove_range [IMap]
remove_range [Main.Type.UMap]
from u m restricts the domain of m to the characters whose code points are equal or greater than u.
remove_range [Main.Type.USet]
remove_range [Main.Type.IMap]
remove_range [Main.Type.ISet]
reset [XString.Buf]
reset [XString]
reset [XArray]
reset [UnicodeString.Type.Buf]
reset [UText.Buf]
reset [UTF8.Buf]
Empty the buffer and de-allocate the internal storage.
reset [UTF16.Buf]
reset [UCS4.Buf]
reset [SubText.Type.Buf]
reset [UNF.Type.NFCBuf]
reset [Main.Type.UCS4.Buf]
reset [Main.Type.UTF16.Buf]
if the character is not representable, raise Out_of_range
reset [Main.Type.UTF8.Buf]
Add one Unicode character to the buffer.
reset [Main.Type.SubText.Type.Buf]
reset [Main.Type.XString.Buf]
reset [Main.Type.XString]
reset [Main.Type.UText.Buf]
reset [Main.Type.UnicodeString.Type.Buf]
reset [Main.Type.XArray]

S
script [UCharInfo.Type]
search [UCol.Type]
search_forward [URe.Type]
search_forward ?sem r t i searches a substring of t matching r from i.
search_forward [UReStr.Interface.Type]
search_forward ?sem r t i searches a substring of t matching r from i.
search_forward [Main.Type.URe.Type]
search_with_key [UCol.Type]
set [XString]
set [XArray]
set [UText]
set s i u sets the i-th character in s to u.
set [Main.Type.XString]
set [Main.Type.UText]
set [Main.Type.XArray]
set_to_map [UMap]
Constant map.
set_to_map [IMap]
set_to_map [Main.Type.UMap]
Domain.
set_to_map [Main.Type.IMap]
shrink [XString]
shrink [XArray]
shrink [Main.Type.XString]
shrink [Main.Type.XArray]
singleton [USet]
singleton [ISet]
singleton [Main.Type.USet]
singleton [Main.Type.ISet]
sort_key [UCol.Type]
Binary comparison of sort_key gives the same result as compare.
stream_of_channel [OOChannel]
Convert obj_input_channel to stream
stream_of_channel [Main.Type.OOChannel]
Character(byte) input channel.
string_match [URe.Type]
string_match r t i tests whether r can match a substring of t beginning from i.
string_match [UReStr.Interface.Type]
string_match r t i tests whether r can match a substring of t beginning from i.
string_match [Main.Type.URe.Type]
search_forward ?sem r t i searches a substring of t matching r from i.
sub [XString]
sub [XArray]
sub [UText]
sub [Main.Type.XString]
sub [Main.Type.UText]
sub [Main.Type.XArray]
subset [USet]
subset [ISet]
subset [Main.Type.USet]
from u s returns the set of elements of s whose code points are equal or greater than u.
subset [Main.Type.ISet]

T
titlecase [CaseMap.Type]
Capitalize the beginning of words

U
uchar_of_int [UPervasives]
uchar_of_int [Main.Type.UPervasives]
ucs4 [CharEncoding.Interface]
uint_code [UChar]
uint_code u returns the Unicode code number of u.
uint_code [Main.Type.UChar]
chr_of_uint n returns the Unicode character of the code number n.
umap_of_imap [UMap]
umap_of_imap [Main.Type.UMap]
union [USet]
union [ISet]
union [Main.Type.USet]
union [Main.Type.ISet]
until [USet]
until u s returns the set of elements of s whose code points are equal or smaller than u.
until [UMap]
until u m restricts the domain of m to the characters whose code points are equal or smaller than u.
until [ISet]
until [IMap]
until [Main.Type.UMap]
before u m restricts the domain of m to the characters whose code points are smaller than u.
until [Main.Type.USet]
until u s returns the set of elements of s whose code points are smaller than u.
until [Main.Type.IMap]
until [Main.Type.ISet]
uppercase [CaseMap.Type]
ur_index_of [SubText.Type]
Conversion from indexes of sub-texts to ur_texts.
ur_index_of [Main.Type.SubText.Type]
uset_of_iset [USet]
uset_of_iset [Main.Type.USet]
ustream_of [CharEncoding.Interface]
ustream_of enc chars converts the byte stream chars to the Unicode character stream by the encoding enc.
ustring_of [XString]
ustring_of [Main.Type.XString]
ustring_of_utext [UText]
ustring_of_utext [Main.Type.UText]
utext_of [XString]
utext_of [Main.Type.XString]
utext_of_ustring [UText]
utext_of_ustring [Main.Type.UText]
utf16 [CharEncoding.Interface]
utf16be [CharEncoding.Interface]
utf16le [CharEncoding.Interface]
utf32 [CharEncoding.Interface]
utf32be [CharEncoding.Interface]
utf32le [CharEncoding.Interface]
utf8 [CharEncoding.Interface]

V
validate [UTF8]
validate s successes if s is valid UTF-8, otherwise raises Malformed_code.
validate [UTF16]
validate s If s is valid UTF-16 then successes otherwise raises Malformed_code.
validate [UCS4]
validate s If s is valid UCS4 then successes otherwise raises Malformed_code.
validate [Main.Type.UCS4]
All functions below assume strings are valid UCS4.
validate [Main.Type.UTF16]
All functions below assume strings are valid UTF-16.
validate [Main.Type.UTF8]