← Back to branch summary

~ubuntu-branches/ubuntu/karmic/ocaml-doc/karmic

« back to all changes in this revision

Viewing changes to ocaml.html/libref/type_Format.html

  • Committer: Bazaar Package Importer
  • Author(s): Vanicat Rémi
  • Date: 2002-02-05 10:51:43 UTC
  • Revision ID: james.westby@ubuntu.com-20020205105143-a061tunf8tev07ne
Tags: 3.04-4
* New debian maintainer
* Split doc-base file
* Move to non-free
* Change the copyright file to the copyright of the documentation
* remove FAQs (their license prohibit their redistribution)
* corrected the examples

Show diffs side-by-side

added added

removed removed

Lines of Context:
ocaml.html/libref/type_Format.html
 
1
<html><head>
 
2
<link rel="stylesheet" href="style.css" type="text/css">
 
3
<link rel="Start" href="index.html">
 
4
<link title="Index of types" rel="Appendix" href="index_types.html">
 
5
<link title="Index of exceptions" rel="Appendix" href="index_exceptions.html">
 
6
<link title="Index of values" rel="Appendix" href="index_values.html">
 
7
<link title="Index of class attributes" rel="Appendix" href="index_attributes.html">
 
8
<link title="Index of class methods" rel="Appendix" href="index_methods.html">
 
9
<link title="Index of classes" rel="Appendix" href="index_classes.html">
 
10
<link title="Index of class types" rel="Appendix" href="index_class_types.html">
 
11
<link title="Index of modules" rel="Appendix" href="index_modules.html">
 
12
<link title="Index of module types" rel="Appendix" href="index_module_types.html">
 
13
<link title="Arg" rel="Chapter" href="Arg.html">
 
14
 
 
15
<link title="Arith_status" rel="Chapter" href="Arith_status.html">
 
16
 
 
17
<link title="Array" rel="Chapter" href="Array.html">
 
18
 
 
19
<link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html">
 
20
 
 
21
<link title="Big_int" rel="Chapter" href="Big_int.html">
 
22
 
 
23
<link title="Bigarray" rel="Chapter" href="Bigarray.html">
 
24
 
 
25
<link title="Buffer" rel="Chapter" href="Buffer.html">
 
26
 
 
27
<link title="Callback" rel="Chapter" href="Callback.html">
 
28
 
 
29
<link title="Char" rel="Chapter" href="Char.html">
 
30
 
 
31
<link title="Condition" rel="Chapter" href="Condition.html">
 
32
 
 
33
<link title="Dbm" rel="Chapter" href="Dbm.html">
 
34
 
 
35
<link title="Digest" rel="Chapter" href="Digest.html">
 
36
 
 
37
<link title="Dynlink" rel="Chapter" href="Dynlink.html">
 
38
 
 
39
<link title="Event" rel="Chapter" href="Event.html">
 
40
 
 
41
<link title="Filename" rel="Chapter" href="Filename.html">
 
42
 
 
43
<link title="Format" rel="Chapter" href="Format.html">
 
44
 
 
45
<link title="Gc" rel="Chapter" href="Gc.html">
 
46
 
 
47
<link title="Genlex" rel="Chapter" href="Genlex.html">
 
48
 
 
49
<link title="Graphics" rel="Chapter" href="Graphics.html">
 
50
 
 
51
<link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html">
 
52
 
 
53
<link title="Hashtbl" rel="Chapter" href="Hashtbl.html">
 
54
 
 
55
<link title="Int32" rel="Chapter" href="Int32.html">
 
56
 
 
57
<link title="Int64" rel="Chapter" href="Int64.html">
 
58
 
 
59
<link title="Lazy" rel="Chapter" href="Lazy.html">
 
60
 
 
61
<link title="Lexing" rel="Chapter" href="Lexing.html">
 
62
 
 
63
<link title="List" rel="Chapter" href="List.html">
 
64
 
 
65
<link title="ListLabels" rel="Chapter" href="ListLabels.html">
 
66
 
 
67
<link title="Map" rel="Chapter" href="Map.html">
 
68
 
 
69
<link title="Marshal" rel="Chapter" href="Marshal.html">
 
70
 
 
71
<link title="MoreLabels" rel="Chapter" href="MoreLabels.html">
 
72
 
 
73
<link title="Mutex" rel="Chapter" href="Mutex.html">
 
74
 
 
75
<link title="Nativeint" rel="Chapter" href="Nativeint.html">
 
