liquidhaskell-0.3.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Foreign

Documentation

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