liquidhaskell-0.8.0.2: Liquid Types for Haskell
Language.Haskell.Liquid.Foreign
intCSize :: Int -> CSize Source #
cSizeInt :: CSize -> Int Source #
mkPtr :: Addr# -> Ptr b Source #
isNullPtr :: Ptr a -> Bool Source #
fpLen :: ForeignPtr a -> Int Source #
pLen :: Ptr a -> Int Source #
deref :: Ptr a -> a Source #
eqPtr :: Ptr a -> Ptr a -> Bool Source #