[project @ 2000-03-22 12:01:57 by rrt]
[ghc-hetmet.git] / ghc / lib / std / PrelAddr.lhs
1 %
2 % (c) The AQUA Project, Glasgow University, 1994-1998
3 %
4
5 \section[PrelAddr]{Module @PrelAddr@}
6
7 \begin{code}
8 {-# OPTIONS -fno-implicit-prelude #-}
9
10 module PrelAddr (
11           Addr(..)
12         , nullAddr                      -- :: Addr
13         , plusAddr                      -- :: Addr -> Int -> Addr
14         , indexAddrOffAddr              -- :: Addr -> Int -> Addr
15
16         , Word(..)
17         , wordToInt
18         , intToWord
19
20         , Word64(..)
21         , Int64(..)
22    ) where
23
24 import PrelGHC
25 import PrelBase
26 \end{code}
27
28 \begin{code}
29 data Addr = A# Addr#    deriving (Eq, Ord)
30 data Word = W# Word#    deriving (Eq, Ord)
31
32 nullAddr :: Addr
33 nullAddr = A# (int2Addr# 0#)
34
35 plusAddr :: Addr -> Int -> Addr
36 plusAddr (A# addr) (I# off) = A# (int2Addr# (addr2Int# addr +# off))
37
38 instance CCallable Addr
39 instance CReturnable Addr
40
41 instance CCallable Word
42 instance CReturnable Word
43
44 wordToInt :: Word -> Int
45 wordToInt (W# w#) = I# (word2Int# w#)
46
47 intToWord :: Int -> Word
48 intToWord (I# i#) = W# (int2Word# i#)
49
50 #if WORD_SIZE_IN_BYTES == 8
51 data Word64 = W64# Word#
52 data Int64  = I64# Int#
53 #else
54 data Word64 = W64# Word64# --deriving (Eq, Ord) -- Glasgow extension
55 data Int64  = I64# Int64#  --deriving (Eq, Ord) -- Glasgow extension
56 #endif
57
58 instance CCallable   Word64
59 instance CReturnable Word64
60
61 instance CCallable   Int64
62 instance CReturnable Int64
63
64 indexAddrOffAddr   :: Addr -> Int -> Addr
65 indexAddrOffAddr (A# addr#) n
66   = case n                              of { I# n# ->
67     case indexAddrOffAddr# addr# n#     of { r# ->
68     (A# r#)}}
69
70 \end{code}
71