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.