1CamlinternalFormatBasics(3)      OCaml library     CamlinternalFormatBasics(3)
2
3
4

NAME

6       CamlinternalFormatBasics - no description
7

Module

9       Module   CamlinternalFormatBasics
10

Documentation

12       Module CamlinternalFormatBasics
13        : sig end
14
15
16
17
18
19
20
21       type padty =
22        | Left
23        | Right
24        | Zeros
25
26
27
28
29       type int_conv =
30        | Int_d
31        | Int_pd
32        | Int_sd
33        | Int_i
34        | Int_pi
35        | Int_si
36        | Int_x
37        | Int_Cx
38        | Int_X
39        | Int_CX
40        | Int_o
41        | Int_Co
42        | Int_u
43
44
45
46
47       type float_conv =
48        | Float_f
49        | Float_pf
50        | Float_sf
51        | Float_e
52        | Float_pe
53        | Float_se
54        | Float_E
55        | Float_pE
56        | Float_sE
57        | Float_g
58        | Float_pg
59        | Float_sg
60        | Float_G
61        | Float_pG
62        | Float_sG
63        | Float_F
64        | Float_h
65        | Float_ph
66        | Float_sh
67        | Float_H
68        | Float_pH
69        | Float_sH
70
71
72
73
74       type char_set = string
75
76
77
78
79       type counter =
80        | Line_counter
81        | Char_counter
82        | Token_counter
83
84
85
86
87       type ('a, 'b) padding =
88        | No_padding : ('a0, 'a0) padding
89        | Lit_padding : padty * int -> ('a1, 'a1) padding
90        | Arg_padding : padty -> (int -> 'a2, 'a2) padding
91
92
93
94
95       type pad_option = int option
96
97
98
99
100       type ('a, 'b) precision =
101        | No_precision : ('a0, 'a0) precision
102        | Lit_precision : int -> ('a1, 'a1) precision
103        | Arg_precision : (int -> 'a2, 'a2) precision
104
105
106
107
108       type prec_option = int option
109
110
111
112
113       type ('a, 'b, 'c) custom_arity =
114        | Custom_zero : ('a0, string, 'a0) custom_arity
115        | Custom_succ : ('a1, 'b0, 'c0) custom_arity -> ('a1, 'x -> 'b0, 'x ->
116       'c0) custom_arity
117
118
119
120
121       type block_type =
122        | Pp_hbox
123        | Pp_vbox
124        | Pp_hvbox
125        | Pp_hovbox
126        | Pp_box
127        | Pp_fits
128
129
130
131
132       type formatting_lit =
133        | Close_box
134        | Close_tag
135        | Break of string * int * int
136        | FFlush
137        | Force_newline
138        | Flush_newline
139        | Magic_size of string * int
140        | Escaped_at
141        | Escaped_percent
142        | Scan_indic of char
143
144
145
146
147       type ('a, 'b, 'c, 'd, 'e, 'f) formatting_gen =
148        | Open_tag : ('a0, 'b0, 'c0, 'd0, 'e0, 'f0) format6 -> ('a0, 'b0, 'c0,
149       'd0, 'e0, 'f0) formatting_gen
150        | Open_box : ('a1, 'b1, 'c1, 'd1, 'e1, 'f1) format6 -> ('a1, 'b1, 'c1,
151       'd1, 'e1, 'f1) formatting_gen
152
153
154
155
156       type ('a, 'b, 'c, 'd, 'e, 'f) fmtty = ('a, 'b, 'c, 'd, 'e, 'f, 'a,  'b,
157       'c, 'd, 'e, 'f) fmtty_rel
158
159
160
161
162       type  ('a1,  'b1,  'c1,  'd1,  'e1,  'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)
163       fmtty_rel =
164        | Char_ty : ('a10, 'b10, 'c10, 'd10, 'e10,  'f10,  'a20,  'b20,  'c20,
165       'd20,  'e20,  'f20) fmtty_rel -> (char -> 'a10, 'b10, 'c10, 'd10, 'e10,
166       'f10, char -> 'a20, 'b20, 'c20, 'd20, 'e20, 'f20) fmtty_rel
167        | String_ty : ('a11, 'b11, 'c11, 'd11, 'e11, 'f11, 'a21,  'b21,  'c21,
168       'd21, 'e21, 'f21) fmtty_rel -> (string -> 'a11, 'b11, 'c11, 'd11, 'e11,
169       'f11, string -> 'a21, 'b21, 'c21, 'd21, 'e21, 'f21) fmtty_rel
170        | Int_ty : ('a12, 'b12, 'c12, 'd12,  'e12,  'f12,  'a22,  'b22,  'c22,
171       'd22,  'e22,  'f22)  fmtty_rel -> (int -> 'a12, 'b12, 'c12, 'd12, 'e12,
172       'f12, int -> 'a22, 'b22, 'c22, 'd22, 'e22, 'f22) fmtty_rel
173        | Int32_ty : ('a13, 'b13, 'c13, 'd13, 'e13, 'f13,  'a23,  'b23,  'c23,
174       'd23,  'e23, 'f23) fmtty_rel -> (int32 -> 'a13, 'b13, 'c13, 'd13, 'e13,
175       'f13, int32 -> 'a23, 'b23, 'c23, 'd23, 'e23, 'f23) fmtty_rel
176        | Nativeint_ty : ('a14, 'b14, 'c14,  'd14,  'e14,  'f14,  'a24,  'b24,
177       'c24,  'd24,  'e24,  'f24) fmtty_rel -> (nativeint -> 'a14, 'b14, 'c14,
178       'd14, 'e14, 'f14, nativeint -> 'a24,  'b24,  'c24,  'd24,  'e24,  'f24)
179       fmtty_rel
180        |  Int64_ty  :  ('a15, 'b15, 'c15, 'd15, 'e15, 'f15, 'a25, 'b25, 'c25,
181       'd25, 'e25, 'f25) fmtty_rel -> (int64 -> 'a15, 'b15, 'c15, 'd15,  'e15,
182       'f15, int64 -> 'a25, 'b25, 'c25, 'd25, 'e25, 'f25) fmtty_rel
183        |  Float_ty  :  ('a16, 'b16, 'c16, 'd16, 'e16, 'f16, 'a26, 'b26, 'c26,
184       'd26, 'e26, 'f26) fmtty_rel -> (float -> 'a16, 'b16, 'c16, 'd16,  'e16,
185       'f16, float -> 'a26, 'b26, 'c26, 'd26, 'e26, 'f26) fmtty_rel
186        |  Bool_ty  :  ('a17,  'b17, 'c17, 'd17, 'e17, 'f17, 'a27, 'b27, 'c27,
187       'd27, 'e27, 'f27) fmtty_rel -> (bool -> 'a17, 'b17, 'c17,  'd17,  'e17,
188       'f17, bool -> 'a27, 'b27, 'c27, 'd27, 'e27, 'f27) fmtty_rel
189        |  Format_arg_ty : ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a18, 'b18, 'c18,
190       'd18, 'e18, 'f18, 'a28, 'b28, 'c28,  'd28,  'e28,  'f28)  fmtty_rel  ->
191       (('g,  'h,  'i,  'j,  'k,  'l) format6 -> 'a18, 'b18, 'c18, 'd18, 'e18,
192       'f18, ('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a28, 'b28, 'c28, 'd28, 'e28,
193       'f28) fmtty_rel
194        |  Format_subst_ty  :  ('g0, 'h0, 'i0, 'j0, 'k0, 'l0, 'g1, 'b19, 'c19,
195       'j1, 'd19, 'a19) fmtty_rel * ('g0, 'h0, 'i0, 'j0, 'k0, 'l0, 'g2,  'b29,
196       'c29, 'j2, 'd29, 'a29) fmtty_rel * ('a19, 'b19, 'c19, 'd19, 'e19, 'f19,
197       'a29, 'b29, 'c29, 'd29, 'e29, 'f29) fmtty_rel -> (('g0, 'h0, 'i0,  'j0,
198       'k0,  'l0) format6 -> 'g1, 'b19, 'c19, 'j1, 'e19, 'f19, ('g0, 'h0, 'i0,
199       'j0, 'k0, 'l0) format6 -> 'g2, 'b29, 'c29, 'j2, 'e29, 'f29) fmtty_rel
200        | Alpha_ty : ('a110, 'b110, 'c110, 'd110, 'e110, 'f110, 'a210,  'b210,
201       'c210,  'd210, 'e210, 'f210) fmtty_rel -> (('b110 -> 'x -> 'c110) -> 'x
202       -> 'a110, 'b110, 'c110, 'd110, 'e110, 'f110, ('b210 -> 'x -> 'c210)  ->
203       'x -> 'a210, 'b210, 'c210, 'd210, 'e210, 'f210) fmtty_rel
204        |  Theta_ty : ('a111, 'b111, 'c111, 'd111, 'e111, 'f111, 'a211, 'b211,
205       'c211, 'd211, 'e211, 'f211) fmtty_rel -> (('b111 ->  'c111)  ->  'a111,
206       'b111,  'c111,  'd111,  'e111, 'f111, ('b211 -> 'c211) -> 'a211, 'b211,
207       'c211, 'd211, 'e211, 'f211) fmtty_rel
208        | Any_ty : ('a112, 'b112, 'c112, 'd112, 'e112,  'f112,  'a212,  'b212,
209       'c212,  'd212,  'e212, 'f212) fmtty_rel -> ('x0 -> 'a112, 'b112, 'c112,
210       'd112, 'e112, 'f112, 'x0 -> 'a212, 'b212, 'c212, 'd212,  'e212,  'f212)
211       fmtty_rel
212        | Reader_ty : ('a113, 'b113, 'c113, 'd113, 'e113, 'f113, 'a213, 'b213,
213       'c213, 'd213, 'e213, 'f213) fmtty_rel -> ('x1 -> 'a113,  'b113,  'c113,
214       ('b113  ->  'x1)  ->  'd113,  'e113, 'f113, 'x1 -> 'a213, 'b213, 'c213,
215       ('b213 -> 'x1) -> 'd213, 'e213, 'f213) fmtty_rel
216        | Ignored_reader_ty :  ('a114,  'b114,  'c114,  'd114,  'e114,  'f114,
217       'a214,  'b214,  'c214, 'd214, 'e214, 'f214) fmtty_rel -> ('a114, 'b114,
218       'c114, ('b114 -> 'x2) -> 'd114,  'e114,  'f114,  'a214,  'b214,  'c214,
219       ('b214 -> 'x2) -> 'd214, 'e214, 'f214) fmtty_rel
220        |  End_of_fmtty  :  ('f115,  'b115, 'c115, 'd115, 'd115, 'f115, 'f215,
221       'b215, 'c215, 'd215, 'd215, 'f215) fmtty_rel
222
223
224
225
226       type ('a, 'b, 'c, 'd, 'e, 'f) fmt =
227        | Char : ('a0, 'b0, 'c0, 'd0, 'e0, 'f0) fmt -> (char -> 'a0, 'b0, 'c0,
228       'd0, 'e0, 'f0) fmt
229        | Caml_char : ('a1, 'b1, 'c1, 'd1, 'e1, 'f1) fmt -> (char -> 'a1, 'b1,
230       'c1, 'd1, 'e1, 'f1) fmt
231        | String : ('x, string -> 'a2) padding * ('a2,  'b2,  'c2,  'd2,  'e2,
232       'f2) fmt -> ('x, 'b2, 'c2, 'd2, 'e2, 'f2) fmt
233        |  Caml_string  :  ('x0, string -> 'a3) padding * ('a3, 'b3, 'c3, 'd3,
234       'e3, 'f3) fmt -> ('x0, 'b3, 'c3, 'd3, 'e3, 'f3) fmt
235        | Int : int_conv * ('x1, 'y) padding * ('y, int ->  'a4)  precision  *
236       ('a4,  'b4,  'c4,  'd4, 'e4, 'f4) fmt -> ('x1, 'b4, 'c4, 'd4, 'e4, 'f4)
237       fmt
238        | Int32 : int_conv * ('x2, 'y0) padding * ('y0, int32 ->  'a5)  preci‐
239       sion  * ('a5, 'b5, 'c5, 'd5, 'e5, 'f5) fmt -> ('x2, 'b5, 'c5, 'd5, 'e5,
240       'f5) fmt
241        | Nativeint : int_conv * ('x3, 'y1) padding * ('y1, nativeint ->  'a6)
242       precision  * ('a6, 'b6, 'c6, 'd6, 'e6, 'f6) fmt -> ('x3, 'b6, 'c6, 'd6,
243       'e6, 'f6) fmt
244        | Int64 : int_conv * ('x4, 'y2) padding * ('y2, int64 ->  'a7)  preci‐
245       sion  * ('a7, 'b7, 'c7, 'd7, 'e7, 'f7) fmt -> ('x4, 'b7, 'c7, 'd7, 'e7,
246       'f7) fmt
247        | Float : float_conv * ('x5, 'y3) padding * ('y3, float -> 'a8) preci‐
248       sion  * ('a8, 'b8, 'c8, 'd8, 'e8, 'f8) fmt -> ('x5, 'b8, 'c8, 'd8, 'e8,
249       'f8) fmt
250        | Bool : ('x6, bool -> 'a9) padding * ('a9, 'b9, 'c9, 'd9,  'e9,  'f9)
251       fmt -> ('x6, 'b9, 'c9, 'd9, 'e9, 'f9) fmt
252        |  Flush  :  ('a10,  'b10, 'c10, 'd10, 'e10, 'f10) fmt -> ('a10, 'b10,
253       'c10, 'd10, 'e10, 'f10) fmt
254        | String_literal : string * ('a11, 'b11, 'c11, 'd11, 'e11,  'f11)  fmt
255       -> ('a11, 'b11, 'c11, 'd11, 'e11, 'f11) fmt
256        |  Char_literal  :  char * ('a12, 'b12, 'c12, 'd12, 'e12, 'f12) fmt ->
257       ('a12, 'b12, 'c12, 'd12, 'e12, 'f12) fmt
258        | Format_arg : pad_option * ('g, 'h, 'i, 'j, 'k, 'l)  fmtty  *  ('a13,
259       'b13,  'c13, 'd13, 'e13, 'f13) fmt -> (('g, 'h, 'i, 'j, 'k, 'l) format6
260       -> 'a13, 'b13, 'c13, 'd13, 'e13, 'f13) fmt
261        | Format_subst : pad_option * ('g0, 'h0,  'i0,  'j0,  'k0,  'l0,  'g2,
262       'b14, 'c14, 'j2, 'd14, 'a14) fmtty_rel * ('a14, 'b14, 'c14, 'd14, 'e14,
263       'f14) fmt -> (('g0, 'h0, 'i0, 'j0, 'k0,  'l0)  format6  ->  'g2,  'b14,
264       'c14, 'j2, 'e14, 'f14) fmt
265        | Alpha : ('a15, 'b15, 'c15, 'd15, 'e15, 'f15) fmt -> (('b15 -> 'x7 ->
266       'c15) -> 'x7 -> 'a15, 'b15, 'c15, 'd15, 'e15, 'f15) fmt
267        | Theta : ('a16, 'b16, 'c16, 'd16, 'e16, 'f16) fmt -> (('b16 ->  'c16)
268       -> 'a16, 'b16, 'c16, 'd16, 'e16, 'f16) fmt
269        |  Formatting_lit  :  formatting_lit  * ('a17, 'b17, 'c17, 'd17, 'e17,
270       'f17) fmt -> ('a17, 'b17, 'c17, 'd17, 'e17, 'f17) fmt
271        | Formatting_gen : ('a18, 'b18, 'c18, 'd18, 'e18, 'f18) formatting_gen
272       *  ('f18, 'b18, 'c18, 'e18, 'e20, 'f20) fmt -> ('a18, 'b18, 'c18, 'd18,
273       'e20, 'f20) fmt
274        | Reader : ('a19, 'b19, 'c19, 'd19, 'e19, 'f19) fmt -> ('x8  ->  'a19,
275       'b19, 'c19, ('b19 -> 'x8) -> 'd19, 'e19, 'f19) fmt
276        |  Scan_char_set  :  pad_option  * char_set * ('a20, 'b20, 'c20, 'd20,
277       'e21, 'f21) fmt -> (string -> 'a20, 'b20, 'c20, 'd20, 'e21, 'f21) fmt
278        | Scan_get_counter : counter * ('a21, 'b21, 'c21,  'd21,  'e22,  'f22)
279       fmt -> (int -> 'a21, 'b21, 'c21, 'd21, 'e22, 'f22) fmt
280        |  Scan_next_char  : ('a22, 'b22, 'c22, 'd22, 'e23, 'f23) fmt -> (char
281       -> 'a22, 'b22, 'c22, 'd22, 'e23, 'f23) fmt
282        | Ignored_param : ('a23, 'b23, 'c23, 'd23, 'y4, 'x9) ignored  *  ('x9,
283       'b23,  'c23,  'y4,  'e24,  'f24)  fmt -> ('a23, 'b23, 'c23, 'd23, 'e24,
284       'f24) fmt
285        | Custom : ('a24, 'x10, 'y5) custom_arity * (unit ->  'x10)  *  ('a24,
286       'b24,  'c24,  'd24,  'e25,  'f25)  fmt -> ('y5, 'b24, 'c24, 'd24, 'e25,
287       'f25) fmt
288        | End_of_format : ('f26, 'b25, 'c25, 'e26, 'e26, 'f26) fmt
289
290
291       List of format elements.
292
293
294       type ('a, 'b, 'c, 'd, 'e, 'f) ignored =
295        | Ignored_char : ('a0, 'b0, 'c0, 'd0, 'd0, 'a0) ignored
296        | Ignored_caml_char : ('a1, 'b1, 'c1, 'd1, 'd1, 'a1) ignored
297        | Ignored_string : pad_option  ->  ('a2,  'b2,  'c2,  'd2,  'd2,  'a2)
298       ignored
299        |  Ignored_caml_string  : pad_option -> ('a3, 'b3, 'c3, 'd3, 'd3, 'a3)
300       ignored
301        | Ignored_int : int_conv * pad_option -> ('a4,  'b4,  'c4,  'd4,  'd4,
302       'a4) ignored
303        |  Ignored_int32  : int_conv * pad_option -> ('a5, 'b5, 'c5, 'd5, 'd5,
304       'a5) ignored
305        | Ignored_nativeint : int_conv * pad_option -> ('a6,  'b6,  'c6,  'd6,
306       'd6, 'a6) ignored
307        |  Ignored_int64  : int_conv * pad_option -> ('a7, 'b7, 'c7, 'd7, 'd7,
308       'a7) ignored
309        | Ignored_float : pad_option * prec_option ->  ('a8,  'b8,  'c8,  'd8,
310       'd8, 'a8) ignored
311        | Ignored_bool : pad_option -> ('a9, 'b9, 'c9, 'd9, 'd9, 'a9) ignored
312        |  Ignored_format_arg : pad_option * ('g, 'h, 'i, 'j, 'k, 'l) fmtty ->
313       ('a10, 'b10, 'c10, 'd10, 'd10, 'a10) ignored
314        | Ignored_format_subst : pad_option * ('a11, 'b11,  'c11,  'd11,  'e0,
315       'f0) fmtty -> ('a11, 'b11, 'c11, 'd11, 'e0, 'f0) ignored
316        |  Ignored_reader  :  ('a12,  'b12,  'c12, ('b12 -> 'x) -> 'd12, 'd12,
317       'a12) ignored
318        | Ignored_scan_char_set : pad_option * char_set -> ('a13, 'b13,  'c13,
319       'd13, 'd13, 'a13) ignored
320        | Ignored_scan_get_counter : counter -> ('a14, 'b14, 'c14, 'd14, 'd14,
321       'a14) ignored
322        | Ignored_scan_next_char  :  ('a15,  'b15,  'c15,  'd15,  'd15,  'a15)
323       ignored
324
325
326
327
328       type ('a, 'b, 'c, 'd, 'e, 'f) format6 =
329        | Format of ('a, 'b, 'c, 'd, 'e, 'f) fmt * string
330
331
332
333
334
335       val  concat_fmtty  : ('g1, 'b1, 'c1, 'j1, 'd1, 'a1, 'g2, 'b2, 'c2, 'j2,
336       'd2, 'a2) fmtty_rel -> ('a1, 'b1, 'c1, 'd1, 'e1, 'f1,  'a2,  'b2,  'c2,
337       'd2,  'e2,  'f2)  fmtty_rel -> ('g1, 'b1, 'c1, 'j1, 'e1, 'f1, 'g2, 'b2,
338       'c2, 'j2, 'e2, 'f2) fmtty_rel
339
340
341
342
343       val erase_rel : ('a, 'b, 'c, 'd, 'e,  'f,  'g,  'h,  'i,  'j,  'k,  'l)
344       fmtty_rel -> ('a, 'b, 'c, 'd, 'e, 'f) fmtty
345
346
347
348
349       val  concat_fmt  : ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('f, 'b, 'c, 'e, 'g,
350       'h) fmt -> ('a, 'b, 'c, 'd, 'g, 'h) fmt
351
352
353
354
355
356
357OCamldoc                          2018-07-14       CamlinternalFormatBasics(3)
Impressum