Cardano.Foreign

valueallocaSized :: KnownNat n => (SizedPtr n -> IO b) -> IO b

valuec_memcpy :: Ptr a -> Ptr a -> CSize -> IO (Ptr ())

valuec_memset :: Ptr a -> Int -> CSize -> IO (Ptr ())

valuememcpySized :: KnownNat n => SizedPtr n -> SizedPtr n -> IO ()

valuememsetSized :: KnownNat n => SizedPtr n -> Word8 -> IO ()

newtypenewtype SizedPtr (n :: Nat)