liquidhaskell-0.8.2.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Foreign

Documentation

pLen :: Ptr a -> Int Source #

deref :: Ptr a -> a Source #

eqPtr :: Ptr a -> Ptr a -> Bool Source #