cardano-crypto-class-2.0.0.0.1: Type classes abstracting over cryptography primitives for Cardano

Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Foreign

Contents

Sized pointer
Low-level C functions

Description

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

newtype SizedPtr (n :: Nat ) Source #

Constructors

SizedPtr ( Ptr Void )

allocaSized :: forall n b. KnownNat n => ( SizedPtr n -> IO b) -> IO b Source #

Like allocaBytes .

memcpySized :: forall n. KnownNat n => SizedPtr n -> SizedPtr n -> IO () Source #

memsetSized :: forall n. KnownNat n => SizedPtr n -> Word8 -> IO () Source #

Low-level C functions

c_memcpy :: Ptr a -> Ptr a -> CSize -> IO ( Ptr ()) Source #

void *memcpy(void *dest, const void *src, size_t n);

Note: this is safe foreign import

c_memset :: Ptr a -> Int -> CSize -> IO ( Ptr ()) Source #

void *memset(void *s, int c, size_t n);

Note: for sure zeroing memory use c_sodium_memzero .