Foreign/Ptr.hs

   1 {-# OPTIONS -fno-implicit-prelude #-}
   2 -----------------------------------------------------------------------------
   3 -- |
   4 -- Module      :  Foreign.Ptr
   5 -- Copyright   :  (c) The FFI task force 2001
   6 -- License     :  BSD-style (see the file libraries/base/LICENSE)
   7 --
   8 -- Maintainer  :  ffi@haskell.org
   9 -- Stability   :  provisional
  10 -- Portability :  portable
  11 --
  12 -- This module provides typed pointers to foreign data.  It is part
  13 -- of the Foreign Function Interface (FFI) and will normally be
  14 -- imported via the "Foreign" module.
  15 --
  16 -----------------------------------------------------------------------------
  17
  18 module Foreign.Ptr (
  19
  20     -- * Data pointers
  21
  22     Ptr,      -- data Ptr a
  23     nullPtr,      -- :: Ptr a
  24     castPtr,      -- :: Ptr a -> Ptr b
  25     plusPtr,      -- :: Ptr a -> Int -> Ptr b
  26     alignPtr,     -- :: Ptr a -> Int -> Ptr a
  27     minusPtr,     -- :: Ptr a -> Ptr b -> Int
  28
  29     -- * Function pointers
  30
  31     FunPtr,      -- data FunPtr a
  32     nullFunPtr,      -- :: FunPtr a
  33     castFunPtr,      -- :: FunPtr a -> FunPtr b
  34     castFunPtrToPtr, -- :: FunPtr a -> Ptr b
  35     castPtrToFunPtr, -- :: Ptr a -> FunPtr b
  36
  37     freeHaskellFunPtr, -- :: FunPtr a -> IO ()
  38     -- Free the function pointer created by foreign export dynamic.
  39
  40  ) where
  41
  42 #ifdef __GLASGOW_HASKELL__
  43 import GHC.Ptr
  44 import GHC.IOBase
  45 import GHC.Err
  46 import GHC.Base
  47 import GHC.Num
  48 import GHC.List
  49 import GHC.Show
  50 import Numeric
  51 #endif
  52
  53 #ifdef __NHC__
  54 import NHC.FFI
  55   ( Ptr
  56   , nullPtr
  57   , castPtr
  58   , plusPtr
  59   , alignPtr
  60   , minusPtr
  61   , FunPtr
  62   , nullFunPtr
  63   , castFunPtr
  64   , castFunPtrToPtr
  65   , castPtrToFunPtr
  66   , freeHaskellFunPtr
  67   )
  68 #endif
  69
  70 #ifdef __HUGS__
  71 import Hugs.Ptr
  72 #endif
  73
  74 #ifdef __GLASGOW_HASKELL__
  75 #include "MachDeps.h"
  76
  77 #if (WORD_SIZE_IN_BITS == 32 || WORD_SIZE_IN_BITS == 64)
  78 instance Show (Ptr a) where
  79    showsPrec p (Ptr a) rs = pad_out (showHex (word2Integer(int2Word#(addr2Int# a))) "") rs
  80      where
  81         -- want 0s prefixed to pad it out to a fixed length.
  82        pad_out ls rs =
  83           '0':'x':(replicate (2*SIZEOF_HSPTR - length ls) '0') ++ ls ++ rs
  84        -- word2Integer :: Word# -> Integer (stolen from Word.lhs)
  85        word2Integer w = case word2Integer# w of
  86                         (# s, d #) -> J# s d
  87
  88 instance Show (FunPtr a) where
  89    showsPrec p = showsPrec p . castFunPtrToPtr
  90 #endif
  91
  92 -- | Release the storage associated with the given 'FunPtr', which
  93 -- must have been obtained from a wrapper stub.  This should be called
  94 -- whenever the return value from a foreign import wrapper function is
  95 -- no longer required; otherwise, the storage it uses will leak.
  96 foreign import ccall unsafe "freeHaskellFunctionPtr"
  97     freeHaskellFunPtr :: FunPtr a -> IO ()
  98 #endif