Next: Relation to Standard ML
Up: No Title
Previous: List of all library
The following libraries are preloaded by default: Array,
Char, List, String, TextIO, and Vector. To
load any other library lib, evaluate load "lib"
in the top-level system.
![tabular838](img32.gif)
![tabular844](img33.gif)
- Functions hd, tl, and last may raise exception
Empty; functions drop, nth, and take may
raise exception Subscript.
- For a more detailed description, type help "List"; or see
file mosml/lib/List.sig. The List unit is loaded and
partially opened in the initial environment, making the following
functions available: @, app, foldl, foldr,
hd, length, map, null, rev, tl.
![tabular898](img34.gif)
- For a more detailed description, see file
mosml/lib/TextIO.sig, or type help "TextIO";.
- For the corresponding structure BinIO for binary
(untranslated) input and output, see help "BinIO".
- On error, these functions will raise exception Io with an
explanatory argument.
![tabular930](img35.gif)
- Functions
^
, concat, implode, and
translate may raise exception Size, and sub and
substring may raise Subscript. - In addition, the overloaded comparison operators <,
<=, >, >= work on strings.
- For a more detailed description, see file
mosml/lib/String.sig, or type help "String";.
Type 'a vector is the type of one-dimensional, immutable,
zero-based constant time access vectors with elements of type
'a. Type 'a vector admits equality if 'a does.
![tabular974](img36.gif)
- Functions fromList, tabulate, and concat may
raise exception Size, and sub and extract may
raise Subscript.
- For a more detailed description, type help "Vector"; or
see file mosml/lib/Vector.sig.
Type 'a array is the type of one-dimensional, mutable,
zero-based constant time access arrays with elements of type 'a.
Type 'a array admits equality regardless whether 'a does.
![tabular1016](img37.gif)
- Functions array, tabulate, and fromList may
raise exception Size, and sub, update,
extract, and copy may raise Subscript.
- For a more detailed description, type help "Array"; or see
file mosml/lib/Array.sig. The Array unit is loaded but
not opened in the initial environment.
![tabular1062](img38.gif)
- In addition, the overloaded comparison operators <,
<=, >, >= work on the char type.
- For a more detailed description, type help "Char"; or see
file mosml/lib/Char.sig. The Char unit is loaded and
partially opened in the initial environment, making the functions
chr and ord available.
Next: Relation to Standard ML
Up: No Title
Previous: List of all library
Moscow ML 1.42