The Moscow ML Library consists of large parts of the SML Basis Library and some extensions, mostly drawn from the SML/NJ Library and the Caml Light system.
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
Char
CharArray
CharVector
CommandLine
Date
Dynarray
Dynlib
FileSys
Gdbm
General
Help
Int
Intmap
Intset
Lexing
List
ListPair
Listsort
Location
Math
Meta
Mosml
Mosmlcgi
NJ93
Nonstdio
OS
Option
Parsing
Path
Polygdbm
Polyhash
PP
Process
Random
Real
SML90
Splaymap
Splayset
Splaytree
String
StringCvt
Substring
Susp
TextIO
Time
Timer
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 |
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) | |
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 | |
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) | |
Polyhash | polymorphic hash tables | |
PP | general prettyprinters | L |
Process | manipulating processes | SF |
Random | generation of pseudo-random numbers | |
Real | arithmetics on floating-point numbers | SF |
SML90 | top-level compatibility with SML'90 | SO |
Splaymap | splay-tree implementation of finite maps | L |
Splayset | splay-tree implementation of finite sets | L |
Splaytree | support for splay-trees | |
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 |
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";
The library manual pages were generated automatically from annotated signature files in mosml/lib/*.sig.