Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Utilities for FFI
Synopsis
- newtype SizedPtr (n :: Nat ) = SizedPtr ( Ptr Void )
- allocaSized :: forall n b. KnownNat n => ( SizedPtr n -> IO b) -> IO b
- memcpySized :: forall n. KnownNat n => SizedPtr n -> SizedPtr n -> IO ()
- memsetSized :: forall n. KnownNat n => SizedPtr n -> Word8 -> IO ()
- c_memcpy :: Ptr a -> Ptr a -> CSize -> IO ( Ptr ())
- c_memset :: Ptr a -> Int -> CSize -> IO ( Ptr ())
Sized pointer
allocaSized :: forall n b. KnownNat n => ( SizedPtr n -> IO b) -> IO b Source #
Like
allocaBytes
.