1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(** UnicodeData.txt in parsed form *)
(** The source, compressed. *)
val unicodedata_source : string
(** The type of a single entry from UnicodeData.txt *)
type t =
{code_value : string;
character_name : string;
general_category : string;
canonical_combining_classes : string;
bidirectional_category : string;
character_decomposition_mapping : string;
decimal_digit_value : string;
digit_value : string;
numeric_value : string;
mirrored : string;
unicode_10_name : string;
iso_10646_comment_field : string;
uppercase_mapping : string;
lowercase_mapping : string;
titlecase_mapping : string}
(** The unicode data. We pass a unit because it is parsed upon demand and
memoised. *)
val unicodedata : unit -> t list
|
