Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh |
2 | * Jagannathan, and Stephen Weeks. | |
3 | * | |
4 | * MLton is released under a BSD-style license. | |
5 | * See the file MLton-LICENSE for details. | |
6 | *) | |
7 | ||
8 | structure BasisExtra :> BASIS_EXTRA = | |
9 | struct | |
10 | (* Required structures *) | |
11 | structure Array = Array | |
12 | structure ArraySlice = ArraySlice | |
13 | structure BinIO = BinIO | |
14 | structure BinPrimIO = BinPrimIO | |
15 | structure Bool = Bool | |
16 | structure Byte = Byte | |
17 | structure Char = Char | |
18 | structure CharArray = CharArray | |
19 | structure CharArraySlice = CharArraySlice | |
20 | structure CharVector = CharVector | |
21 | structure CharVectorSlice = CharVectorSlice | |
22 | structure CommandLine = CommandLine | |
23 | structure Date = Date | |
24 | structure General = General | |
25 | structure IEEEReal = IEEEReal | |
26 | structure IO = IO | |
27 | structure Int = Int | |
28 | structure LargeInt = LargeInt | |
29 | structure LargeReal = LargeReal | |
30 | structure LargeWord = LargeWord | |
31 | structure List = List | |
32 | structure ListPair = ListPair | |
33 | structure OS = OS | |
34 | structure Option = Option | |
35 | structure Position = Position | |
36 | structure Real = Real | |
37 | structure String = String | |
38 | structure StringCvt = StringCvt | |
39 | structure Substring = Substring | |
40 | structure Text = Text | |
41 | structure TextIO = TextIO | |
42 | structure TextPrimIO = TextPrimIO | |
43 | structure Time = Time | |
44 | structure Timer = Timer | |
45 | structure Vector = Vector | |
46 | structure VectorSlice = VectorSlice | |
47 | structure Word = Word | |
48 | structure Word8 = Word8 | |
49 | structure Word8Array = Word8Array | |
50 | structure Word8Array2 = Word8Array2 | |
51 | structure Word8ArraySlice = Word8ArraySlice | |
52 | structure Word8Vector = Word8Vector | |
53 | structure Word8VectorSlice = Word8VectorSlice | |
54 | ||
55 | (* Optional structures *) | |
56 | structure Array2 = Array2 | |
57 | structure BoolArray = BoolArray | |
58 | structure BoolArray2 = BoolArray2 | |
59 | structure BoolArraySlice = BoolArraySlice | |
60 | structure BoolVector = BoolVector | |
61 | structure BoolVectorSlice = BoolVectorSlice | |
62 | structure CharArray2 = CharArray2 | |
63 | structure FixedInt = FixedInt | |
64 | structure GenericSock = GenericSock | |
65 | structure INetSock = INetSock | |
66 | structure Int1 = Int1 | |
67 | structure Int2 = Int2 | |
68 | structure Int3 = Int3 | |
69 | structure Int4 = Int4 | |
70 | structure Int5 = Int5 | |
71 | structure Int6 = Int6 | |
72 | structure Int7 = Int7 | |
73 | structure Int8 = Int8 | |
74 | structure Int9 = Int9 | |
75 | structure Int10 = Int10 | |
76 | structure Int11 = Int11 | |
77 | structure Int12 = Int12 | |
78 | structure Int13 = Int13 | |
79 | structure Int14 = Int14 | |
80 | structure Int15 = Int15 | |
81 | structure Int16 = Int16 | |
82 | structure Int16 = Int16 | |
83 | structure Int17 = Int17 | |
84 | structure Int18 = Int18 | |
85 | structure Int19 = Int19 | |
86 | structure Int20 = Int20 | |
87 | structure Int21 = Int21 | |
88 | structure Int22 = Int22 | |
89 | structure Int23 = Int23 | |
90 | structure Int24 = Int24 | |
91 | structure Int25 = Int25 | |
92 | structure Int26 = Int26 | |
93 | structure Int27 = Int27 | |
94 | structure Int28 = Int28 | |
95 | structure Int29 = Int29 | |
96 | structure Int30 = Int30 | |
97 | structure Int31 = Int31 | |
98 | structure Int32 = Int32 | |
99 | structure Int64 = Int64 | |
100 | structure IntArray = IntArray | |
101 | structure IntArray2 = IntArray2 | |
102 | structure IntArraySlice = IntArraySlice | |
103 | structure IntVector = IntVector | |
104 | structure IntVectorSlice = IntVectorSlice | |
105 | structure Int8Array = Int8Array | |
106 | structure Int8Array2 = Int8Array2 | |
107 | structure Int8ArraySlice = Int8ArraySlice | |
108 | structure Int8Vector = Int8Vector | |
109 | structure Int8VectorSlice = Int8VectorSlice | |
110 | structure Int16Array = Int16Array | |
111 | structure Int16Array2 = Int16Array2 | |
112 | structure Int16ArraySlice = Int16ArraySlice | |
113 | structure Int16Vector = Int16Vector | |
114 | structure Int16VectorSlice = Int16VectorSlice | |
115 | structure Int32Array = Int32Array | |
116 | structure Int32Array2 = Int32Array2 | |
117 | structure Int32ArraySlice = Int32ArraySlice | |
118 | structure Int32Vector = Int32Vector | |
119 | structure Int32VectorSlice = Int32VectorSlice | |
120 | structure Int64Array = Int64Array | |
121 | structure Int64Array2 = Int64Array2 | |
122 | structure Int64ArraySlice = Int64ArraySlice | |
123 | structure Int64Vector = Int64Vector | |
124 | structure Int64VectorSlice = Int64VectorSlice | |
125 | structure IntInf = IntInf | |
126 | structure IntInfArray = IntInfArray | |
127 | structure IntInfArray2 = IntInfArray2 | |
128 | structure IntInfArraySlice = IntInfArraySlice | |
129 | structure IntInfVector = IntInfVector | |
130 | structure IntInfVectorSlice = IntInfVectorSlice | |
131 | structure LargeIntArray = LargeIntArray | |
132 | structure LargeIntArray2 = LargeIntArray2 | |
133 | structure LargeIntArraySlice = LargeIntArraySlice | |
134 | structure LargeIntVector = LargeIntVector | |
135 | structure LargeIntVectorSlice = LargeIntVectorSlice | |
136 | structure LargeRealArray = LargeRealArray | |
137 | structure LargeRealArray2 = LargeRealArray2 | |
138 | structure LargeRealArraySlice = LargeRealArraySlice | |
139 | structure LargeRealVector = LargeRealVector | |
140 | structure LargeRealVectorSlice = LargeRealVectorSlice | |
141 | structure LargeWordArray = LargeWordArray | |
142 | structure LargeWordArray2 = LargeWordArray2 | |
143 | structure LargeWordArraySlice = LargeWordArraySlice | |
144 | structure LargeWordVector = LargeWordVector | |
145 | structure LargeWordVectorSlice = LargeWordVectorSlice | |
146 | structure NetHostDB = NetHostDB | |
147 | structure NetProtDB = NetProtDB | |
148 | structure NetServDB = NetServDB | |
149 | structure PackReal32Big = PackReal32Big | |
150 | structure PackReal32Little = PackReal32Little | |
151 | structure PackReal64Big = PackReal64Big | |
152 | structure PackReal64Little = PackReal64Little | |
153 | structure PackRealBig = PackRealBig | |
154 | structure PackRealLittle = PackRealLittle | |
155 | structure PackWord16Big = PackWord16Big | |
156 | structure PackWord16Little = PackWord16Little | |
157 | structure PackWord32Big = PackWord32Big | |
158 | structure PackWord32Little = PackWord32Little | |
159 | structure PackWord64Big = PackWord64Big | |
160 | structure PackWord64Little = PackWord64Little | |
161 | structure Posix = Posix | |
162 | structure Real32 = Real32 | |
163 | structure Real32Array = Real32Array | |
164 | structure Real32Array2 = Real32Array2 | |
165 | structure Real32ArraySlice = Real32ArraySlice | |
166 | structure Real32Vector = Real32Vector | |
167 | structure Real32VectorSlice = Real32VectorSlice | |
168 | structure Real64 = Real64 | |
169 | structure Real64Array = Real64Array | |
170 | structure Real64Array2 = Real64Array2 | |
171 | structure Real64ArraySlice = Real64ArraySlice | |
172 | structure Real64Vector = Real64Vector | |
173 | structure Real64VectorSlice = Real64VectorSlice | |
174 | structure RealArray = RealArray | |
175 | structure RealArray2 = RealArray2 | |
176 | structure RealArraySlice = RealArraySlice | |
177 | structure RealVector = RealVector | |
178 | structure RealVectorSlice = RealVectorSlice | |
179 | structure Socket = Socket | |
180 | structure SysWord = SysWord | |
181 | structure Unix = Unix | |
182 | structure UnixSock = UnixSock | |
183 | structure WideChar = WideChar | |
184 | structure WideCharArray = WideCharArray | |
185 | structure WideCharArray2 = WideCharArray2 | |
186 | structure WideCharArraySlice = WideCharArraySlice | |
187 | structure WideCharVector = WideCharVector | |
188 | structure WideCharVectorSlice = WideCharVectorSlice | |
189 | structure WideString = WideString | |
190 | structure WideSubstring = WideSubstring | |
191 | structure WideText = WideText | |
192 | (* | |
193 | structure WideTextIO = WideTextIO | |
194 | structure WideTextPrimIO = WideTextPrimIO | |
195 | *) | |
196 | (* | |
197 | structure Windows = Windows | |
198 | *) | |
199 | structure Word1 = Word1 | |
200 | structure Word2 = Word2 | |
201 | structure Word3 = Word3 | |
202 | structure Word4 = Word4 | |
203 | structure Word5 = Word5 | |
204 | structure Word6 = Word6 | |
205 | structure Word7 = Word7 | |
206 | structure Word8 = Word8 | |
207 | structure Word9 = Word9 | |
208 | structure Word10 = Word10 | |
209 | structure Word11 = Word11 | |
210 | structure Word12 = Word12 | |
211 | structure Word13 = Word13 | |
212 | structure Word14 = Word14 | |
213 | structure Word15 = Word15 | |
214 | structure Word16 = Word16 | |
215 | structure Word17 = Word17 | |
216 | structure Word18 = Word18 | |
217 | structure Word19 = Word19 | |
218 | structure Word20 = Word20 | |
219 | structure Word21 = Word21 | |
220 | structure Word22 = Word22 | |
221 | structure Word23 = Word23 | |
222 | structure Word24 = Word24 | |
223 | structure Word25 = Word25 | |
224 | structure Word26 = Word26 | |
225 | structure Word27 = Word27 | |
226 | structure Word28 = Word28 | |
227 | structure Word29 = Word29 | |
228 | structure Word30 = Word30 | |
229 | structure Word31 = Word31 | |
230 | structure Word32 = Word32 | |
231 | structure Word64 = Word64 | |
232 | structure Word16 = Word16 | |
233 | structure WordArray = WordArray | |
234 | structure WordArray2 = WordArray2 | |
235 | structure WordArraySlice = WordArraySlice | |
236 | structure WordVector = WordVector | |
237 | structure WordVectorSlice = WordVectorSlice | |
238 | structure Word16Array = Word16Array | |
239 | structure Word16Array2 = Word16Array2 | |
240 | structure Word16ArraySlice = Word16ArraySlice | |
241 | structure Word16Vector = Word16Vector | |
242 | structure Word16VectorSlice = Word16VectorSlice | |
243 | structure Word32Array = Word32Array | |
244 | structure Word32Array2 = Word32Array2 | |
245 | structure Word32ArraySlice = Word32ArraySlice | |
246 | structure Word32Vector = Word32Vector | |
247 | structure Word32VectorSlice = Word32VectorSlice | |
248 | structure Word64Array = Word64Array | |
249 | structure Word64Array2 = Word64Array2 | |
250 | structure Word64ArraySlice = Word64ArraySlice | |
251 | structure Word64Vector = Word64Vector | |
252 | structure Word64VectorSlice = Word64VectorSlice | |
253 | ||
254 | (* Non-standard structures *) | |
255 | structure SML90 = SML90 | |
256 | structure MLton = MLton | |
257 | structure SMLofNJ = SMLofNJ | |
258 | structure Unsafe = Unsafe | |
259 | ||
260 | open ArrayGlobal | |
261 | BoolGlobal | |
262 | CharGlobal | |
263 | IntGlobal | |
264 | GeneralGlobal | |
265 | ListGlobal | |
266 | OptionGlobal | |
267 | RealGlobal | |
268 | StringGlobal | |
269 | SubstringGlobal | |
270 | TextIOGlobal | |
271 | VectorGlobal | |
272 | WordGlobal | |
273 | val real = real | |
274 | val op = = op = | |
275 | val op <> = op <> | |
276 | val vector = vector | |
277 | datatype ref = datatype ref | |
278 | end |