9a55a6871b98f9396be1291729e47ca089e430d6
[packages/random.git] / GHC / Stable.lhs
1 \begin{code}
2 {-# OPTIONS -fno-implicit-prelude #-}
3 -----------------------------------------------------------------------------
4 -- |
5 -- Module      :  GHC.Stable
6 -- Copyright   :  (c) The University of Glasgow, 1992-2002
7 -- License     :  see libraries/base/LICENSE
8 -- 
9 -- Maintainer  :  ffi@haskell.org
10 -- Stability   :  internal
11 -- Portability :  non-portable (GHC Extensions)
12 --
13 -- Stable pointers.
14 --
15 -----------------------------------------------------------------------------
16
17 module GHC.Stable 
18         ( StablePtr(..)
19         , newStablePtr          -- :: a -> IO (StablePtr a)    
20         , deRefStablePtr        -- :: StablePtr a -> a
21         , freeStablePtr         -- :: StablePtr a -> IO ()
22         , castStablePtrToPtr    -- :: StablePtr a -> Ptr ()
23         , castPtrToStablePtr    -- :: Ptr () -> StablePtr a
24    ) where
25
26 import GHC.Ptr
27 import GHC.Base
28 import GHC.IOBase
29
30 -----------------------------------------------------------------------------
31 -- Stable Pointers
32
33 data StablePtr a = StablePtr (StablePtr# a)
34
35 newStablePtr   :: a -> IO (StablePtr a)
36 newStablePtr a = IO $ \ s ->
37     case makeStablePtr# a s of (# s', sp #) -> (# s', StablePtr sp #)
38
39 deRefStablePtr :: StablePtr a -> IO a
40 deRefStablePtr (StablePtr sp) = IO $ \s -> deRefStablePtr# sp s
41
42 foreign import ccall unsafe freeStablePtr :: StablePtr a -> IO ()
43
44 castStablePtrToPtr :: StablePtr a -> Ptr ()
45 castStablePtrToPtr (StablePtr s) = Ptr (unsafeCoerce# s)
46
47 castPtrToStablePtr :: Ptr () -> StablePtr a
48 castPtrToStablePtr (Ptr a) = StablePtr (unsafeCoerce# a)
49
50 instance Eq (StablePtr a) where 
51     (StablePtr sp1) == (StablePtr sp2) =
52         case eqStablePtr# sp1 sp2 of
53            0# -> False
54            _  -> True
55 \end{code}