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

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)