76
 
 
77
<link title="Num" rel="Chapter" href="Num.html">
 
78
 
 
79
<link title="Obj" rel="Chapter" href="Obj.html">
 
80
 
 
81
<link title="Oo" rel="Chapter" href="Oo.html">
 
82
 
 
83
<link title="Parsing" rel="Chapter" href="Parsing.html">
 
84
 
 
85
<link title="Pervasives" rel="Chapter" href="Pervasives.html">
 
86
 
 
87
<link title="Printexc" rel="Chapter" href="Printexc.html">
 
88
 
 
89
<link title="Printf" rel="Chapter" href="Printf.html">
 
90
 
 
91
<link title="Queue" rel="Chapter" href="Queue.html">
 
92
 
 
93
<link title="Random" rel="Chapter" href="Random.html">
 
94
 
 
95
<link title="Set" rel="Chapter" href="Set.html">
 
96
 
 
97
<link title="Sort" rel="Chapter" href="Sort.html">
 
98
 
 
99
<link title="Stack" rel="Chapter" href="Stack.html">
 
100
 
 
101
<link title="StdLabels" rel="Chapter" href="StdLabels.html">
 
102
 
 
103
<link title="Str" rel="Chapter" href="Str.html">
 
104
 
 
105
<link title="Stream" rel="Chapter" href="Stream.html">
 
106
 
 
107
<link title="String" rel="Chapter" href="String.html">
 
108
 
 
109
<link title="StringLabels" rel="Chapter" href="StringLabels.html">
 
110
 
 
111
<link title="Sys" rel="Chapter" href="Sys.html">
 
112
 
 
113
<link title="Thread" rel="Chapter" href="Thread.html">
 
114
 
 
115
<link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html">
 
116
 
 
117
<link title="Tk" rel="Chapter" href="Tk.html">
 
118
 
 
119
<link title="Unix" rel="Chapter" href="Unix.html">
 
120
 
 
121
<link title="UnixLabels" rel="Chapter" href="UnixLabels.html">
 
122
 
 
123
<link title="Weak" rel="Chapter" href="Weak.html">
 
124
<title>Format</title>
 
125
</head>
 
126
<body>
 
127
<pre><code><span class="keyword">sig</span>
 
128
  <span class="keyword">val</span> open_box : int <span class="keywordsign">-&gt;</span> unit
 
129
  <span class="keyword">val</span> close_box : unit <span class="keywordsign">-&gt;</span> unit
 
130
  <span class="keyword">val</span> print_string : string <span class="keywordsign">-&gt;</span> unit
 
131
  <span class="keyword">val</span> print_as : int <span class="keywordsign">-&gt;</span> string <span class="keywordsign">-&gt;</span> unit
 
132
  <span class="keyword">val</span> print_int : int <span class="keywordsign">-&gt;</span> unit
 
133
  <span class="keyword">val</span> print_float : float <span class="keywordsign">-&gt;</span> unit
 
134
  <span class="keyword">val</span> print_char : char <span class="keywordsign">-&gt;</span> unit
 
135
  <span class="keyword">val</span> print_bool : bool <span class="keywordsign">-&gt;</span> unit
 
136
  <span class="keyword">val</span> print_space : unit <span class="keywordsign">-&gt;</span> unit
 
137
  <span class="keyword">val</span> print_cut : unit <span class="keywordsign">-&gt;</span> unit
 
138
  <span class="keyword">val</span> print_break : int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
139
  <span class="keyword">val</span> print_flush : unit <span class="keywordsign">-&gt;</span> unit
 
140
  <span class="keyword">val</span> print_newline : unit <span class="keywordsign">-&gt;</span> unit
 
141
  <span class="keyword">val</span> force_newline : unit <span class="keywordsign">-&gt;</span> unit
 
142
  <span class="keyword">val</span> print_if_newline : unit <span class="keywordsign">-&gt;</span> unit
 
143
  <span class="keyword">val</span> set_margin : int <span class="keywordsign">-&gt;</span> unit
 
144
  <span class="keyword">val</span> get_margin : unit <span class="keywordsign">-&gt;</span> int
 
145
  <span class="keyword">val</span> set_max_indent : int <span class="keywordsign">-&gt;</span> unit
 
146
  <span class="keyword">val</span> get_max_indent : unit <span class="keywordsign">-&gt;</span> int
 
147
  <span class="keyword">val</span> set_max_boxes : int <span class="keywordsign">-&gt;</span> unit
 
