1 ---------------------------------------------------------------------------
4 -- This hand-written interface file allows you to bring into scope the
5 -- primitive operations and types that GHC knows about.
6 ---------------------------------------------------------------------------
8 __interface "rts" PrelGHC 1 0 where
17 -- Magical assert thingy
30 -- Concurrency primitives
36 blockAsyncExceptionszh
37 unblockAsyncExceptionszh
216 sameMutableByteArrayzh
234 indexStablePtrArrayzh
245 indexStablePtrOffAddrzh
255 readStablePtrOffAddrzh
263 writeForeignObjOffAddrzh
266 writeStablePtrOffAddrzh
270 -- indexOffForeignObjzh
271 indexCharOffForeignObjzh
272 indexIntOffForeignObjzh
273 indexWordOffForeignObjzh
274 indexAddrOffForeignObjzh
275 indexFloatOffForeignObjzh
276 indexDoubleOffForeignObjzh
277 indexStablePtrOffForeignObjzh
278 indexInt64OffForeignObjzh
279 indexWord64OffForeignObjzh
288 writeStablePtrArrayzh
303 unsafeFreezzeArrayzh -- Note zz in the middle
304 unsafeFreezzeByteArrayzh -- Ditto
308 sizzeofByteArrayzh -- Ditto
309 sizzeofMutableByteArrayzh -- Ditto
341 reallyUnsafePtrEqualityzh
346 -- Export PrelErr.error, so that others don't have to import PrelErr
347 __export PrelErr error ;
350 --------------------------------------------------
351 instance {CCallable Charzh} = zdfCCallableCharzh;
352 instance {CCallable Doublezh} = zdfCCallableDoublezh;
353 instance {CCallable Floatzh} = zdfCCallableFloatzh;
354 instance {CCallable Intzh} = zdfCCallableIntzh;
355 instance {CCallable Addrzh} = zdfCCallableAddrzh;
356 instance {CCallable Int64zh} = zdfCCallableInt64zh;
357 instance {CCallable Word64zh} = zdfCCallableWord64zh;
358 instance {CCallable Wordzh} = zdfCCallableWordzh;
359 instance {CCallable ByteArrayzh} = zdfCCallableByteArrayzh;
360 instance __forall s => {CCallable (MutableByteArrayzh s)} = zdfCCallableMutableByteArrayzh;
361 instance {CCallable ForeignObjzh} = zdfCCallableForeignObjzh;
362 instance __forall s => {CCallable (StablePtrzh s)} = zdfCCallableStablePtrzh;
363 -- CCallable and CReturnable have kind (Type AnyBox) so that
364 -- things like Int# can be instances of CCallable.
365 1 class CCallable a :: ? ;
366 1 class CReturnable a :: ? ;
368 1 assert :: __forall a => PrelBase.Bool -> a -> a ;
370 -- These guys don't really exist:
372 1 zdfCCallableCharzh :: {CCallable Charzh} ;
373 1 zdfCCallableDoublezh :: {CCallable Doublezh} ;
374 1 zdfCCallableFloatzh :: {CCallable Floatzh} ;
375 1 zdfCCallableIntzh :: {CCallable Intzh} ;
376 1 zdfCCallableAddrzh :: {CCallable Addrzh} ;
377 1 zdfCCallableInt64zh :: {CCallable Int64zh} ;
378 1 zdfCCallableWord64zh :: {CCallable Word64zh} ;
379 1 zdfCCallableWordzh :: {CCallable Wordzh} ;
380 1 zdfCCallableByteArrayzh :: {CCallable ByteArrayzh} ;
381 1 zdfCCallableMutableByteArrayzh :: __forall s => {CCallable (MutableByteArrayzh s)} ;
382 1 zdfCCallableForeignObjzh :: {CCallable ForeignObjzh} ;
383 1 zdfCCallableStablePtrzh :: __forall a => {CCallable (StablePtrzh a)} ;