Standard ML Basis Manual

Cover......Page 1
Half-title......Page 3
Title......Page 5
Copyright......Page 6
Contents......Page 7
Foreword......Page 13
Preface......Page 15
Overview of the book......Page 16
Acknowledgments......Page 17
1 Introduction......Page 19
1.1 Design rules and conventions......Page 20
1.1.2 Naming......Page 21
1.1.4 Conversions......Page 22
1.1.6 Operating system interfaces......Page 23
1.1.7 Miscellany......Page 24
1.2.1 Organization of the manual pages......Page 25
1.2.2 Terminology and notation......Page 26
Syntactic and semantic liberties......Page 27
2.1 Required modules......Page 29
2.2 Optional modules......Page 30
3.2 Top-level type, exception, and value identifiers......Page 37
3.3 Overloaded identifiers......Page 40
3.5 The process environment......Page 41
4 General usages......Page 43
4.1 Linear ordering......Page 44
4.2 Option......Page 45
4.3 Exception handling......Page 47
4.4 Miscellaneous functions......Page 48
5.1 Characters......Page 51
5.3.1 The structure......Page 52
5.3.2 Converting to text......Page 53
5.3.3 Converting from text......Page 54
5.3.4 The structure......Page 55
5.4.1 Tokenizing......Page 56
5.4.2 Readers......Page 58
6.1.2 Word to word conversions......Page 61
6.1.4 Integer to word conversions......Page 62
6.2 Floating-point numbers......Page 63
6.2.1 Floating-point conversions......Page 64
6.3 Packed data......Page 65
7.1 Common patterns......Page 69
7.1.1 Indexed iterations......Page 73
7.2 Lists......Page 74
7.4 Subsequences and slices......Page 75
7.5 Operating on pairs of lists......Page 76
7.6 Two-dimensional arrays......Page 77
8.1 The I/O model......Page 79
8.1.2 Stream I/O......Page 80
8.1.3 End-of-stream......Page 82
8.2.1 Opening files......Page 83
8.2.2 Imperative stream input ( IMPERATIVE_IO)......Page 84
8.2.3 Functional stream input ( STREAM_IO)......Page 86
Reading a pattern from a stream......Page 87
Library functions for scanning input streams......Page 88
Getting characters without blocking......Page 89
Random access output......Page 90
Dynamic binding of output streams......Page 91
8.2.5 Readers and writers (PRIM_IO)......Page 92
Random access seeking, reading, and writing......Page 93
Random access with text I/O......Page 94
Algorithmic streams......Page 95
8.2.6 Comparison of I/O functions......Page 96
9.1.1 File system pathnames......Page 99
9.1.2 File system operations......Page 101
9.1.3 Processes......Page 103
9.1.4 I/O descriptors......Page 104
9.1.5 Time and dates......Page 106
9.2 Operating-system specific programming......Page 108
9.2.1 The structure......Page 109
9.2.2 System flags......Page 112
9.2.3 POSIX Programming......Page 113
9.2.4 The structure......Page 114
10.1.1 Socket-related modules......Page 117
10.1.3 Socket I/O operations......Page 118
10.3 Internet-domain stream sockets......Page 119
10.4 Internet-domain datagram sockets......Page 122
10.5 Unix-domain sockets......Page 123
10.6.1 Polling sockets......Page 124
10.6.3 Supporting multiple domains in an application......Page 125
10.6.4 Creating sockets in other domains......Page 127
11 Manual pages......Page 129
Interface......Page 130
Description......Page 131
See also......Page 133
Interface......Page 134
Description......Page 135
Discussion......Page 138
See also......Page 139
Interface......Page 140
Description......Page 141
See also......Page 144
Description......Page 145
See also......Page 146
Description......Page 147
See also......Page 148
Discussion......Page 149
See also......Page 150
Description......Page 151
See also......Page 152
Interface......Page 153
Description......Page 154
Discussion......Page 159
See also......Page 160
Discussion......Page 161
Interface......Page 162
Description......Page 163
See also......Page 166
Description......Page 167
Example:......Page 169
Description......Page 171
See also......Page 172
Description......Page 173
See also......Page 175
Description......Page 176
Discussion......Page 180
See also......Page 182
See also......Page 183
Description......Page 184
See also......Page 186
Interface......Page 187
Description......Page 188
See also......Page 191
Description......Page 192
Rationale:......Page 193
See also......Page 194
Description......Page 195
See also......Page 197
Interface......Page 198
Description......Page 199
See also......Page 202
Description......Page 203
See also......Page 206
Description......Page 207
See also......Page 210
Synopsis......Page 211
Description......Page 212
See also......Page 216
Synopsis......Page 217
Interface......Page 218
Description......Page 219
See also......Page 222
Synopsis......Page 223
Interface......Page 224
Description......Page 225
See also......Page 228
Interface......Page 229
Description......Page 230
See also......Page 232
Synopsis......Page 233
Description......Page 234
See also......Page 237
Description......Page 238
See also......Page 240
Description......Page 241
See also......Page 242
Description......Page 243
See also......Page 244
Description......Page 245
Description......Page 247
See also......Page 248
Interface......Page 249
Description......Page 250
Discussion......Page 253
See also......Page 254
Description......Page 255
Implementation note:......Page 256
See also......Page 258
11.35 The OS.Path structure......Page 259
Interface......Page 260
Description......Page 261
See also......Page 267
Description......Page 268
See also......Page 270
Description......Page 271
See also......Page 272
Description......Page 273
See also......Page 274
Description......Page 275
See also......Page 276
Interface......Page 277
Discussion......Page 278
See also......Page 280
Interface......Page 281
Description......Page 283
See also......Page 293
Interface......Page 294
Description......Page 296
See also......Page 301
Interface......Page 302
Description......Page 303
See also......Page 306
Interface......Page 307
Description......Page 308
See also......Page 311
Description......Page 312
See also......Page 313
Description......Page 314
See also......Page 315
Interface......Page 316
Description......Page 319
See also......Page 325
Synopsis......Page 326
Interface......Page 327
Description......Page 328
Discussion......Page 333
See also......Page 334
See also......Page 335
Interface......Page 336
Description......Page 338
Discussion......Page 346
See also......Page 347
Interface......Page 348
Description......Page 352
See also......Page 363
Interface......Page 364
Description......Page 365
Discussion......Page 371
See also......Page 375
Discussion......Page 376
See also......Page 377
Interface......Page 378
Description......Page 379
See also......Page 383
Description......Page 384
Discussion......Page 387
See also......Page 388
Interface......Page 390
Description......Page 392
See also......Page 397
Interface......Page 398
See also......Page 399
Interface......Page 400
Description......Page 401
Discussion......Page 402
See also......Page 403
See also......Page 404
Description......Page 405
See also......Page 408
Description......Page 409
See also......Page 411
Interface......Page 412
Description......Page 413
See also......Page 415
Description......Page 416
See also......Page 418
Description......Page 419
See also......Page 422
Description......Page 423
See also......Page 426
Interface......Page 427
Description......Page 430
Discussion......Page 436
See also......Page 437
Interface......Page 438
Description......Page 439
Discussion......Page 443
See also......Page 444
Bibliography......Page 445
General index......Page 447
SML identifier index......Page 453
Raised exception index......Page 483