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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
(***********************************************************************)
(* *)
(* HEVEA *)
(* *)
(* Luc Maranget, projet MOSCOVA, INRIA Rocquencourt *)
(* *)
(* Copyright 2006 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
type unichar
val show : unichar -> string
(* Parse unicode chars given the HTML way *)
val parse : string -> unichar
(* Set translators from table in subdir 'mappings' *)
val set_output_translator : string -> unit
val set_input_translator : string -> unit
val set_translators : string -> unit
(* Translate for output *)
exception CannotTranslate
val translate_in : char -> (unit -> int) -> unichar
val translate_out : unichar -> (char -> unit) -> unit
(* Diacritical marks *)
val put_empty : (unichar -> unit) -> unichar -> unit
val apply_accent :
(char -> unit) -> (unichar -> unit) ->
(char -> unichar) -> (char -> unichar) option ->
unichar -> char -> unit
val grave : char -> unichar
val acute : char -> unichar
val circumflex : char -> unichar
val tilde : char -> unichar
val diaeresis : char -> unichar
val ring : char -> unichar
val cedilla : char -> unichar
val stroke : char -> unichar
val macron : char -> unichar
val caron : char -> unichar
val doubleacute : char -> unichar
val doublegrave : char -> unichar
val breve : char -> unichar
val dotabove : char -> unichar
val dotbelow : char -> unichar
val linebelow : char -> unichar
val ringabove : char -> unichar
val ogonek : char -> unichar
val circled : char -> unichar
val doublestruck : char -> unichar
(* Default rendering *)
val def_default : unichar -> string -> unit
val get_default : unichar -> string (* may raise Not_found *)
(* Output unicode char as html *)
val html_put : (string -> unit) -> (char -> unit) -> unichar -> unit
(* A few constants *)
val null : unichar
val space : unichar
val nbsp : unichar
val visible_space : unichar
val emsp : unichar
val ensp : unichar
val emsp13 : unichar
val emsp14 : unichar
val six_per_em_space : unichar
val hairsp : unichar
val zero_width_space : unichar
val zero_width_joiner : unichar
val six_per_em_nbsp : unichar
val medium_space : unichar
val word_joiner : unichar
val acute_alone : unichar
val grave_alone : unichar
val circum_alone : unichar
val diaeresis_alone : unichar
val cedilla_alone : unichar
val tilde_alone : unichar
val macron_alone : unichar
val doubleacute_alone : unichar
val breve_alone : unichar
val dotabove_alone : unichar
val dotbelow_alone : unichar
val linebelow_alone : unichar
val ogonek_alone : unichar
val ring_alone : unichar
val caron_alone : unichar
val circled_alone : unichar
val eszett : unichar
val iques : unichar
val iexcl : unichar
val minus : unichar
val endash : unichar
val emdash : unichar
val ldquot : unichar
val rdquot : unichar
val lsquot : unichar
val rsquot : unichar
val prime : unichar
val dprime : unichar
val tprime : unichar
val rprime : unichar
val rdprime : unichar
val rtprime : unichar
(* Combinations *)
val comb_cedilla : char -> unichar
val comb_grave : char -> unichar
val comb_acute : char -> unichar
(* Double diacritics *)
val double_inverted_breve : unichar
(* Apply accent on unicode entity *)
val on_entity :
(char -> unit) -> (unichar -> unit) ->
(char -> unichar) -> (char -> unichar) option ->
unichar -> string -> unit
|
