1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.8">
<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 20130715</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"><></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>
|
