{-# OPTIONS_GHC -fno-warn-unused-imports #-}
{-# LANGUAGE MagicHash #-}
module Language.Haskell.Liquid.Foreign where
import Foreign.C.Types (CSize(..))
import Foreign.Ptr
import Foreign.ForeignPtr
import GHC.Base
import Data.Word (Word64)
{-# NOINLINE intCSize #-}
intCSize :: Int -> CSize
intCSize :: Int -> CSize
intCSize = Int -> CSize
forall a b. (Integral a, Num b) => a -> b
fromIntegral
{-# NOINLINE cSizeInt #-}
cSizeInt :: CSize -> Int
cSizeInt :: CSize -> Int
cSizeInt = CSize -> Int
forall a b. (Integral a, Num b) => a -> b
fromIntegral
mkPtr :: Addr# -> Ptr b
mkPtr :: Addr# -> Ptr b
mkPtr = Addr# -> Ptr b
forall a. HasCallStack => a
undefined
isNullPtr :: Ptr a -> Bool
isNullPtr :: Ptr a -> Bool
isNullPtr Ptr a
p = (Ptr a
p Ptr a -> Ptr a -> Bool
forall a. Eq a => a -> a -> Bool
== Ptr a
forall a. Ptr a
nullPtr)
{-# INLINE isNullPtr #-}
fpLen :: ForeignPtr a -> Int
fpLen :: ForeignPtr a -> Int
fpLen = ForeignPtr a -> Int
forall a. HasCallStack => a
undefined
pLen :: Ptr a -> Int
pLen :: Ptr a -> Int
pLen = Ptr a -> Int
forall a. HasCallStack => a
undefined
deref :: Ptr a -> a
deref :: Ptr a -> a
deref = Ptr a -> a
forall a. HasCallStack => a
undefined
eqPtr :: Ptr a -> Ptr a -> Bool
eqPtr :: Ptr a -> Ptr a -> Bool
eqPtr = Ptr a -> Ptr a -> Bool
forall a. HasCallStack => a
undefined