liquidhaskell-0.4.1.0: 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