148
  <span class="keyword">val</span> get_max_boxes : unit <span class="keywordsign">-&gt;</span> int
 
149
  <span class="keyword">val</span> over_max_boxes : unit <span class="keywordsign">-&gt;</span> bool
 
150
  <span class="keyword">val</span> open_hbox : unit <span class="keywordsign">-&gt;</span> unit
 
151
  <span class="keyword">val</span> open_vbox : int <span class="keywordsign">-&gt;</span> unit
 
152
  <span class="keyword">val</span> open_hvbox : int <span class="keywordsign">-&gt;</span> unit
 
153
  <span class="keyword">val</span> open_hovbox : int <span class="keywordsign">-&gt;</span> unit
 
154
  <span class="keyword">val</span> open_tbox : unit <span class="keywordsign">-&gt;</span> unit
 
155
  <span class="keyword">val</span> close_tbox : unit <span class="keywordsign">-&gt;</span> unit
 
156
  <span class="keyword">val</span> print_tbreak : int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
157
  <span class="keyword">val</span> set_tab : unit <span class="keywordsign">-&gt;</span> unit
 
158
  <span class="keyword">val</span> print_tab : unit <span class="keywordsign">-&gt;</span> unit
 
159
  <span class="keyword">val</span> set_ellipsis_text : string <span class="keywordsign">-&gt;</span> unit
 
160
  <span class="keyword">val</span> get_ellipsis_text : unit <span class="keywordsign">-&gt;</span> string
 
161
  <span class="keyword">val</span> set_formatter_out_channel : <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-&gt;</span> unit
 
162
  <span class="keyword">val</span> set_formatter_output_functions :
 
