MLton MLTONWIKIVERSION

MLBasisAvailableLibraries

Home Index

MLton comes with the following ML Basis files available.

- `$(SML_LIB)/basis/basis.mlb`
  The Basis Library.

- `$(SML_LIB)/basis/basis-1997.mlb`
  The (deprecated) 1997 version of the Basis Library.

- `$(SML_LIB)/basis/mlton.mlb`
  The MLton structure and signatures.

- `$(SML_LIB)/basis/sml-nj.mlb`
  The SMLofNJ structure and signature.

- `$(SML_LIB)/basis/unsafe.mlb`
  The Unsafe structure and signature.

- `$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb`
  Modules used by parsers built with MLYacc.

- `$(SML_LIB)/cml/cml.mlb`
  ConcurrentML, a library for message-passing concurrency.

- `$(SML_LIB)/mlnlffi-lib/mlnlffi-lib.mlb`
  ML-NLFFI, a library for foreign function interfaces.

- `$(SML_LIB)/mlrisc-lib/...`
  MLRISCLibrary, a library for retargetable and optimizing compiler back ends.

- `$(SML_LIB)/smlnj-lib/...`
  SMLNJLibrary, a collection of libraries distributed with SML/NJ.

- `$(SML_LIB)/ckit-lib/ckit-lib.mlb`
  CKitLibrary, a library for C source code.

## Basis fragments

There are a number of specialized ML Basis files for importing fragments of the Basis Library that can not be expressed within SML.

- `$(SML_LIB)/basis/pervasive-types.mlb`
  The top-level types and constructors of the Basis Library.

- `$(SML_LIB)/basis/pervasive-exns.mlb`
  The top-level exception constructors of the Basis Library.

- `$(SML_LIB)/basis/pervasive-vals.mlb`
  The top-level values of the Basis Library, without infix status.

- `$(SML_LIB)/basis/overloads.mlb`
  The top-level overloaded values of the Basis Library, without infix status.

- `$(SML_LIB)/basis/equal.mlb`
  The polymorphic equality `=` and inequality `<>` values, without infix status.

- `$(SML_LIB)/basis/infixes.mlb`
  The infix declarations of the Basis Library.

- `$(SML_LIB)/basis/pervasive.mlb`
  The entire top-level value and type environment of the Basis Library, with infix status. This is the same as importing the above six MLB files.

Last edited on 2007-08-23 17:13:23 by MatthewFluet.