Moscow ML Library Manual

# Moscow ML Library

The Moscow ML Library consists of large parts of the SML Basis Library and a number of extensions.

The HTML files referred below may be downloaded to your local site: gzipped tar file or zip file.

## Identifier index

Identifier index

## All structures

Array Array2 Arraysort BasicIO Binarymap Binaryset BinIO Bool Byte Callback Char CharArray CharVector CommandLine Date Dynarray Dynlib FileSys Gdbm Gdimage General Help Int Intmap Intset Lexing List ListPair Listsort Location Math Meta Mosml Mosmlcgi Mosmlcookie Msp Mysql NJ93 Nonstdio OS Option Parsing Path Polygdbm Polyhash Postgres PP Process Random Real Regex Signal SML90 Socket Splaymap Splayset String StringCvt Substring Susp TextIO Time Timer Unix Vector Weak Word Word8 Word8Array Word8Vector

## Description of the structures

Name | Contents | Compatibility
--- | --- | ---
Array | mutable constant-time-access arrays | SDFNO
Array2 | two-dimensional arrays | S
Arraysort | array sorting (quicksort) | L
BasicIO | input-output as in SML'90 | DF
Binarymap | binary tree implementation of finite maps | L
Binaryset | binary tree implementation of finite sets | SF
BinIO | binary input-output streams (imperative) | L
Bool | Booleans | SF
Byte | character-byte conversion | SF
Callback | registering ML values for access from C code |
Char | characters | SDFNO
CharArray | arrays of characters | SF
CharVector | vectors of characters (= strings) | SF
CommandLine | program name and arguments | SF
Date | manipulation of calendar dates | SF
Dynarray | dynamic arrays | L
Dynlib | dynamic linking of foreign (C) functions |
FileSys | interaction with the file system | SF
General | various top-level primitives | SD
Gdbm | persistent hash tables of strings (gdbm) | C
Gdimage | generation of PNG images (Boutell's GD package) | C
Help | on-line help | DFNO
Int | operations on integers | SF
Intmap | finite maps from integers | L
Intset | finite sets of integers | L
Lexing | support for lexers generated by mosmllex |
List | classic list manipulation functions | SDFNO
ListPair | operations on pairs of lists | SF
Listsort | list sorting (mergesort) |
Location | error reporting for lexers and parsers |
Math | trigonometric functions etc. | SF
Meta | functions specific to the interactive system |
Mosml | various non-standard utilities | F
Mosmlcgi | utilities for writing CGI programs |
Mosmlcookie | manipulating cookies in CGI programs |
Msp | ML Server Pages, mixing HTML and SML |
Mysql | interface to the Mysql database server | C
NJ93 | top-level compatibility with SML/NJ 0.93 | N
Nonstdio | non-standard I/O, used by lexers |
OS | operating system information | SF
Option | partial functions | SDFNO
Parsing | support for parsers generated by mosmlyac |
Path | file-system independent path manipulation | SF
Polygdbm | polymorphic persistent hash tables (gdbm) | C
Polyhash | polymorphic hash tables |
Postgres | interface to the PostgreSQL database server | C
PP | general prettyprinters | L
Process | manipulating processes | SF
Random | generation of pseudo-random numbers |
Real | arithmetics on floating-point numbers | SF
Regex | regular expressions as in POSIX 1003.2 | C
Signal | Unix signals | S
SML90 | top-level compatibility with SML'90 | SO
Socket | interface to sockets | C
Splaymap | splay-tree implementation of finite maps | L
Splayset | splay-tree implementation of finite sets | L
String | string manipulation | SDFNO
StringCvt | conversion to and from strings | SF
Substring | manipulation of constant-time substrings | SF
Susp | support for lazy evaluation |
TextIO | text input-output streams (imperative) | SDF
Time | time points and durations | SF
Timer | measuring real time and cpu time | SF
Unix | starting concurrent subprocesses under Unix | S
Vector | immutable constant-time-access vectors | SDFNO
Weak | arrays of weak pointers |
Word | words (31-bit unsigned integers) | SF
Word8 | bytes (8-bit unsigned integers) | SF
Word8Array | arrays of bytes | SF
Word8Vector | vectors of bytes | SF

The compatibility field is interpreted as follows:

S
  means that the unit belongs to the SML Basis Library.
D
  means that the unit is loaded if no `-P' option is specified (default).
F
  means that the unit is loaded if option `-P full' is specified.
N
  means that the unit is loaded if option `-P nj93' is specified.
O
  means that the unit is loaded if option `-P sml90' is specified.
L
  means that the unit is from the SML/NJ Library (version 0.2).
C
  means that the unit requires the Dynlib foreign (C) function interface and other foreign libraries

## Getting help in a mosml interactive session

Within a mosml interactive session, the Moscow ML Library manual pages are accessible in ASCII format from the `help' utility. For instance, to get help on the `toString` functions, type

       help "tostring";

Moscow ML 2.00, Peter Sestoft (sestoft@dina.kvl.dk) 2000-08-02