cardano-crypto-class-2.2.0.0: 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 ∷ ∀ n b. KnownNat n ⇒ (SizedPtr n → IO b) → IO b
memcpySized ∷ ∀ n. KnownNat n ⇒ SizedPtr n → SizedPtr n → IO ()
memsetSized ∷ ∀ 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 ∷ ∀ n b. KnownNat n ⇒ (SizedPtr n → IO b) → IO b Source #

Like allocaBytes.

memcpySized ∷ ∀ n. KnownNat n ⇒ SizedPtr n → SizedPtr n → IO () Source #

memsetSized ∷ ∀ 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.