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.
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 |
FileSys | interaction with the file system | SF |
General | various top-level primitives | SD |
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 |
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 |
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.