163
    (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> (unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> unit
 
164
  <span class="keyword">val</span> get_formatter_output_functions :
 
165
    unit <span class="keywordsign">-&gt;</span> (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) * (unit <span class="keywordsign">-&gt;</span> unit)
 
166
  <span class="keyword">val</span> set_all_formatter_output_functions :
 
167
    out:(string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span>
 
168
    flush:(unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span>
 
169
    newline:(unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> spaces:(int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> unit
 
170
  <span class="keyword">val</span> get_all_formatter_output_functions :
 
171
    unit <span class="keywordsign">-&gt;</span>
 
172
    (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) * (unit <span class="keywordsign">-&gt;</span> unit) * (unit <span class="keywordsign">-&gt;</span> unit) *
 
173
    (int <span class="keywordsign">-&gt;</span> unit)
 
174
  <span class="keyword">type</span> formatter
 
175
  <span class="keyword">val</span> formatter_of_out_channel : <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-&gt;</span> <span class="constructor">Format</span>.formatter
 
176
  <span class="keyword">val</span> std_formatter : <span class="constructor">Format</span>.formatter
 
177
  <span class="keyword">val</span> err_formatter : <span class="constructor">Format</span>.formatter
 
178
  <span class="keyword">val</span> formatter_of_buffer : <span class="constructor">Buffer</span>.t <span class="keywordsign">-&gt;</span> <span class="constructor">Format</span>.formatter
 
179
  <span class="keyword">val</span> stdbuf : <span class="constructor">Buffer</span>.t
 
180
  <span class="keyword">val</span> str_formatter : <span class="constructor">Format</span>.formatter
 
181
  <span class="keyword">val</span> flush_str_formatter : unit <span class="keywordsign">-&gt;</span> string
 
182
  <span class="keyword">val</span> make_formatter :
 
183
    (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> (unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> <span class="constructor">Format</span>.formatter
 
184
  <span class="keyword">val</span> pp_open_hbox : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
185
  <span class="keyword">val</span> pp_open_vbox : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
186
  <span class="keyword">val</span> pp_open_hvbox : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
187
  <span class="keyword">val</span> pp_open_hovbox : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
188
  <span class="keyword">val</span> pp_open_box : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
189
  <span class="keyword">val</span> pp_close_box : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
190
  <span class="keyword">val</span> pp_print_string : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> string <span class="keywordsign">-&gt;</span> unit
 
191
  <span class="keyword">val</span> pp_print_as : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> string <span class="keywordsign">-&gt;</span> unit
 
192
  <span class="keyword">val</span> pp_print_int : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
193
  <span class="keyword">val</span> pp_print_float : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> float <span class="keywordsign">-&gt;</span> unit
 
194
  <span class="keyword">val</span> pp_print_char : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> char <span class="keywordsign">-&gt;</span> unit
 
195
  <span class="keyword">val</span> pp_print_bool : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> bool <span class="keywordsign">-&gt;</span> unit
 
196
  <span class="keyword">val</span> pp_print_break : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
197
  <span class="keyword">val</span> pp_print_cut : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
198
  <span class="keyword">val</span> pp_print_space : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
199
  <span class="keyword">val</span> pp_force_newline : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
200
  <span class="keyword">val</span> pp_print_flush : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
201
  <span class="keyword">val</span> pp_print_newline : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
202
  <span class="keyword">val</span> pp_print_if_newline : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
203
  <span class="keyword">val</span> pp_open_tbox : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
204
  <span class="keyword">val</span> pp_close_tbox : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
205
  <span class="keyword">val</span> pp_print_tbreak : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
206
  <span class="keyword">val</span> pp_set_tab : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
207
  <span class="keyword">val</span> pp_print_tab : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> unit
 
208
  <span class="keyword">val</span> pp_set_margin : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
209
  <span class="keyword">val</span> pp_get_margin : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> int
 
210
  <span class="keyword">val</span> pp_set_max_indent : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
211
  <span class="keyword">val</span> pp_get_max_indent : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> int
 
212
  <span class="keyword">val</span> pp_set_max_boxes : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit
 
213
  <span class="keyword">val</span> pp_get_max_boxes : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> int
 
214
  <span class="keyword">val</span> pp_over_max_boxes : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> bool
 
215
  <span class="keyword">val</span> pp_set_ellipsis_text : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> string <span class="keywordsign">-&gt;</span> unit
 
216
  <span class="keyword">val</span> pp_get_ellipsis_text : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> unit <span class="keywordsign">-&gt;</span> string
 
217
  <span class="keyword">val</span> pp_set_formatter_out_channel :
 
218
    <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> <span class="constructor">Pervasives</span>.out_channel <span class="keywordsign">-&gt;</span> unit
 
219
  <span class="keyword">val</span> pp_set_formatter_output_functions :
 
220
    <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span>
 
221
    (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> (unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> unit
 
222
  <span class="keyword">val</span> pp_get_formatter_output_functions :
 
223
    <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span>
 
224
    unit <span class="keywordsign">-&gt;</span> (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) * (unit <span class="keywordsign">-&gt;</span> unit)
 
225
  <span class="keyword">val</span> pp_set_all_formatter_output_functions :
 
226
    <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span>
 
227
    out:(string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span>
 
228
    flush:(unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span>
 
229
    newline:(unit <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> spaces:(int <span class="keywordsign">-&gt;</span> unit) <span class="keywordsign">-&gt;</span> unit
 
230
  <span class="keyword">val</span> pp_get_all_formatter_output_functions :
 
231
    <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span>
 
232
    unit <span class="keywordsign">-&gt;</span>
 
233
    (string <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> int <span class="keywordsign">-&gt;</span> unit) * (unit <span class="keywordsign">-&gt;</span> unit) * (unit <span class="keywordsign">-&gt;</span> unit) *
 
234
    (int <span class="keywordsign">-&gt;</span> unit)
 
235
  <span class="keyword">val</span> fprintf : <span class="constructor">Format</span>.formatter <span class="keywordsign">-&gt;</span> (<span class="keywordsign">'</span>a, <span class="constructor">Format</span>.formatter, unit) format <span class="keywordsign">-&gt;</span> <span class="keywordsign">'</span>a
 
236
  <span class="keyword">val</span> printf : (<span class="keywordsign">'</span>a, <span class="constructor">Format</span>.formatter, unit) format <span class="keywordsign">-&gt;</span> <span class="keywordsign">'</span>a
 
237
  <span class="keyword">val</span> eprintf : (<span class="keywordsign">'</span>a, <span class="constructor">Format</span>.formatter, unit) format <span class="keywordsign">-&gt;</span> <span class="keywordsign">'</span>a
 
238
  <span class="keyword">val</span> sprintf : (<span class="keywordsign">'</span>a, unit, string) format <span class="keywordsign">-&gt;</span> <span class="keywordsign">'</span>a
 
239
  <span class="keyword">val</span> bprintf : <span class="constructor">Buffer</span>.t <span class="keywordsign">-&gt;</span> (<span class="keywordsign">'</span>a, <span class="constructor">Format</span>.formatter, unit) format <span class="keywordsign">-&gt;</span> <span class="keywordsign">'</span>a
 
240
<span class="keyword">end</span></code></pre></body></html>
 
 
b'\\ No newline at end of file'