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