Модуль Uchar

module Uchar: sig .. end

Символы Юникода.

Since 4.03

type t

Тип для символов Юникода.

Значение этого типа представляет собой скалярное значение Юникода, которое является целым числом в диапазонах 0x0000...0xD7FF или 0xE000...0x10FFFF.

val min : t

min — это U+0000.

val max : t

max — это U+10FFFF.

val bom : t

bom — это U+FEFF, символ метки порядка байтов (BOM).

Since 4.06

val rep : t

rep — это U+FFFD, символ замены.

Since 4.06

val succ : t -> t

succ u — это скалярное значение после u в наборе скалярных значений Юникода.

Raises Invalid_argument если u меньше Uchar.max.

val pred : t -> t

pred u — это скалярное значение перед u в наборе скалярных значений Юникода.

Raises Invalid_argument если u меньше Uchar.min.

val is_valid : int -> bool

is_valid n — это true, если и только если n является скалярным значением Юникода (т.е. в диапазонах 0x0000...0xD7FF или 0xE000...0x10FFFF).

val of_int : int -> t

of_int i — это i как символ Юникода.

Raises Invalid_argument если i не удовлетворяет Uchar.is_valid.

val to_int : t -> int

to_int u — это u как целое число.

val is_char : t -> bool

is_char u — это true, если и только если u — это символ latin1 OCaml.

val of_char : char -> t

of_char c — это c как символ Юникода.

val to_char : t -> char

to_char u — это u как символ OCaml latin1.

Raises Invalid_argument если u не удовлетворяет Uchar.is_char.

val equal : t -> t -> bool

equal u u' — это u = u'.

val compare : t -> t -> int

compare u u' — это Stdlib.compare u u'.

val hash : t -> int

hash u сопоставляет целое неотрицательное число u.

Инструменты кодировок UTF

type utf_decode

Тип для результатов декодирования UTF. Значения этого типа представляют результат попытки декодирования в формате Unicode Transformation Format.

val utf_decode_is_valid : utf_decode -> bool

utf_decode_is_valid d — это true, если и только если d содержит допустимое декодирование.

val utf_decode_uchar : utf_decode -> t

utf_decode_uchar d — это символ Юникода, декодированный d, если utf_decode_is_valid d — это true, в противном случае Uchar.rep.

val utf_decode_length : utf_decode -> int

utf_decode_length d — это количество элементов из источника, которые были использованы для декодирования d. Это всегда строго положительно и меньше или равно 4. Тип элементов источника зависит от фактического декодера; для декодеров стандартной библиотеки эта функция всегда возвращает длину в байтах.

val utf_decode : int -> t -> utf_decode

utf_decode n u — это допустимое декодирование UTF для u, которое использовало n элементов из источника для декодирования. n должно быть положительным и меньше или равно 4 (это не проверяется модулем).

val utf_decode_invalid : int -> utf_decode

utf_decode_invalid n — это недопустимое декодирование UTF, которое использовало n элементов из источника для ошибки. n должно быть положительным и меньше или равно 4 (это не проверяется модулем). Результирующее декодирование имеет Uchar.rep в качестве декодированного символа Юникода.

val utf_8_byte_length : t -> int

utf_8_byte_length u — это количество байтов, необходимых для кодирования u в UTF-8.

val utf_16_byte_length : t -> int

utf_16_byte_length u — это количество байтов, необходимых для кодирования u в UTF-16.