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 "std" PrelGHC 1 407 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
339 reallyUnsafePtrEqualityzh
344 -- Export PrelErr.error, so that others don't have to import PrelErr
345 __export PrelErr error ;
347 --------------------------------------------------
348 -- These imports tell modules low down in the hierarchy that
349 -- PrelErr and PrelBase are in the same package and
350 -- should be read from their hi-boot files
355 --------------------------------------------------
356 instance {CCallable Charzh} = zdfCCallableCharzh;
357 instance {CCallable Doublezh} = zdfCCallableDoublezh;
358 instance {CCallable Floatzh} = zdfCCallableFloatzh;
359 instance {CCallable Intzh} = zdfCCallableIntzh;
360 instance {CCallable Addrzh} = zdfCCallableAddrzh;
361 instance {CCallable Int64zh} = zdfCCallableInt64zh;
362 instance {CCallable Word64zh} = zdfCCallableWord64zh;
363 instance {CCallable Wordzh} = zdfCCallableWordzh;
364 instance {CCallable ByteArrayzh} = zdfCCallableByteArrayzh;
365 instance __forall s => {CCallable (MutableByteArrayzh s)} = zdfCCallableMutableByteArrayzh;
366 instance {CCallable ForeignObjzh} = zdfCCallableForeignObjzh;
367 instance __forall s => {CCallable (StablePtrzh s)} = zdfCCallableStablePtrzh;
368 -- CCallable and CReturnable have kind (Type AnyBox) so that
369 -- things like Int# can be instances of CCallable.
370 1 class CCallable a :: ? ;
371 1 class CReturnable a :: ? ;
373 1 assert :: __forall a => PrelBase.Bool -> a -> a ;
375 -- These guys don't really exist:
377 1 zdfCCallableCharzh :: {CCallable Charzh} ;
378 1 zdfCCallableDoublezh :: {CCallable Doublezh} ;
379 1 zdfCCallableFloatzh :: {CCallable Floatzh} ;
380 1 zdfCCallableIntzh :: {CCallable Intzh} ;
381 1 zdfCCallableAddrzh :: {CCallable Addrzh} ;
382 1 zdfCCallableInt64zh :: {CCallable Int64zh} ;
383 1 zdfCCallableWord64zh :: {CCallable Word64zh} ;
384 1 zdfCCallableWordzh :: {CCallable Wordzh} ;
385 1 zdfCCallableByteArrayzh :: {CCallable ByteArrayzh} ;
386 1 zdfCCallableMutableByteArrayzh :: __forall s => {CCallable (MutableByteArrayzh s)} ;
387 1 zdfCCallableForeignObjzh :: {CCallable ForeignObjzh} ;
388 1 zdfCCallableStablePtrzh :: __forall a => {CCallable (StablePtrzh a)} ;