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
| 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:
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";