{-# LANGUAGE PatternSynonyms, ViewPatterns #-} {-# OPTIONS_GHC -Wall -fno-warn-tabs #-} module Foreign.Ptr.Misc where import Foreign.Ptr pattern NullPtr :: Ptr a pattern $bNullPtr :: forall a. Ptr a $mNullPtr :: forall {r} {a}. Ptr a -> ((# #) -> r) -> ((# #) -> r) -> r NullPtr <- ((== nullPtr) -> True) where NullPtr = forall a. Ptr a nullPtr