Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature BASIS_1997 = |
2 | sig | |
3 | (* Top-level types *) | |
4 | eqtype unit | |
5 | eqtype int | |
6 | eqtype word | |
7 | type real | |
8 | eqtype char | |
9 | eqtype string | |
10 | type substring | |
11 | type exn | |
12 | eqtype 'a array | |
13 | eqtype 'a vector | |
14 | datatype ref = datatype ref | |
15 | datatype bool = datatype bool | |
16 | datatype 'a option = NONE | SOME of 'a | |
17 | datatype order = LESS | EQUAL | GREATER | |
18 | datatype list = datatype list | |
19 | ||
20 | (* Top-level exceptions *) | |
21 | exception Bind | |
22 | exception Chr | |
23 | exception Div | |
24 | exception Domain | |
25 | exception Empty | |
26 | exception Fail of string | |
27 | exception Match | |
28 | exception Option | |
29 | exception Overflow | |
30 | exception Size | |
31 | exception Span | |
32 | exception Subscript | |
33 | ||
34 | (* Top-level values *) | |
35 | val ! : 'a ref -> 'a | |
36 | val := : 'a ref * 'a -> unit | |
37 | val @ : ('a list * 'a list) -> 'a list | |
38 | val ^ : string * string -> string | |
39 | val app : ('a -> unit) -> 'a list -> unit | |
40 | val before : 'a * unit -> 'a | |
41 | val ceil : real -> int | |
42 | val chr : int -> char | |
43 | val concat : string list -> string | |
44 | val exnMessage : exn -> string | |
45 | val exnName : exn -> string | |
46 | val explode : string -> char list | |
47 | val floor : real -> int | |
48 | val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b | |
49 | val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b | |
50 | val getOpt : ('a option * 'a) -> 'a | |
51 | val hd : 'a list -> 'a | |
52 | val ignore : 'a -> unit | |
53 | val isSome : 'a option -> bool | |
54 | val implode : char list -> string | |
55 | val length : 'a list -> int | |
56 | val map : ('a -> 'b) -> 'a list -> 'b list | |
57 | val not : bool -> bool | |
58 | val null : 'a list -> bool | |
59 | val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b | |
60 | val ord : char -> int | |
61 | val print : string -> unit | |
62 | val real : int -> real | |
63 | (* | |
64 | val ref : 'a -> 'a ref | |
65 | *) | |
66 | val rev : 'a list -> 'a list | |
67 | val round : real -> int | |
68 | val size : string -> int | |
69 | val str : char -> string | |
70 | val substring : string * int * int -> string | |
71 | val tl : 'a list -> 'a list | |
72 | val trunc : real -> int | |
73 | (* | |
74 | val use : string -> unit | |
75 | *) | |
76 | val valOf : 'a option -> 'a | |
77 | val vector : 'a list -> 'a vector | |
78 | ||
79 | val = : ''a * ''a -> bool | |
80 | val <> : ''a * ''a -> bool | |
81 | ||
82 | (* Required structures *) | |
83 | structure Array : ARRAY_1997 | |
84 | structure BinIO : BIN_IO_1997 | |
85 | (* | |
86 | structure BinPrimIO : PRIM_IO | |
87 | *) | |
88 | structure Bool : BOOL | |
89 | structure Byte : BYTE | |
90 | structure Char : CHAR | |
91 | structure CharArray : MONO_ARRAY_1997 | |
92 | structure CharVector : MONO_VECTOR_1997 | |
93 | structure CommandLine : COMMAND_LINE | |
94 | structure Date : DATE | |
95 | structure General : GENERAL | |
96 | structure IEEEReal : IEEE_REAL_1997 | |
97 | structure Int : INTEGER | |
98 | structure IO : IO_1997 | |
99 | structure LargeInt : INTEGER | |
100 | structure LargeReal : REAL_1997 | |
101 | structure LargeWord : WORD_1997 | |
102 | structure List : LIST | |
103 | structure ListPair : LIST_PAIR | |
104 | structure Math : MATH | |
105 | structure Option : OPTION | |
106 | structure OS : OS_1997 | |
107 | (* | |
108 | structure OS.FileSys : OS_FILE_SYS_1997 | |
109 | structure OS.Path : OS_PATH_1997 | |
110 | structure OS.Process : OS_PROCESS_1997 | |
111 | structure OS.IO : OS_IO | |
112 | *) | |
113 | structure Position : INTEGER | |
114 | structure Real : REAL_1997 | |
115 | structure SML90 : SML90 | |
116 | structure String : STRING_1997 | |
117 | structure StringCvt : STRING_CVT | |
118 | structure Substring : SUBSTRING_1997 | |
119 | structure TextIO : TEXT_IO_1997 | |
120 | (* | |
121 | structure TextPrimIO : PRIM_IO | |
122 | *) | |
123 | structure Time : TIME | |
124 | structure Timer : TIMER_1997 | |
125 | structure Vector : VECTOR_1997 | |
126 | structure Word : WORD_1997 | |
127 | structure Word8 : WORD_1997 | |
128 | structure Word8Array : MONO_ARRAY_1997 | |
129 | structure Word8Vector : MONO_VECTOR_1997 | |
130 | ||
131 | (* Optional structures *) | |
132 | structure Array2 : ARRAY2 | |
133 | structure BoolArray : MONO_ARRAY_1997 | |
134 | structure BoolArray2 : MONO_ARRAY2_1997 | |
135 | structure BoolVector : MONO_VECTOR_1997 | |
136 | structure CharArray2 : MONO_ARRAY2_1997 | |
137 | structure FixedInt : INTEGER | |
138 | structure IntInf : INT_INF | |
139 | structure Int1: INTEGER | |
140 | structure Int2: INTEGER | |
141 | structure Int3: INTEGER | |
142 | structure Int4: INTEGER | |
143 | structure Int5: INTEGER | |
144 | structure Int6: INTEGER | |
145 | structure Int7: INTEGER | |
146 | structure Int8: INTEGER | |
147 | structure Int9: INTEGER | |
148 | structure Int10: INTEGER | |
149 | structure Int11: INTEGER | |
150 | structure Int12: INTEGER | |
151 | structure Int13: INTEGER | |
152 | structure Int14: INTEGER | |
153 | structure Int15: INTEGER | |
154 | structure Int16: INTEGER | |
155 | structure Int17: INTEGER | |
156 | structure Int18: INTEGER | |
157 | structure Int19: INTEGER | |
158 | structure Int20: INTEGER | |
159 | structure Int21: INTEGER | |
160 | structure Int22: INTEGER | |
161 | structure Int23: INTEGER | |
162 | structure Int24: INTEGER | |
163 | structure Int25: INTEGER | |
164 | structure Int26: INTEGER | |
165 | structure Int27: INTEGER | |
166 | structure Int28: INTEGER | |
167 | structure Int29: INTEGER | |
168 | structure Int30: INTEGER | |
169 | structure Int31: INTEGER | |
170 | structure Int32: INTEGER | |
171 | structure Int64: INTEGER | |
172 | structure IntArray : MONO_ARRAY_1997 | |
173 | structure Int32Array : MONO_ARRAY_1997 | |
174 | structure IntArray2 : MONO_ARRAY2_1997 | |
175 | structure Int32Array2 : MONO_ARRAY2_1997 | |
176 | structure IntVector : MONO_VECTOR_1997 | |
177 | structure Int32Vector : MONO_VECTOR_1997 | |
178 | (* | |
179 | structure Locale : LOCALE | |
180 | structure MultiByte : MULTIBYTE | |
181 | *) | |
182 | (* | |
183 | structure PackReal64Big : PACK_REAL | |
184 | *) | |
185 | structure PackReal64Little : PACK_REAL | |
186 | (* | |
187 | structure PackRealBig : PACK_REAL | |
188 | *) | |
189 | structure PackRealLittle : PACK_REAL | |
190 | structure Pack32Big : PACK_WORD | |
191 | structure Pack32Little : PACK_WORD | |
192 | ||
193 | structure Posix : POSIX_1997 | |
194 | (* | |
195 | structure Posix.Error : POSIX_ERROR | |
196 | structure Posix.Signal : POSIX_SIGNAL | |
197 | structure Posix.Process : POSIX_PROCESS_1997 | |
198 | structure Posix.ProcEnv : POSIX_PROC_ENV | |
199 | structure Posix.FileSys : POSIX_FILE_SYS_1997 | |
200 | structure Posix.IO : POSIX_IO_1997 | |
201 | structure Posix.SysDB : POSIX_SYS_DB | |
202 | structure Posix.TTY : POSIX_TTY_1997 | |
203 | *) | |
204 | structure RealArray : MONO_ARRAY_1997 | |
205 | structure RealVector : MONO_VECTOR_1997 | |
206 | structure Real64 : REAL_1997 | |
207 | structure Real64Array : MONO_ARRAY_1997 | |
208 | structure Real64Vector : MONO_VECTOR_1997 | |
209 | structure RealArray2 : MONO_ARRAY2_1997 | |
210 | structure Real64Array2 : MONO_ARRAY2_1997 | |
211 | structure SysWord : WORD_1997 | |
212 | (* | |
213 | structure WideChar : CHAR | |
214 | structure WideCharArray : MONO_ARRAY_1997 | |
215 | structure WideCharArray2 : MONO_ARRAY2_1997 | |
216 | structure WideCharVector : MONO_VECTOR_1997 | |
217 | structure WideString : STRING | |
218 | structure WideSubstring : SUBSTRING | |
219 | structure WideTextPrimIO : PRIM_IO | |
220 | structure WideTextIO : TEXT_IO | |
221 | *) | |
222 | structure Word1: WORD_1997 | |
223 | structure Word2: WORD_1997 | |
224 | structure Word3: WORD_1997 | |
225 | structure Word4: WORD_1997 | |
226 | structure Word5: WORD_1997 | |
227 | structure Word6: WORD_1997 | |
228 | structure Word7: WORD_1997 | |
229 | structure Word9: WORD_1997 | |
230 | structure Word10: WORD_1997 | |
231 | structure Word11: WORD_1997 | |
232 | structure Word12: WORD_1997 | |
233 | structure Word13: WORD_1997 | |
234 | structure Word14: WORD_1997 | |
235 | structure Word15: WORD_1997 | |
236 | structure Word16: WORD_1997 | |
237 | structure Word17: WORD_1997 | |
238 | structure Word18: WORD_1997 | |
239 | structure Word19: WORD_1997 | |
240 | structure Word20: WORD_1997 | |
241 | structure Word21: WORD_1997 | |
242 | structure Word22: WORD_1997 | |
243 | structure Word23: WORD_1997 | |
244 | structure Word24: WORD_1997 | |
245 | structure Word25: WORD_1997 | |
246 | structure Word26: WORD_1997 | |
247 | structure Word27: WORD_1997 | |
248 | structure Word28: WORD_1997 | |
249 | structure Word29: WORD_1997 | |
250 | structure Word30: WORD_1997 | |
251 | structure Word31: WORD_1997 | |
252 | structure Word32: WORD_1997 | |
253 | structure Word64: WORD_1997 | |
254 | structure Word8Array2 : MONO_ARRAY2_1997 | |
255 | structure Unix : UNIX_1997 | |
256 | end |