<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.10">
<title>MLBasisAvailableLibraries</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">


<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css">
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20201002</a>
</div>
</div>
<div id="header">
<h1>MLBasisAvailableLibraries</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>MLton comes with the following <a href="MLBasis">ML Basis</a> files available.</p></div>
<div class="ulist"><ul>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/basis.mlb</span>
</p>
<div class="paragraph"><p>The <a href="BasisLibrary">Basis Library</a>.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/basis-1997.mlb</span>
</p>
<div class="paragraph"><p>The (deprecated) 1997 version of the <a href="BasisLibrary">Basis Library</a>.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/mlton.mlb</span>
</p>
<div class="paragraph"><p>The <a href="MLtonStructure">MLton</a> structure and signatures.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/c-types.mlb</span>
</p>
<div class="paragraph"><p>Various structure aliases useful as <a href="ForeignFunctionInterfaceTypes">ForeignFunctionInterfaceTypes</a>.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/unsafe.mlb</span>
</p>
<div class="paragraph"><p>The <a href="UnsafeStructure">Unsafe</a> structure and signature.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/sml-nj.mlb</span>
</p>
<div class="paragraph"><p>The <a href="SMLofNJStructure">SMLofNJ</a> structure and signature.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb</span>
</p>
<div class="paragraph"><p>Modules used by parsers built with <a href="MLYacc">MLYacc</a>.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/cml/cml.mlb</span>
</p>
<div class="paragraph"><p><a href="ConcurrentML">ConcurrentML</a>, a library for message-passing concurrency.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/mlnlffi-lib/mlnlffi-lib.mlb</span>
</p>
<div class="paragraph"><p><a href="MLNLFFI">ML-NLFFI</a>, a library for foreign function interfaces.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/mlrisc-lib/...</span>
</p>
<div class="paragraph"><p><a href="MLRISCLibrary">MLRISCLibrary</a>, a library for retargetable and optimizing compiler back ends.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/smlnj-lib/...</span>
</p>
<div class="paragraph"><p><a href="SMLNJLibrary">SMLNJLibrary</a>, a collection of libraries distributed with SML/NJ.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/ckit-lib/ckit-lib.mlb</span>
</p>
<div class="paragraph"><p><a href="CKitLibrary">CKitLibrary</a>, a library for C source code.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/mllpt-lib/mllpt-lib.mlb</span>
</p>
<div class="paragraph"><p><a href="MLLPTLibrary">MLLPTLibrary</a>, a support library for the <a href="MLULex">MLULex</a> scanner generator and the <a href="MLAntlr">MLAntlr</a> parser generator.</p></div>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_basis_fragments">Basis fragments</h2>
<div class="sectionbody">
<div class="paragraph"><p>There are a number of specialized ML Basis files for importing
fragments of the <a href="BasisLibrary"> Basis Library</a> that can not be
expressed within SML.</p></div>
<div class="ulist"><ul>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/pervasive-types.mlb</span>
</p>
<div class="paragraph"><p>The top-level types and constructors of the Basis Library.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/pervasive-exns.mlb</span>
</p>
<div class="paragraph"><p>The top-level exception constructors of the Basis Library.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/pervasive-vals.mlb</span>
</p>
<div class="paragraph"><p>The top-level values of the Basis Library, without infix status.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/overloads.mlb</span>
</p>
<div class="paragraph"><p>The top-level overloaded values of the Basis Library, without infix status.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/equal.mlb</span>
</p>
<div class="paragraph"><p>The polymorphic equality <span class="monospaced">=</span> and inequality <span class="monospaced">&lt;&gt;</span> values, without infix status.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/infixes.mlb</span>
</p>
<div class="paragraph"><p>The infix declarations of the Basis Library.</p></div>
</li>
<li>
<p>
<span class="monospaced">$(SML_LIB)/basis/pervasive.mlb</span>
</p>
<div class="paragraph"><p>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.</p></div>
</li>
</ul></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
