[project @ 2001-06-28 14:15:04 by simonmar]
[packages/old-time.git] / GHC / Prim.hi-boot
1 ---------------------------------------------------------------------------
2 --                              PrelGHC.hi-boot
3 -- 
4 --      This hand-written interface file allows you to bring into scope the 
5 --      primitive operations and types that GHC knows about.
6 ---------------------------------------------------------------------------
7
8 __interface "rts" GHCziPrim 1 0 where
9
10 __export GHCziPrim
11
12   ZLzmzgZR      -- (->)
13
14   CCallable
15   CReturnable
16
17 -- Magical assert thingy
18   assert
19
20   -- constructor tags
21   tagToEnumzh
22   getTagzh
23   dataToTagzh
24
25   -- I/O primitives
26   RealWorld
27   realWorldzh
28   Statezh
29
30   -- Concurrency primitives
31   ThreadIdzh
32   myThreadIdzh
33   forkzh
34   yieldzh
35   killThreadzh
36   blockAsyncExceptionszh
37   unblockAsyncExceptionszh
38   delayzh
39   waitReadzh
40   waitWritezh
41
42   -- MVars
43   MVarzh
44   sameMVarzh
45   newMVarzh
46   takeMVarzh
47   putMVarzh
48   tryTakeMVarzh
49   tryPutMVarzh
50   isEmptyMVarzh
51
52   -- Parallel
53   seqzh
54   parzh
55   parGlobalzh
56   parLocalzh
57   parAtzh
58   parAtAbszh
59   parAtRelzh
60   parAtForNowzh
61
62   -- Character Type
63   Charzh 
64   gtCharzh
65   geCharzh
66   eqCharzh
67   neCharzh
68   ltCharzh
69   leCharzh
70   ordzh
71   chrzh
72
73   -- Int Type
74   Intzh
75   zgzh
76   zgzezh
77   zezezh
78   zszezh
79   zlzh
80   zlzezh
81   zpzh
82   zmzh
83   ztzh
84   quotIntzh
85   remIntzh
86   gcdIntzh
87   negateIntzh
88   iShiftLzh
89   iShiftRAzh
90   iShiftRLzh
91   addIntCzh
92   subIntCzh
93   mulIntCzh
94
95   Wordzh
96   gtWordzh
97   geWordzh
98   eqWordzh
99   neWordzh
100   ltWordzh
101   leWordzh
102   plusWordzh
103   minusWordzh
104   timesWordzh
105   quotWordzh
106   remWordzh
107   andzh
108   orzh
109   notzh
110   xorzh
111   shiftLzh
112   shiftRLzh
113   int2Wordzh
114   word2Intzh
115
116   Int64zh
117   Word64zh
118
119   intToInt8zh
120   intToInt16zh
121   intToInt32zh
122   wordToWord8zh
123   wordToWord16zh
124   wordToWord32zh
125
126   Addrzh
127   gtAddrzh
128   geAddrzh
129   eqAddrzh
130   neAddrzh
131   ltAddrzh
132   leAddrzh
133   int2Addrzh
134   addr2Intzh
135
136   Floatzh
137   gtFloatzh
138   geFloatzh
139   eqFloatzh
140   neFloatzh
141   ltFloatzh
142   leFloatzh
143   plusFloatzh
144   minusFloatzh
145   timesFloatzh
146   divideFloatzh
147   negateFloatzh
148   float2Intzh
149   int2Floatzh
150   expFloatzh
151   logFloatzh
152   sqrtFloatzh
153   sinFloatzh
154   cosFloatzh
155   tanFloatzh
156   asinFloatzh
157   acosFloatzh
158   atanFloatzh
159   sinhFloatzh
160   coshFloatzh
161   tanhFloatzh
162   powerFloatzh
163   decodeFloatzh
164
165   Doublezh
166   zgzhzh
167   zgzezhzh
168   zezezhzh
169   zszezhzh
170   zlzhzh
171   zlzezhzh
172   zpzhzh
173   zmzhzh
174   ztzhzh
175   zszhzh
176   negateDoublezh
177   double2Intzh
178   int2Doublezh
179   double2Floatzh
180   float2Doublezh
181   expDoublezh
182   logDoublezh
183   sqrtDoublezh
184   sinDoublezh
185   cosDoublezh
186   tanDoublezh
187   asinDoublezh
188   acosDoublezh
189   atanDoublezh
190   sinhDoublezh
191   coshDoublezh
192   tanhDoublezh
193   ztztzhzh
194   decodeDoublezh
195
196   cmpIntegerzh
197   cmpIntegerIntzh
198   plusIntegerzh
199   minusIntegerzh
200   timesIntegerzh
201   gcdIntegerzh
202   quotIntegerzh
203   remIntegerzh
204   gcdIntegerzh
205   gcdIntegerIntzh
206   divExactIntegerzh
207   quotRemIntegerzh
208   divModIntegerzh
209   integer2Intzh
210   integer2Wordzh
211   int2Integerzh
212   word2Integerzh
213   integerToInt64zh
214   integerToWord64zh
215   int64ToIntegerzh
216   word64ToIntegerzh
217   andIntegerzh
218   orIntegerzh
219   xorIntegerzh
220   complementIntegerzh
221
222   Arrayzh
223   ByteArrayzh
224   MutableArrayzh
225   MutableByteArrayzh
226
227   sameMutableArrayzh
228   sameMutableByteArrayzh
229
230   newArrayzh
231   newByteArrayzh
232
233   indexArrayzh
234   indexCharArrayzh
235   indexWideCharArrayzh
236   indexIntArrayzh
237   indexWordArrayzh
238   indexAddrArrayzh
239   indexFloatArrayzh
240   indexDoubleArrayzh
241   indexStablePtrArrayzh
242   indexInt8Arrayzh
243   indexInt16Arrayzh
244   indexInt32Arrayzh
245   indexInt64Arrayzh
246   indexWord8Arrayzh
247   indexWord16Arrayzh
248   indexWord32Arrayzh
249   indexWord64Arrayzh
250
251   readArrayzh
252   readCharArrayzh
253   readWideCharArrayzh
254   readIntArrayzh
255   readWordArrayzh
256   readAddrArrayzh
257   readFloatArrayzh
258   readDoubleArrayzh
259   readStablePtrArrayzh
260   readInt8Arrayzh
261   readInt16Arrayzh
262   readInt32Arrayzh
263   readInt64Arrayzh
264   readWord8Arrayzh
265   readWord16Arrayzh
266   readWord32Arrayzh
267   readWord64Arrayzh
268
269   writeArrayzh
270   writeCharArrayzh
271   writeWideCharArrayzh
272   writeIntArrayzh
273   writeWordArrayzh
274   writeAddrArrayzh
275   writeFloatArrayzh
276   writeDoubleArrayzh
277   writeStablePtrArrayzh
278   writeInt8Arrayzh
279   writeInt16Arrayzh
280   writeInt32Arrayzh
281   writeInt64Arrayzh
282   writeWord8Arrayzh
283   writeWord16Arrayzh
284   writeWord32Arrayzh
285   writeWord64Arrayzh
286
287   indexCharOffAddrzh
288   indexWideCharOffAddrzh
289   indexIntOffAddrzh
290   indexWordOffAddrzh
291   indexAddrOffAddrzh
292   indexFloatOffAddrzh
293   indexDoubleOffAddrzh
294   indexStablePtrOffAddrzh
295   indexInt8OffAddrzh
296   indexInt16OffAddrzh
297   indexInt32OffAddrzh
298   indexInt64OffAddrzh
299   indexWord8OffAddrzh
300   indexWord16OffAddrzh
301   indexWord32OffAddrzh
302   indexWord64OffAddrzh
303
304   readCharOffAddrzh
305   readWideCharOffAddrzh
306   readIntOffAddrzh
307   readWordOffAddrzh
308   readAddrOffAddrzh
309   readFloatOffAddrzh
310   readDoubleOffAddrzh
311   readStablePtrOffAddrzh
312   readInt8OffAddrzh
313   readInt16OffAddrzh
314   readInt32OffAddrzh
315   readInt64OffAddrzh
316   readWord8OffAddrzh
317   readWord16OffAddrzh
318   readWord32OffAddrzh
319   readWord64OffAddrzh
320
321   writeCharOffAddrzh
322   writeWideCharOffAddrzh
323   writeIntOffAddrzh
324   writeWordOffAddrzh
325   writeAddrOffAddrzh
326   writeForeignObjOffAddrzh
327   writeFloatOffAddrzh
328   writeDoubleOffAddrzh
329   writeStablePtrOffAddrzh
330   writeInt8OffAddrzh
331   writeInt16OffAddrzh
332   writeInt32OffAddrzh
333   writeInt64OffAddrzh
334   writeWord8OffAddrzh
335   writeWord16OffAddrzh
336   writeWord32OffAddrzh
337   writeWord64OffAddrzh
338
339   indexCharOffForeignObjzh
340   indexWideCharOffForeignObjzh
341   indexIntOffForeignObjzh
342   indexWordOffForeignObjzh
343   indexAddrOffForeignObjzh
344   indexFloatOffForeignObjzh
345   indexDoubleOffForeignObjzh
346   indexStablePtrOffForeignObjzh
347   indexInt8OffForeignObjzh
348   indexInt16OffForeignObjzh
349   indexInt32OffForeignObjzh
350   indexInt64OffForeignObjzh
351   indexWord8OffForeignObjzh
352   indexWord16OffForeignObjzh
353   indexWord32OffForeignObjzh
354   indexWord64OffForeignObjzh
355
356   unsafeFreezzeArrayzh          -- Note zz in the middle
357   unsafeFreezzeByteArrayzh      -- Ditto
358
359   unsafeThawArrayzh
360
361   sizzeofByteArrayzh            -- Ditto
362   sizzeofMutableByteArrayzh     -- Ditto
363
364   MutVarzh
365   newMutVarzh
366   readMutVarzh
367   writeMutVarzh
368   sameMutVarzh
369
370   catchzh
371   raisezh
372
373   Weakzh
374   mkWeakzh
375   deRefWeakzh
376   finalizzeWeakzh
377
378   ForeignObjzh
379   mkForeignObjzh
380   writeForeignObjzh
381   foreignObjToAddrzh
382   touchzh
383
384   StablePtrzh
385   makeStablePtrzh
386   deRefStablePtrzh
387   eqStablePtrzh
388
389   StableNamezh
390   makeStableNamezh
391   eqStableNamezh
392   stableNameToIntzh
393
394   reallyUnsafePtrEqualityzh
395
396   newBCOzh
397   BCOzh
398   mkApUpd0zh
399
400   unsafeCoercezh
401   addrToHValuezh
402 ;
403
404 -- Export GHC.Err.error, so that others don't have to import PrelErr
405 __export GHCziErr error ;
406
407
408 --------------------------------------------------
409 instance {CCallable Charzh} = zdfCCallableCharzh;
410 instance {CCallable Doublezh} = zdfCCallableDoublezh;
411 instance {CCallable Floatzh} = zdfCCallableFloatzh;
412 instance {CCallable Intzh} = zdfCCallableIntzh;
413 instance {CCallable Addrzh} = zdfCCallableAddrzh;
414 instance {CCallable Int64zh} = zdfCCallableInt64zh;
415 instance {CCallable Word64zh} = zdfCCallableWord64zh;
416 instance {CCallable Wordzh} = zdfCCallableWordzh;
417 instance {CCallable ByteArrayzh} = zdfCCallableByteArrayzh;
418 instance __forall s => {CCallable (MutableByteArrayzh s)} = zdfCCallableMutableByteArrayzh;
419 instance {CCallable ForeignObjzh} = zdfCCallableForeignObjzh;
420 instance __forall s => {CCallable (StablePtrzh s)} = zdfCCallableStablePtrzh;
421 -- CCallable and CReturnable have kind (Type AnyBox) so that
422 -- things like Int# can be instances of CCallable. 
423 1 class CCallable a :: ? ;
424 1 class CReturnable a :: ? ;
425
426 1 assert :: __forall a => GHCziBase.Bool -> a -> a ;
427
428 -- These guys don't really exist:
429 --
430 1 zdfCCallableCharzh :: {CCallable Charzh} ;
431 1 zdfCCallableDoublezh :: {CCallable Doublezh} ;
432 1 zdfCCallableFloatzh :: {CCallable Floatzh} ;
433 1 zdfCCallableIntzh :: {CCallable Intzh} ;
434 1 zdfCCallableAddrzh :: {CCallable Addrzh} ;
435 1 zdfCCallableInt64zh :: {CCallable Int64zh} ;
436 1 zdfCCallableWord64zh :: {CCallable Word64zh} ;
437 1 zdfCCallableWordzh :: {CCallable Wordzh} ;
438 1 zdfCCallableByteArrayzh :: {CCallable ByteArrayzh} ;
439 1 zdfCCallableMutableByteArrayzh :: __forall s => {CCallable (MutableByteArrayzh s)} ;
440 1 zdfCCallableForeignObjzh :: {CCallable ForeignObjzh} ;
441 1 zdfCCallableStablePtrzh :: __forall a => {CCallable (StablePtrzh a)} ;