Модуль Char.Ascii

module Ascii: sig .. end

Поддержка набора символов ASCII.

Эти функции придают смысл целым числам [0x00;0x7F] из набора символов ASCII.

Поскольку кодировка Unicode UTF-8 использует для этих байтов ту же кодировку и семантику символов (U+0000—U+001F), функции можно безопасно применять к элементам значений string и bytes, закодированных в UTF-8. Однако функции работают только с аспектами, связанными с ASCII. Например, понятие пробельного символа Unicode гораздо шире, чем понятие пробельного символа ASCII, определяемое функцией Char.Ascii.is_white.

Начиная с версии 5.4

Символы

val min : char

min — '\x00'.

val max : char

max — '\x7F'.

Предикаты

val is_valid : char -> bool

is_valid c тогда и только тогда true, когда c является символом ASCII, то есть байтом в диапазоне [Char.Ascii.min;Char.Ascii.max].

val is_upper : char -> bool

is_upper c тогда и только тогда true, когда c является заглавной буквой ASCII от 'A' до 'Z', то есть байтом в диапазоне [0x41;0x5A].

val is_lower : char -> bool

is_lower c тогда и только тогда true, когда c является строчной буквой ASCII от 'a' до 'z', то есть байтом в диапазоне [0x61;0x7A].

val is_letter : char -> bool

is_letter c — это Char.Ascii.is_lower c || Char.Ascii.is_upper c.

val is_alphanum : char -> bool

is_alphanum c — это Char.Ascii.is_letter c || Char.Ascii.is_digit c.

val is_white : char -> bool

is_white c тогда и только тогда true, когда c является пробельным символом ASCII, то есть табуляцией '\t' (0x09), символом новой строки '\n' (0x0A), вертикальной табуляцией (0x0B), переводом страницы (0x0C), возвратом каретки '\r' (0x0D) или пробелом ' ' (0x20),

val is_blank : char -> bool

is_blank c тогда и только тогда true, когда c является пустым символом ASCII, то есть пробелом ' ' (0x20) или табуляцией '\t' (0x09).

val is_graphic : char -> bool

is_graphic c тогда и только тогда true, когда c является печатным символом ASCII, то есть байтом в диапазоне [0x21;0x7E].

val is_print : char -> bool

is_print c — это Char.Ascii.is_graphic c || c = ' '.

val is_control : char -> bool

is_control c тогда и только тогда true, когда c является управляющим символом ASCII, то есть байтом в диапазоне [0x00;0x1F] или 0x7F.

Десятичные цифры

val is_digit : char -> bool

is_digit c тогда и только тогда true, когда c является десятичной цифрой ASCII от '0' до '9', то есть байтом в диапазоне [0x30;0x39].

val digit_to_int : char -> int

digit_to_int c — числовое значение цифры, удовлетворяющей условию Char.Ascii.is_digit. Вызывает исключение Invalid_argument, если Char.Ascii.is_digit c является false.

val digit_of_int : int -> char

digit_of_int n — десятичная цифра ASCII для десятичного значения abs (n mod 10).

Шестнадцатеричные цифры

val is_hex_digit : char -> bool

is_hex_digit c тогда и только тогда true, когда c является шестнадцатеричной цифрой ASCII от '0' до '9', от 'a' до 'f' или от 'A' до 'F', то есть байтом из одного из диапазонов [0x30;0x39], [0x41;0x46], [0x61;0x66].

val hex_digit_to_int : char -> int

hex_digit_to_int c — числовое значение цифры, удовлетворяющей условию Char.Ascii.is_hex_digit. Вызывает исключение Invalid_argument, если Char.Ascii.is_hex_digit c является false.

val lower_hex_digit_of_int : int -> char

lower_hex_digit_of_int n — строчная шестнадцатеричная цифра ASCII для шестнадцатеричного значения abs (n mod 16).

val upper_hex_digit_of_int : int -> char

upper_hex_digit_of_int n — заглавная шестнадцатеричная цифра ASCII для шестнадцатеричного значения abs (n mod 16).

Преобразование регистра

val uppercase : char -> char

uppercase c — c, в котором символы ASCII от 'a' до 'z' заменяются соответственно заглавными символами от 'A' до 'Z'. Остальные символы не изменяются.

val lowercase : char -> char

lowercase c — c, в котором символы ASCII от 'A' до 'Z' заменяются соответственно строчными символами от 'a' до 'z'. Остальные символы не изменяются.