| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Foreign.Storable.PeekPoke.Internal
Synopsis
- class Sizable a where
- sizeOf' :: Int
- alignment' :: Int
- class Peek a where
- peekMaybe :: Peek a => Ptr a -> IO (Maybe a)
- class Poke a where
- class (Sizable a, Peek a) => Peekable a
- peekArray' :: forall a. Peekable a => Int -> Ptr a -> IO [a]
- class WithPoked a where
- withPoked' :: a -> (forall s. PtrS s a -> IO b) -> IO b
- newtype PtrS s a = PtrS_ (Ptr a)
- ptrS :: Ptr a -> PtrS s a
- withPtrS :: PtrS s a -> (Ptr a -> IO b) -> IO ()
- withPokedMaybe' :: WithPoked a => Maybe a -> (forall s. PtrS s a -> IO b) -> IO b
- class (Sizable a, Poke a, WithPoked a) => Pokable a
- withPoked :: Pokable a => a -> (Ptr a -> IO b) -> IO b
- withPokedMaybe :: Pokable a => Maybe a -> (Ptr a -> IO b) -> IO b
- class (Peekable a, Pokable a, Storable a) => Storable' a
- pattern NullPtr :: Ptr a