1<html> <head> <title>Moscow ML Library Manual</title> </head> 2<body bgcolor="#fbf2e7"> 3 4<H1>Moscow ML Library</h1> 5 6<P>The Moscow ML Library consists of large parts of the <A 7HREF="http://www.dina.kvl.dk/~sestoft/sml/">SML Basis Library</A> and 8a number of extensions. 9 10<P>The HTML files referred below may be downloaded to your local site: 11<A 12HREF="ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmllib-html.tgz">gzipped 13tar file</A> or <A 14HREF="ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmllib-html.zip">zip 15file</A>. 16 17<A NAME="structures"><H2>Identifier index</H2></A> 18 19<P><a href="idIndex.html">Identifier index</a> 20 21 22<A NAME="structures"><H2>All structures</H2></A> 23 24<A HREF="Array.html">Array</A> 25<A HREF="Array2.html">Array2</A> 26<A HREF="Arraysort.html">Arraysort</A> 27<A HREF="BasicIO.html">BasicIO</A> 28<A HREF="Binarymap.html">Binarymap</A> 29<A HREF="Binaryset.html">Binaryset</A> 30<A HREF="BinIO.html">BinIO</A> 31<A HREF="Bool.html">Bool</A> 32<A HREF="Byte.html">Byte</A> 33<A HREF="Callback.html">Callback</A> 34<A HREF="Char.html">Char</A> 35<A HREF="CharArray.html">CharArray</A> 36<A HREF="CharVector.html">CharVector</A> 37<A HREF="CommandLine.html">CommandLine</A> 38<A HREF="Date.html">Date</A> 39<A HREF="Dynarray.html">Dynarray</A> 40<A HREF="Dynlib.html">Dynlib</A> 41<A HREF="FileSys.html">FileSys</A> 42<A HREF="Gdbm.html">Gdbm</A> 43<A HREF="Gdimage.html">Gdimage</A> 44<A HREF="General.html">General</A> 45<A HREF="Help.html">Help</A> 46<A HREF="Int.html">Int</A> 47<A HREF="Intmap.html">Intmap</A> 48<A HREF="Intset.html">Intset</A> 49<A HREF="Lexing.html">Lexing</A> 50<A HREF="List.html">List</A> 51<A HREF="ListPair.html">ListPair</A> 52<A HREF="Listsort.html">Listsort</A> 53<A HREF="Location.html">Location</A> 54<A HREF="Math.html">Math</A> 55<A HREF="Meta.html">Meta</A> 56<A HREF="Mosml.html">Mosml</A> 57<A HREF="Mosmlcgi.html">Mosmlcgi</A> 58<A HREF="Mosmlcookie.html">Mosmlcookie</A> 59<A HREF="Msp.html">Msp</A> 60<A HREF="Mysql.html">Mysql</A> 61<A HREF="NJ93.html">NJ93</A> 62<A HREF="Nonstdio.html">Nonstdio</A> 63<A HREF="OS.html">OS</A> 64<A HREF="Option.html">Option</A> 65<A HREF="Parsing.html">Parsing</A> 66<A HREF="Path.html">Path</A> 67<A HREF="Polygdbm.html">Polygdbm</A> 68<A HREF="Polyhash.html">Polyhash</A> 69<A HREF="Postgres.html">Postgres</A> 70<A HREF="PP.html">PP</A> 71<A HREF="Process.html">Process</A> 72<A HREF="Random.html">Random</A> 73<A HREF="Real.html">Real</A> 74<A HREF="Regex.html">Regex</A> 75<A HREF="Signal.html">Signal</A> 76<A HREF="SML90.html">SML90</A> 77<A HREF="Socket.html">Socket</A> 78<A HREF="Splaymap.html">Splaymap</A> 79<A HREF="Splayset.html">Splayset</A> 80<A HREF="Splaytree.html">Splaytree</A> 81<A HREF="String.html">String</A> 82<A HREF="StringCvt.html">StringCvt</A> 83<A HREF="Substring.html">Substring</A> 84<A HREF="Susp.html">Susp</A> 85<A HREF="TextIO.html">TextIO</A> 86<A HREF="Time.html">Time</A> 87<A HREF="Timer.html">Timer</A> 88<A HREF="Unix.html">Unix</A> 89<A HREF="Vector.html">Vector</A> 90<A HREF="Weak.html">Weak</A> 91<A HREF="Word.html">Word</A> 92<A HREF="Word8.html">Word8</A> 93<A HREF="Word8Array.html">Word8Array</A> 94<A HREF="Word8Vector.html">Word8Vector</A> 95 96 97<H2>Description of the structures</H2> 98 99<TABLE BORDER> 100<TR><TH>Name<TH>Contents<TH>Compatibility 101<TR><TD><A HREF="Array.html">Array</A> 102<TD>mutable constant-time-access arrays<TD>SDFNO 103 104<TR><TD><A HREF="Array2.html">Array2</A> 105<TD>two-dimensional arrays<TD>S 106 107<TR><TD><A HREF="Arraysort.html">Arraysort</A> 108<TD>array sorting (quicksort)<TD>L 109 110<TR><TD><A HREF="BasicIO.html">BasicIO</A> 111<TD>input-output as in SML'90<TD>DF 112 113<TR><TD><A HREF="Binarymap.html">Binarymap</A> 114<TD>binary tree implementation of finite maps<TD>L 115 116<TR><TD><A HREF="Binaryset.html">Binaryset</A> 117<TD>binary tree implementation of finite sets<TD>SF 118 119<TR><TD><A HREF="BinIO.html">BinIO</A> 120<TD>binary input-output streams (imperative)<TD>L 121 122<TR><TD><A HREF="Bool.html">Bool</A> 123<TD>Booleans<TD>SF 124 125<TR><TD><A HREF="Byte.html">Byte</A> 126<TD>character-byte conversion<TD>SF 127 128<TR><TD><A HREF="Callback.html">Callback</A> 129<TD>registering ML values for access from C code<TD> 130 131<TR><TD><A HREF="Char.html">Char</A> 132<TD>characters<TD>SDFNO 133 134<TR><TD><A HREF="CharArray.html">CharArray</A> 135<TD>arrays of characters<TD>SF 136 137<TR><TD><A HREF="CharVector.html">CharVector</A> 138<TD>vectors of characters (= strings)<TD>SF 139 140<TR><TD><A HREF="CommandLine.html">CommandLine</A> 141<TD>program name and arguments<TD>SF 142 143<TR><TD><A HREF="Date.html">Date</A> 144<TD>manipulation of calendar dates<TD>SF 145 146<TR><TD><A HREF="Dynarray.html">Dynarray</A> 147<TD>dynamic arrays<TD>L 148 149<TR><TD><A HREF="Dynlib.html">Dynlib</A> 150<TD>dynamic linking of foreign (C) functions<TD> 151 152<TR><TD><A HREF="FileSys.html">FileSys</A> 153<TD>interaction with the file system<TD>SF 154 155<TR><TD><A HREF="General.html">General</A> 156<TD>various top-level primitives<TD>SD 157 158<TR><TD><A HREF="Gdbm.html">Gdbm</A> 159<TD>persistent hash tables of strings (gdbm)<TD>C 160 161<TR><TD><A HREF="Gdimage.html">Gdimage</A> 162<TD>generation of PNG images (Boutell's GD package)<TD>C 163 164<TR><TD><A HREF="Help.html">Help</A> 165<TD>on-line help<TD>DFNO 166 167<TR><TD><A HREF="Int.html">Int</A> 168<TD>operations on integers<TD>SF 169 170<TR><TD><A HREF="Intmap.html">Intmap</A> 171<TD>finite maps from integers<TD>L 172 173<TR><TD><A HREF="Intset.html">Intset</A> 174<TD>finite sets of integers<TD>L 175 176<TR><TD><A HREF="Lexing.html">Lexing</A> 177<TD>support for lexers generated by mosmllex<TD>  178 179<TR><TD><A HREF="List.html">List</A> 180<TD>classic list manipulation functions<TD>SDFNO 181 182<TR><TD><A HREF="ListPair.html">ListPair</A> 183<TD>operations on pairs of lists<TD>SF 184 185<TR><TD><A HREF="Listsort.html">Listsort</A> 186<TD>list sorting (mergesort)<TD> 187 188<TR><TD><A HREF="Location.html">Location</A> 189<TD>error reporting for lexers and parsers<TD> 190 191<TR><TD><A HREF="Math.html">Math</A> 192<TD>trigonometric functions etc.<TD>SF 193 194<TR><TD><A HREF="Meta.html">Meta</A> 195<TD>functions specific to the interactive system<TD> 196 197<TR><TD><A HREF="Mosml.html">Mosml</A> 198<TD>various non-standard utilities<TD>F 199 200<TR><TD><A HREF="Mosmlcgi.html">Mosmlcgi</A> 201<TD>utilities for writing CGI programs<TD> 202 203<TR><TD><A HREF="Mosmlcookie.html">Mosmlcookie</A> 204<TD>manipulating cookies in CGI programs<TD> 205 206<TR><TD><A HREF="Msp.html">Msp</A> 207<TD>ML Server Pages, mixing HTML and SML<TD> 208 209<TR><TD><A HREF="Mysql.html">Mysql</A> 210<TD>interface to the Mysql database server<TD>C 211 212<TR><TD><A HREF="NJ93.html">NJ93</A> 213<TD>top-level compatibility with SML/NJ 0.93<TD>N 214 215<TR><TD><A HREF="Nonstdio.html">Nonstdio</A> 216<TD>non-standard I/O, used by lexers<TD> 217 218<TR><TD><A HREF="OS.html">OS</A> 219<TD>operating system information<TD>SF 220 221<TR><TD><A HREF="Option.html">Option</A> 222<TD>partial functions<TD>SDFNO 223 224<TR><TD><A HREF="Parsing.html">Parsing</A> 225<TD>support for parsers generated by mosmlyac<TD>  226 227<TR><TD><A HREF="Path.html">Path</A> 228<TD>file-system independent path manipulation<TD>SF 229 230<TR><TD><A HREF="Polygdbm.html">Polygdbm</A> 231<TD>polymorphic persistent hash tables (gdbm)<TD>C 232 233<TR><TD><A HREF="Polyhash.html">Polyhash</A> 234<TD>polymorphic hash tables<TD> 235 236<TR><TD><A HREF="Postgres.html">Postgres</A> 237<TD>interface to the PostgreSQL database server<TD>C 238 239<TR><TD><A HREF="PP.html">PP</A> 240<TD>general prettyprinters<TD>L 241 242<TR><TD><A HREF="Process.html">Process</A> 243<TD>manipulating processes<TD>SF 244 245<TR><TD><A HREF="Random.html">Random</A> 246<TD>generation of pseudo-random numbers<TD> 247 248<TR><TD><A HREF="Real.html">Real</A> 249<TD>arithmetics on floating-point numbers<TD>SF 250 251<TR><TD><A HREF="Regex.html">Regex</A> 252<TD>regular expressions as in POSIX 1003.2<TD>C 253 254<TR><TD><A HREF="Signal.html">Signal</A> 255<TD>Unix signals<TD>S 256 257<TR><TD><A HREF="SML90.html">SML90</A> 258<TD>top-level compatibility with SML'90<TD>SO 259 260<TR><TD><A HREF="Socket.html">Socket</A> 261<TD>interface to sockets<TD>C 262 263<TR><TD><A HREF="Splaymap.html">Splaymap</A> 264<TD>splay-tree implementation of finite maps<TD>L 265 266<TR><TD><A HREF="Splayset.html">Splayset</A> 267<TD>splay-tree implementation of finite sets<TD>L 268 269<TR><TD><A HREF="Splaytree.html">Splaytree</A> 270<TD>support for splay-trees<TD> 271 272<TR><TD><A HREF="String.html">String</A> 273<TD>string manipulation<TD>SDFNO 274 275<TR><TD><A HREF="StringCvt.html">StringCvt</A> 276<TD>conversion to and from strings<TD>SF 277 278<TR><TD><A HREF="Substring.html">Substring</A> 279<TD>manipulation of constant-time substrings<TD>SF 280 281<TR><TD><A HREF="Susp.html">Susp</A> 282<TD>support for lazy evaluation<TD> 283 284<TR><TD><A HREF="TextIO.html">TextIO</A> 285<TD>text input-output streams (imperative)<TD>SDF 286 287<TR><TD><A HREF="Time.html">Time</A> 288<TD>time points and durations<TD>SF 289 290<TR><TD><A HREF="Timer.html">Timer</A> 291<TD>measuring real time and cpu time<TD>SF 292 293<TR><TD><A HREF="Unix.html">Unix</A> 294<TD>starting concurrent subprocesses under Unix<TD>S 295 296<TR><TD><A HREF="Vector.html">Vector</A> 297<TD>immutable constant-time-access vectors<TD>SDFNO 298 299<TR><TD><A HREF="Weak.html">Weak</A> 300<TD>arrays of weak pointers<TD> 301 302<TR><TD><A HREF="Word.html">Word</A> 303<TD>words (31-bit unsigned integers)<TD>SF 304 305<TR><TD><A HREF="Word8.html">Word8</A> 306<TD>bytes (8-bit unsigned integers)<TD>SF 307 308<TR><TD><A HREF="Word8Array.html">Word8Array</A> 309<TD>arrays of bytes<TD>SF 310 311<TR><TD><A HREF="Word8Vector.html">Word8Vector</A> 312<TD>vectors of bytes<TD>SF 313</TABLE> 314 315<P>The compatibility field is interpreted as follows: 316 317<DL COMPACT> 318<DT>S<DD>means that the unit belongs to the SML Basis Library. 319 320<DT>D<DD>means that the unit is loaded if no `-P' option is specified 321 (default). 322 323<DT>F<DD>means that the unit is loaded if option `-P full' is specified. 324 325<DT>N<DD>means that the unit is loaded if option `-P nj93' is specified. 326 327<DT>O<DD>means that the unit is loaded if option `-P sml90' is specified. 328 329<DT>L<DD>means that the unit is from the SML/NJ Library (version 0.2). 330 331<DT>C<DD>means that the unit requires the Dynlib foreign (C) function 332interface and other foreign libraries 333</DL> 334 335 336<H2>Getting help in a mosml interactive session</H2> 337 338<P>Within a mosml interactive session, the Moscow ML Library manual 339pages are accessible in ASCII format from the `help' utility. For 340instance, to get help on the <CODE>toString</CODE> functions, type 341 342<PRE> 343 help "tostring"; 344</PRE> 345 346<P><hr><EM><A HREF="http://www.dina.kvl.dk/~sestoft/mosml.html"> 347Moscow ML</A> 2.00</EM>, 348<a href="http://www.dina.kvl.dk/~sestoft/">Peter Sestoft</a> 349(<a href="mailto:sestoft@dina.kvl.dk">sestoft@dina.kvl.dk</a>) 3502000-06-29</body></html> 351