doc/guide/localhost/MLBasisAvailableLibraries

   1 <!DOCTYPE html>
   2 <html lang="en">
   3 <head>
   4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   5 <meta name="generator" content="AsciiDoc 8.6.9">
   6 <title>MLBasisAvailableLibraries</title>
   7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
   8 <link rel="stylesheet" href="./pygments.css" type="text/css">
   9
  10
  11 <script type="text/javascript" src="./asciidoc.js"></script>
  12 <script type="text/javascript">
  13 /*<![CDATA[*/
  14 asciidoc.install();
  15 /*]]>*/
  16 </script>
  17 <link rel="stylesheet" href="./mlton.css" type="text/css">
  18 </head>
  19 <body class="article">
  20 <div id="banner">
  21 <div id="banner-home">
  22 <a href="./Home">MLton 20180207</a>
  23 </div>
  24 </div>
  25 <div id="header">
  26 <h1>MLBasisAvailableLibraries</h1>
  27 </div>
  28 <div id="content">
  29 <div id="preamble">
  30 <div class="sectionbody">
  31 <div class="paragraph"><p>MLton comes with the following <a href="MLBasis">ML Basis</a> files available.</p></div>
  32 <div class="ulist"><ul>
  33 <li>
  34 <p>
  35 <span class="monospaced">$(SML_LIB)/basis/basis.mlb</span>
  36 </p>
  37 <div class="paragraph"><p>The <a href="BasisLibrary">Basis Library</a>.</p></div>
  38 </li>
  39 <li>
  40 <p>
  41 <span class="monospaced">$(SML_LIB)/basis/basis-1997.mlb</span>
  42 </p>
  43 <div class="paragraph"><p>The (deprecated) 1997 version of the <a href="BasisLibrary">Basis Library</a>.</p></div>
  44 </li>
  45 <li>
  46 <p>
  47 <span class="monospaced">$(SML_LIB)/basis/mlton.mlb</span>
  48 </p>
  49 <div class="paragraph"><p>The <a href="MLtonStructure">MLton</a> structure and signatures.</p></div>
  50 </li>
  51 <li>
  52 <p>
  53 <span class="monospaced">$(SML_LIB)/basis/c-types.mlb</span>
  54 </p>
  55 <div class="paragraph"><p>Various structure aliases useful as <a href="ForeignFunctionInterfaceTypes">ForeignFunctionInterfaceTypes</a>.</p></div>
  56 </li>
  57 <li>
  58 <p>
  59 <span class="monospaced">$(SML_LIB)/basis/unsafe.mlb</span>
  60 </p>
  61 <div class="paragraph"><p>The <a href="UnsafeStructure">Unsafe</a> structure and signature.</p></div>
  62 </li>
  63 <li>
  64 <p>
  65 <span class="monospaced">$(SML_LIB)/basis/sml-nj.mlb</span>
  66 </p>
  67 <div class="paragraph"><p>The <a href="SMLofNJStructure">SMLofNJ</a> structure and signature.</p></div>
  68 </li>
  69 <li>
  70 <p>
  71 <span class="monospaced">$(SML_LIB)/mlyacc-lib/mlyacc-lib.mlb</span>
  72 </p>
  73 <div class="paragraph"><p>Modules used by parsers built with <a href="MLYacc">MLYacc</a>.</p></div>
  74 </li>
  75 <li>
  76 <p>
  77 <span class="monospaced">$(SML_LIB)/cml/cml.mlb</span>
  78 </p>
  79 <div class="paragraph"><p><a href="ConcurrentML">ConcurrentML</a>, a library for message-passing concurrency.</p></div>
  80 </li>
  81 <li>
  82 <p>
  83 <span class="monospaced">$(SML_LIB)/mlnlffi-lib/mlnlffi-lib.mlb</span>
  84 </p>
  85 <div class="paragraph"><p><a href="MLNLFFI">ML-NLFFI</a>, a library for foreign function interfaces.</p></div>
  86 </li>
  87 <li>
  88 <p>
  89 <span class="monospaced">$(SML_LIB)/mlrisc-lib/...</span>
  90 </p>
  91 <div class="paragraph"><p><a href="MLRISCLibrary">MLRISCLibrary</a>, a library for retargetable and optimizing compiler back ends.</p></div>
  92 </li>
  93 <li>
  94 <p>
  95 <span class="monospaced">$(SML_LIB)/smlnj-lib/...</span>
  96 </p>
  97 <div class="paragraph"><p><a href="SMLNJLibrary">SMLNJLibrary</a>, a collection of libraries distributed with SML/NJ.</p></div>
  98 </li>
  99 <li>
 100 <p>
 101 <span class="monospaced">$(SML_LIB)/ckit-lib/ckit-lib.mlb</span>
 102 </p>
 103 <div class="paragraph"><p><a href="CKitLibrary">CKitLibrary</a>, a library for C source code.</p></div>
 104 </li>
 105 <li>
 106 <p>
 107 <span class="monospaced">$(SML_LIB)/mllpt-lib/mllpt-lib.mlb</span>
 108 </p>
 109 <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>
 110 </li>
 111 </ul></div>
 112 </div>
 113 </div>
 114 <div class="sect1">
 115 <h2 id="_basis_fragments">Basis fragments</h2>
 116 <div class="sectionbody">
 117 <div class="paragraph"><p>There are a number of specialized ML Basis files for importing
 118 fragments of the <a href="BasisLibrary"> Basis Library</a> that can not be
 119 expressed within SML.</p></div>
 120 <div class="ulist"><ul>
 121 <li>
 122 <p>
 123 <span class="monospaced">$(SML_LIB)/basis/pervasive-types.mlb</span>
 124 </p>
 125 <div class="paragraph"><p>The top-level types and constructors of the Basis Library.</p></div>
 126 </li>
 127 <li>
 128 <p>
 129 <span class="monospaced">$(SML_LIB)/basis/pervasive-exns.mlb</span>
 130 </p>
 131 <div class="paragraph"><p>The top-level exception constructors of the Basis Library.</p></div>
 132 </li>
 133 <li>
 134 <p>
 135 <span class="monospaced">$(SML_LIB)/basis/pervasive-vals.mlb</span>
 136 </p>
 137 <div class="paragraph"><p>The top-level values of the Basis Library, without infix status.</p></div>
 138 </li>
 139 <li>
 140 <p>
 141 <span class="monospaced">$(SML_LIB)/basis/overloads.mlb</span>
 142 </p>
 143 <div class="paragraph"><p>The top-level overloaded values of the Basis Library, without infix status.</p></div>
 144 </li>
 145 <li>
 146 <p>
 147 <span class="monospaced">$(SML_LIB)/basis/equal.mlb</span>
 148 </p>
 149 <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>
 150 </li>
 151 <li>
 152 <p>
 153 <span class="monospaced">$(SML_LIB)/basis/infixes.mlb</span>
 154 </p>
 155 <div class="paragraph"><p>The infix declarations of the Basis Library.</p></div>
 156 </li>
 157 <li>
 158 <p>
 159 <span class="monospaced">$(SML_LIB)/basis/pervasive.mlb</span>
 160 </p>
 161 <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>
 162 </li>
 163 </ul></div>
 164 </div>
 165 </div>
 166 </div>
 167 <div id="footnotes"><hr></div>
 168 <div id="footer">
 169 <div id="footer-text">
 170 </div>
 171 <div id="footer-badges">
 172 </div>
 173 </div>
 174 </body>
 175 </html>