Nome |
Tipo |
Efeito |
maxsize |
int |
[maxSize]
é o número máximo de caracteres em um string |
size |
string
->int |
[size s] é
o número de caracteres em um string s |
sub |
string
* int -> char |
[sub(s, i)]
é o iésimo caracter de s, contando a partir de zero |
substring |
string
* int * int -> string |
[substring(s,
i, n)] é o string s[i..i+n-1]; equivalente a extract(s, i, SOME
n) |
extract |
string
* int * int option ->string |
[extract (s, i,
NONE)] é o string s[i..size s-1]
[extract (s, i, SOME n)] é
o string s[i..i+n-1] |
concat |
string
list -> string |
[concat ss] é
a concatenação de todas as strings em ss. |
^ |
string
* string -> string |
[s1 ^s2]concatena
as strings s1 e s2 |
str |
char->
string |
[str c] é
uma string de tamanho 1 que contém o caracter c |
implode |
char
list -> string |
[implode cs] é
a string contendo os caracteres na lista cs. Equivale a concat List.map
str s |
explode |
string
-> char list |
[explode s]é
a lista de caracteres na string s |
map |
(char
-> char) -> string -> string |
[map f s]aplica
f a cada caracter de s , da esquerda para a direita, e retorna uma string
formada pelos caracteres resultantes .
Equivale a CharVector.map f s |
translate |
(char
-> string) -> string -> strin |
[translate f s]
aplica f a cada caracter de s, da esquerda para a direita e retorna a concatenação
das strings resultantes. Erros ocorrem quando o somatório dos tamanhos
é maior que o tamanhomáximo. |
tokens |
(char
-> bool) -> string -> string list |
|
fields |
(char
-> bool) -> string -> string list |
|
isPrefix |
string
-> string -> bool |
|
compare |
string
* string -> order |
|
collate |
(char
* char -> order) -> string * string -> order |
|