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