Safe Haskell	Safe-Inferred
Language	GHC2021

Libsodium

Contents

Functions
Types
Constants
Extras

Description

This module exports raw bindings to the libsodium C library.

You can find libsodium's documentation at https://libsodium.gitbook.io

Regarding the version of the C libsodium library supported by this library: Haskell's library libsodium-A.B.C.D is designed to work with the C library libsodium-A.B.C.

Synopsis

type (:::) name x = x
crypto_aead_aes256gcm_beforenm :: (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_aes256gcm_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_aes256gcm_decrypt_afternm :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt
crypto_aead_aes256gcm_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_aes256gcm_decrypt_detached_afternm :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt
crypto_aead_aes256gcm_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_aes256gcm_encrypt_afternm :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt
crypto_aead_aes256gcm_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_aes256gcm_encrypt_detached_afternm :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt
crypto_aead_aes256gcm_is_available :: IO CInt
crypto_aead_aes256gcm_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_aead_chacha20poly1305_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_ietf_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_ietf_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_ietf_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_ietf_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_chacha20poly1305_ietf_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_aead_chacha20poly1305_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_aead_xchacha20poly1305_ietf_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_xchacha20poly1305_ietf_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_xchacha20poly1305_ietf_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_xchacha20poly1305_ietf_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_aead_xchacha20poly1305_ietf_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_auth :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha256 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha256_final :: (state ::: Ptr Crypto_auth_hmacsha256_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha256_init :: (state ::: Ptr Crypto_auth_hmacsha256_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt
crypto_auth_hmacsha256_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_auth_hmacsha256_update :: (state ::: Ptr Crypto_auth_hmacsha256_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_auth_hmacsha256_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha512 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha512256 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha512256_final :: (state ::: Ptr Crypto_auth_hmacsha512256_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha512256_init :: (state ::: Ptr Crypto_auth_hmacsha512256_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt
crypto_auth_hmacsha512256_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_auth_hmacsha512256_update :: (state ::: Ptr Crypto_auth_hmacsha512256_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_auth_hmacsha512256_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha512_final :: (state ::: Ptr Crypto_auth_hmacsha512_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_auth_hmacsha512_init :: (state ::: Ptr Crypto_auth_hmacsha512_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt
crypto_auth_hmacsha512_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_auth_hmacsha512_update :: (state ::: Ptr Crypto_auth_hmacsha512_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_auth_hmacsha512_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_auth_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_auth_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_beforenm :: (k ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_beforenm :: (k ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_detached_afternm :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_easy_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_open_detached_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_open_easy_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_seal :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_seal_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xchacha20poly1305_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305 :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305_beforenm :: (k ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305_open_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_curve25519xsalsa20poly1305_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt
crypto_box_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_detached_afternm :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_easy_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_open_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_open_detached_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_open_easy_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_box_seal :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_box_seal_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_box_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt
crypto_core_ed25519_add :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt
crypto_core_ed25519_from_hash :: (p ::: Ptr CUChar) -> (h ::: Ptr CUChar) -> IO CInt
crypto_core_ed25519_from_uniform :: (p ::: Ptr CUChar) -> (r ::: Ptr CUChar) -> IO CInt
crypto_core_ed25519_is_valid_point :: (p ::: Ptr CUChar) -> IO CInt
crypto_core_ed25519_random :: (p ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_add :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_complement :: (comp ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_invert :: (recip ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO CInt
crypto_core_ed25519_scalar_mul :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_negate :: (neg ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_random :: (r ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_reduce :: (r ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_scalar_sub :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO ()
crypto_core_ed25519_sub :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt
crypto_core_hchacha20 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt
crypto_core_hsalsa20 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt
crypto_core_ristretto255_add :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt
crypto_core_ristretto255_from_hash :: (p ::: Ptr CUChar) -> (r ::: Ptr CUChar) -> IO CInt
crypto_core_ristretto255_is_valid_point :: (p ::: Ptr CUChar) -> IO CInt
crypto_core_ristretto255_random :: (p ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_add :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_complement :: (comp ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_invert :: (recip ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO CInt
crypto_core_ristretto255_scalar_mul :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_negate :: (neg ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_random :: (r ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_reduce :: (r ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_scalar_sub :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO ()
crypto_core_ristretto255_sub :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt
crypto_core_salsa20 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt
crypto_core_salsa2012 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt
crypto_core_salsa208 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt
crypto_generichash :: (out ::: Ptr CUChar) -> (outlen ::: CSize) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt
crypto_generichash_blake2b :: (out ::: Ptr CUChar) -> (outlen ::: CSize) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt
crypto_generichash_blake2b_final :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (out ::: Ptr CUChar) -> (outlen ::: CSize) -> IO CInt
crypto_generichash_blake2b_init :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (outlen ::: CSize) -> IO CInt
crypto_generichash_blake2b_init_salt_personal :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (outlen ::: CSize) -> (salt ::: Ptr CUChar) -> (personal ::: Ptr CUChar) -> IO CInt
crypto_generichash_blake2b_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_generichash_blake2b_salt_personal :: (out ::: Ptr CUChar) -> (outlen ::: CSize) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (salt ::: Ptr CUChar) -> (personal ::: Ptr CUChar) -> IO CInt
crypto_generichash_blake2b_update :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_generichash_final :: (state ::: Ptr Crypto_generichash_state) -> (out ::: Ptr CUChar) -> (outlen ::: CSize) -> IO CInt
crypto_generichash_init :: (state ::: Ptr Crypto_generichash_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (outlen ::: CSize) -> IO CInt
crypto_generichash_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_generichash_update :: (state ::: Ptr Crypto_generichash_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_hash :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_hash_sha256 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_hash_sha256_final :: (state ::: Ptr Crypto_hash_sha256_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_hash_sha256_init :: (state ::: Ptr Crypto_hash_sha256_state) -> IO CInt
crypto_hash_sha256_update :: (state ::: Ptr Crypto_hash_sha256_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_hash_sha512 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_hash_sha512_final :: (state ::: Ptr Crypto_hash_sha512_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_hash_sha512_init :: (state ::: Ptr Crypto_hash_sha512_state) -> IO CInt
crypto_hash_sha512_update :: (state ::: Ptr Crypto_hash_sha512_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_kdf_blake2b_derive_from_key :: (subkey ::: Ptr CUChar) -> (subkey_len ::: CSize) -> (subkey_id ::: Word64) -> (ctx ::: Ptr CChar) -> (key ::: Ptr CUChar) -> IO CInt
crypto_kdf_derive_from_key :: (subkey ::: Ptr CUChar) -> (subkey_len ::: CSize) -> (subkey_id ::: Word64) -> (ctx ::: Ptr CChar) -> (key ::: Ptr CUChar) -> IO CInt
crypto_kdf_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_kx_client_session_keys :: (rx ::: Ptr CUChar) -> (tx ::: Ptr CUChar) -> (client_pk ::: Ptr CUChar) -> (client_sk ::: Ptr CUChar) -> (server_pk ::: Ptr CUChar) -> IO CInt
crypto_kx_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_kx_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt
crypto_kx_server_session_keys :: (rx ::: Ptr CUChar) -> (tx ::: Ptr CUChar) -> (server_pk ::: Ptr CUChar) -> (server_sk ::: Ptr CUChar) -> (client_pk ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_final :: (state ::: Ptr Crypto_onetimeauth_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_init :: (state ::: Ptr Crypto_onetimeauth_state) -> (key ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_onetimeauth_poly1305 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_poly1305_final :: (state ::: Ptr Crypto_onetimeauth_poly1305_state) -> (out ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_poly1305_init :: (state ::: Ptr Crypto_onetimeauth_poly1305_state) -> (key ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_poly1305_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_onetimeauth_poly1305_update :: (state ::: Ptr Crypto_onetimeauth_poly1305_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_onetimeauth_poly1305_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_onetimeauth_update :: (state ::: Ptr Crypto_onetimeauth_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt
crypto_onetimeauth_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_pwhash :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt
crypto_pwhash_argon2i :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt
crypto_pwhash_argon2id :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt
crypto_pwhash_argon2id_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_argon2id_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_argon2id_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt
crypto_pwhash_argon2i_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_argon2i_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_argon2i_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt
crypto_pwhash_scryptsalsa208sha256 :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_scryptsalsa208sha256_ll :: (passwd ::: Ptr Word8) -> (passwdlen ::: CSize) -> (salt ::: Ptr Word8) -> (saltlen ::: CSize) -> (n ::: Word64) -> (r ::: Word32) -> (p ::: Word32) -> (buf ::: Ptr Word8) -> (buflen ::: CSize) -> IO CInt
crypto_pwhash_scryptsalsa208sha256_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_scryptsalsa208sha256_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_scryptsalsa208sha256_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt
crypto_pwhash_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_str_alg :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt
crypto_pwhash_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt
crypto_pwhash_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt
crypto_scalarmult :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_curve25519 :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_curve25519_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_ed25519 :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_ed25519_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_ed25519_base_noclamp :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_ed25519_noclamp :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_ristretto255 :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt
crypto_scalarmult_ristretto255_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt
crypto_secretbox :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_secretbox_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_xchacha20poly1305_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_xchacha20poly1305_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_xchacha20poly1305_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_xchacha20poly1305_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_xsalsa20poly1305 :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretbox_xsalsa20poly1305_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_secretbox_xsalsa20poly1305_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretstream_xchacha20poly1305_init_pull :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (header ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretstream_xchacha20poly1305_init_push :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (header ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_secretstream_xchacha20poly1305_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_secretstream_xchacha20poly1305_pull :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (tag_p ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> IO CInt
crypto_secretstream_xchacha20poly1305_push :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (tag ::: CUChar) -> IO CInt
crypto_secretstream_xchacha20poly1305_rekey :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> IO ()
crypto_shorthash :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_shorthash_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_shorthash_siphash24 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_shorthash_siphashx24 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt
crypto_sign :: (sm ::: Ptr CUChar) -> (smlen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_detached :: (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519 :: (sm ::: Ptr CUChar) -> (smlen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_detached :: (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_open :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (sm ::: Ptr CUChar) -> (smlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519ph_final_create :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519ph_final_verify :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> (sig ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519ph_init :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> IO CInt
crypto_sign_ed25519ph_update :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> IO CInt
crypto_sign_ed25519_pk_to_curve25519 :: (curve25519_pk ::: Ptr CUChar) -> (ed25519_pk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_sk_to_curve25519 :: (curve25519_sk ::: Ptr CUChar) -> (ed25519_sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_sk_to_pk :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_sk_to_seed :: (seed ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_ed25519_verify_detached :: (sig ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_sign_final_create :: (state ::: Ptr Crypto_sign_state) -> (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_final_verify :: (state ::: Ptr Crypto_sign_state) -> (sig ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_sign_init :: (state ::: Ptr Crypto_sign_state) -> IO CInt
crypto_sign_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt
crypto_sign_open :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (sm ::: Ptr CUChar) -> (smlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_sign_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt
crypto_sign_update :: (state ::: Ptr Crypto_sign_state) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> IO CInt
crypto_sign_verify_detached :: (sig ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt
crypto_stream :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_chacha20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_chacha20_ietf :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_chacha20_ietf_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_chacha20_ietf_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_chacha20_ietf_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word32) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_chacha20_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_chacha20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_chacha20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_salsa20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_salsa2012 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_salsa2012_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_salsa2012_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_salsa208 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_salsa208_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_salsa208_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_salsa20_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_salsa20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_salsa20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xchacha20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xchacha20_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_xchacha20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xchacha20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xsalsa20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xsalsa20_keygen :: (k ::: Ptr CUChar) -> IO ()
crypto_stream_xsalsa20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt
crypto_stream_xsalsa20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt
crypto_verify_16 :: (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO CInt
crypto_verify_32 :: (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO CInt
crypto_verify_64 :: (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO CInt
randombytes :: (buf ::: Ptr CUChar) -> (buf_len ::: CULLong) -> IO ()
randombytes_buf :: (buf ::: Ptr x) -> (size ::: CSize) -> IO ()
randombytes_buf_deterministic :: (buf ::: Ptr x) -> (size ::: CSize) -> (seed ::: Ptr CUChar) -> IO ()
randombytes_close :: IO CInt
randombytes_implementation_name :: IO CString
randombytes_internal_implementation :: Ptr Randombytes_implementation
randombytes_random :: IO Word32
randombytes_set_implementation :: (impl ::: Ptr Randombytes_implementation) -> IO CInt
randombytes_stir :: IO ()
randombytes_sysrandom_implementation :: Ptr Randombytes_implementation
randombytes_uniform :: (upper_bound ::: Word32) -> IO Word32
sodium_add :: (a ::: Ptr CUChar) -> (b ::: Ptr CUChar) -> (len ::: CSize) -> IO ()
sodium_allocarray :: (count ::: CSize) -> (size ::: CSize) -> IO (Ptr a)
sodium_base642bin :: (bin ::: Ptr CUChar) -> (bin_maxlen ::: CSize) -> (b64 ::: Ptr CChar) -> (b64_len ::: CSize) -> (ignore ::: Ptr CChar) -> (bin_len ::: Ptr CSize) -> (b64_end ::: Ptr (Ptr CChar)) -> (variant ::: CInt) -> IO CInt
sodium_base64_encoded_len :: (bin_len ::: CSize) -> (variant ::: CInt) -> IO CInt
sodium_bin2base64 :: (b64 ::: Ptr CChar) -> (b64_maxlen ::: CSize) -> (bin ::: Ptr CUChar) -> (bin_len ::: CSize) -> (variant ::: CInt) -> IO CString
sodium_bin2hex :: (hex ::: Ptr CChar) -> (hex_maxlen ::: CSize) -> (bin ::: Ptr CUChar) -> (bin_len ::: CSize) -> IO CString
sodium_compare :: (b1_ ::: Ptr CUChar) -> (b2_ ::: Ptr CUChar) -> (len ::: CSize) -> IO CInt
sodium_free :: (addr ::: Ptr x) -> IO ()
sodium_hex2bin :: (bin ::: Ptr CUChar) -> (bin_maxlen ::: CSize) -> (hex ::: Ptr CChar) -> (hex_len ::: CSize) -> (ignore ::: Ptr CChar) -> (bin_len ::: Ptr CSize) -> (hex_end ::: Ptr (Ptr CChar)) -> IO CInt
sodium_increment :: (n ::: Ptr CUChar) -> (nlen ::: CSize) -> IO ()
sodium_init :: IO CInt
sodium_is_zero :: (n ::: Ptr CUChar) -> (nlen ::: CSize) -> IO CInt
sodium_malloc :: (size ::: CSize) -> IO (Ptr a)
sodium_memcmp :: (b1 ::: Ptr a) -> (b2 ::: Ptr a) -> (len ::: CSize) -> IO CInt
sodium_memzero :: (pnt ::: Ptr x) -> (len ::: CSize) -> IO ()
sodium_mlock :: (addr ::: Ptr x) -> (len ::: CSize) -> IO CInt
sodium_mprotect_noaccess :: (addr ::: Ptr x) -> IO CInt
sodium_mprotect_readonly :: (addr ::: Ptr x) -> IO CInt
sodium_mprotect_readwrite :: (addr ::: Ptr x) -> IO CInt
sodium_munlock :: (addr ::: Ptr x) -> (len ::: CSize) -> IO CInt
sodium_pad :: (padded_buflen_p ::: Ptr CSize) -> (buf ::: Ptr CUChar) -> (unpadded_buflen ::: CSize) -> (blocksize ::: CSize) -> (max_buflen ::: CSize) -> IO CInt
sodium_runtime_has_aesni :: IO CInt
sodium_runtime_has_avx :: IO CInt
sodium_runtime_has_avx2 :: IO CInt
sodium_runtime_has_avx512f :: IO CInt
sodium_runtime_has_neon :: IO CInt
sodium_runtime_has_pclmul :: IO CInt
sodium_runtime_has_rdrand :: IO CInt
sodium_runtime_has_sse2 :: IO CInt
sodium_runtime_has_sse3 :: IO CInt
sodium_runtime_has_sse41 :: IO CInt
sodium_runtime_has_ssse3 :: IO CInt
sodium_stackzero :: (len ::: CSize) -> IO ()
sodium_sub :: (a ::: Ptr CUChar) -> (b ::: Ptr CUChar) -> (len ::: CSize) -> IO ()
sodium_unpad :: (unpadded_buflen_p ::: Ptr CSize) -> (buf ::: Ptr CUChar) -> (padded_buflen ::: CSize) -> (blocksize ::: CSize) -> IO CInt
newtype Crypto_aead_aes256gcm_state = Crypto_aead_aes256gcm_state (ForeignPtr Crypto_aead_aes256gcm_state)
crypto_aead_aes256gcm_state'ptr :: Crypto_aead_aes256gcm_state -> (Ptr Crypto_aead_aes256gcm_state -> IO x) -> IO x
crypto_aead_aes256gcm_state'malloc :: IO Crypto_aead_aes256gcm_state
newtype Crypto_auth_hmacsha256_state = Crypto_auth_hmacsha256_state (ForeignPtr Crypto_auth_hmacsha256_state)
crypto_auth_hmacsha256_state'ptr :: Crypto_auth_hmacsha256_state -> (Ptr Crypto_auth_hmacsha256_state -> IO x) -> IO x
crypto_auth_hmacsha256_state'malloc :: IO Crypto_auth_hmacsha256_state
type Crypto_auth_hmacsha512256_state = Crypto_auth_hmacsha512_state
crypto_auth_hmacsha512256_state'ptr :: Crypto_auth_hmacsha512256_state -> (Ptr Crypto_auth_hmacsha512256_state -> IO x) -> IO x
crypto_auth_hmacsha512256_state'malloc :: IO Crypto_auth_hmacsha512256_state
newtype Crypto_auth_hmacsha512_state = Crypto_auth_hmacsha512_state (ForeignPtr Crypto_auth_hmacsha512_state)
crypto_auth_hmacsha512_state'ptr :: Crypto_auth_hmacsha512_state -> (Ptr Crypto_auth_hmacsha512_state -> IO x) -> IO x
crypto_auth_hmacsha512_state'malloc :: IO Crypto_auth_hmacsha512_state
newtype Crypto_generichash_blake2b_state = Crypto_generichash_blake2b_state (ForeignPtr Crypto_generichash_blake2b_state)
crypto_generichash_blake2b_state'ptr :: Crypto_generichash_blake2b_state -> (Ptr Crypto_generichash_blake2b_state -> IO x) -> IO x
crypto_generichash_blake2b_state'malloc :: IO Crypto_generichash_blake2b_state
type Crypto_generichash_state = Crypto_generichash_blake2b_state
crypto_generichash_state'ptr :: Crypto_generichash_state -> (Ptr Crypto_generichash_state -> IO x) -> IO x
crypto_generichash_state'malloc :: IO Crypto_generichash_state
newtype Crypto_hash_sha256_state = Crypto_hash_sha256_state (ForeignPtr Crypto_hash_sha256_state)
crypto_hash_sha256_state'ptr :: Crypto_hash_sha256_state -> (Ptr Crypto_hash_sha256_state -> IO x) -> IO x
crypto_hash_sha256_state'malloc :: IO Crypto_hash_sha256_state
newtype Crypto_hash_sha512_state = Crypto_hash_sha512_state (ForeignPtr Crypto_hash_sha512_state)
crypto_hash_sha512_state'ptr :: Crypto_hash_sha512_state -> (Ptr Crypto_hash_sha512_state -> IO x) -> IO x
crypto_hash_sha512_state'malloc :: IO Crypto_hash_sha512_state
newtype Crypto_onetimeauth_poly1305_state = Crypto_onetimeauth_poly1305_state (ForeignPtr Crypto_onetimeauth_poly1305_state)
crypto_onetimeauth_poly1305_state'ptr :: Crypto_onetimeauth_poly1305_state -> (Ptr Crypto_onetimeauth_poly1305_state -> IO x) -> IO x
crypto_onetimeauth_poly1305_state'malloc :: IO Crypto_onetimeauth_poly1305_state
type Crypto_onetimeauth_state = Crypto_onetimeauth_poly1305_state
crypto_onetimeauth_state'ptr :: Crypto_onetimeauth_state -> (Ptr Crypto_onetimeauth_state -> IO x) -> IO x
crypto_onetimeauth_state'malloc :: IO Crypto_onetimeauth_state
newtype Crypto_secretstream_xchacha20poly1305_state = Crypto_secretstream_xchacha20poly1305_state (ForeignPtr Crypto_secretstream_xchacha20poly1305_state)
crypto_secretstream_xchacha20poly1305_state'ptr :: Crypto_secretstream_xchacha20poly1305_state -> (Ptr Crypto_secretstream_xchacha20poly1305_state -> IO x) -> IO x
crypto_secretstream_xchacha20poly1305_state'malloc :: IO Crypto_secretstream_xchacha20poly1305_state
newtype Crypto_sign_ed25519ph_state = Crypto_sign_ed25519ph_state (ForeignPtr Crypto_sign_ed25519ph_state)
crypto_sign_ed25519ph_state'ptr :: Crypto_sign_ed25519ph_state -> (Ptr Crypto_sign_ed25519ph_state -> IO x) -> IO x
crypto_sign_ed25519ph_state'malloc :: IO Crypto_sign_ed25519ph_state
type Crypto_sign_state = Crypto_sign_ed25519ph_state
crypto_sign_state'ptr :: Crypto_sign_state -> (Ptr Crypto_sign_state -> IO x) -> IO x
crypto_sign_state'malloc :: IO Crypto_sign_state
newtype Randombytes_implementation = Randombytes_implementation (ForeignPtr Randombytes_implementation)
randombytes_implementation'ptr :: Randombytes_implementation -> (Ptr Randombytes_implementation -> IO x) -> IO x
randombytes_implementation'malloc :: IO Randombytes_implementation
type CRYPTO_AEAD_AES256GCM_ABYTES = 16 :: Nat
crypto_aead_aes256gcm_abytes :: CSize
type CRYPTO_AEAD_AES256GCM_KEYBYTES = 32 :: Nat
crypto_aead_aes256gcm_keybytes :: CSize
type CRYPTO_AEAD_AES256GCM_MESSAGEBYTES_MAX = 68719476704 :: Nat
crypto_aead_aes256gcm_messagebytes_max :: CSize
type CRYPTO_AEAD_AES256GCM_NPUBBYTES = 12 :: Nat
crypto_aead_aes256gcm_npubbytes :: CSize
type CRYPTO_AEAD_AES256GCM_NSECBYTES = 0 :: Nat
crypto_aead_aes256gcm_nsecbytes :: CSize
type CRYPTO_AEAD_AES256GCM_STATEBYTES = 512 :: Nat
crypto_aead_aes256gcm_statebytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_ABYTES = 16 :: Nat
crypto_aead_chacha20poly1305_abytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_IETF_ABYTES = 16 :: Nat
crypto_aead_chacha20poly1305_ietf_abytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_IETF_KEYBYTES = 32 :: Nat
crypto_aead_chacha20poly1305_ietf_keybytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_IETF_MESSAGEBYTES_MAX = 274877906880 :: Nat
crypto_aead_chacha20poly1305_ietf_messagebytes_max :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_IETF_NPUBBYTES = 12 :: Nat
crypto_aead_chacha20poly1305_ietf_npubbytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_IETF_NSECBYTES = 0 :: Nat
crypto_aead_chacha20poly1305_ietf_nsecbytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_KEYBYTES = 32 :: Nat
crypto_aead_chacha20poly1305_keybytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_aead_chacha20poly1305_messagebytes_max :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_NPUBBYTES = 8 :: Nat
crypto_aead_chacha20poly1305_npubbytes :: CSize
type CRYPTO_AEAD_CHACHA20POLY1305_NSECBYTES = 0 :: Nat
crypto_aead_chacha20poly1305_nsecbytes :: CSize
type CRYPTO_AEAD_XCHACHA20POLY1305_IETF_ABYTES = 16 :: Nat
crypto_aead_xchacha20poly1305_ietf_abytes :: CSize
type CRYPTO_AEAD_XCHACHA20POLY1305_IETF_KEYBYTES = 32 :: Nat
crypto_aead_xchacha20poly1305_ietf_keybytes :: CSize
type CRYPTO_AEAD_XCHACHA20POLY1305_IETF_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_aead_xchacha20poly1305_ietf_messagebytes_max :: CSize
type CRYPTO_AEAD_XCHACHA20POLY1305_IETF_NPUBBYTES = 24 :: Nat
crypto_aead_xchacha20poly1305_ietf_npubbytes :: CSize
type CRYPTO_AEAD_XCHACHA20POLY1305_IETF_NSECBYTES = 0 :: Nat
crypto_aead_xchacha20poly1305_ietf_nsecbytes :: CSize
type CRYPTO_AUTH_BYTES = 32 :: Nat
crypto_auth_bytes :: CSize
type CRYPTO_AUTH_HMACSHA256_BYTES = 32 :: Nat
crypto_auth_hmacsha256_bytes :: CSize
type CRYPTO_AUTH_HMACSHA256_KEYBYTES = 32 :: Nat
crypto_auth_hmacsha256_keybytes :: CSize
type CRYPTO_AUTH_HMACSHA256_STATEBYTES = 208 :: Nat
crypto_auth_hmacsha256_statebytes :: CSize
type CRYPTO_AUTH_HMACSHA512256_BYTES = 32 :: Nat
crypto_auth_hmacsha512256_bytes :: CSize
type CRYPTO_AUTH_HMACSHA512256_KEYBYTES = 32 :: Nat
crypto_auth_hmacsha512256_keybytes :: CSize
type CRYPTO_AUTH_HMACSHA512256_STATEBYTES = 416 :: Nat
crypto_auth_hmacsha512256_statebytes :: CSize
type CRYPTO_AUTH_HMACSHA512_BYTES = 64 :: Nat
crypto_auth_hmacsha512_bytes :: CSize
type CRYPTO_AUTH_HMACSHA512_KEYBYTES = 32 :: Nat
crypto_auth_hmacsha512_keybytes :: CSize
type CRYPTO_AUTH_HMACSHA512_STATEBYTES = 416 :: Nat
crypto_auth_hmacsha512_statebytes :: CSize
type CRYPTO_AUTH_KEYBYTES = 32 :: Nat
crypto_auth_keybytes :: CSize
type CRYPTO_BOX_BEFORENMBYTES = 32 :: Nat
crypto_box_beforenmbytes :: CSize
type CRYPTO_BOX_BOXZEROBYTES = 16 :: Nat
crypto_box_boxzerobytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_BEFORENMBYTES = 32 :: Nat
crypto_box_curve25519xchacha20poly1305_beforenmbytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_MACBYTES = 16 :: Nat
crypto_box_curve25519xchacha20poly1305_macbytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_box_curve25519xchacha20poly1305_messagebytes_max :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_NONCEBYTES = 24 :: Nat
crypto_box_curve25519xchacha20poly1305_noncebytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_PUBLICKEYBYTES = 32 :: Nat
crypto_box_curve25519xchacha20poly1305_publickeybytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_SEALBYTES = 48 :: Nat
crypto_box_curve25519xchacha20poly1305_sealbytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_SECRETKEYBYTES = 32 :: Nat
crypto_box_curve25519xchacha20poly1305_secretkeybytes :: CSize
type CRYPTO_BOX_CURVE25519XCHACHA20POLY1305_SEEDBYTES = 32 :: Nat
crypto_box_curve25519xchacha20poly1305_seedbytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_BEFORENMBYTES = 32 :: Nat
crypto_box_curve25519xsalsa20poly1305_beforenmbytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_BOXZEROBYTES = 16 :: Nat
crypto_box_curve25519xsalsa20poly1305_boxzerobytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_MACBYTES = 16 :: Nat
crypto_box_curve25519xsalsa20poly1305_macbytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_box_curve25519xsalsa20poly1305_messagebytes_max :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_NONCEBYTES = 24 :: Nat
crypto_box_curve25519xsalsa20poly1305_noncebytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_PUBLICKEYBYTES = 32 :: Nat
crypto_box_curve25519xsalsa20poly1305_publickeybytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_SECRETKEYBYTES = 32 :: Nat
crypto_box_curve25519xsalsa20poly1305_secretkeybytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_SEEDBYTES = 32 :: Nat
crypto_box_curve25519xsalsa20poly1305_seedbytes :: CSize
type CRYPTO_BOX_CURVE25519XSALSA20POLY1305_ZEROBYTES = 32 :: Nat
crypto_box_curve25519xsalsa20poly1305_zerobytes :: CSize
type CRYPTO_BOX_MACBYTES = 16 :: Nat
crypto_box_macbytes :: CSize
type CRYPTO_BOX_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_box_messagebytes_max :: CSize
type CRYPTO_BOX_NONCEBYTES = 24 :: Nat
crypto_box_noncebytes :: CSize
type CRYPTO_BOX_PUBLICKEYBYTES = 32 :: Nat
crypto_box_publickeybytes :: CSize
type CRYPTO_BOX_SEALBYTES = 48 :: Nat
crypto_box_sealbytes :: CSize
type CRYPTO_BOX_SECRETKEYBYTES = 32 :: Nat
crypto_box_secretkeybytes :: CSize
type CRYPTO_BOX_SEEDBYTES = 32 :: Nat
crypto_box_seedbytes :: CSize
type CRYPTO_BOX_ZEROBYTES = 32 :: Nat
crypto_box_zerobytes :: CSize
type CRYPTO_CORE_ED25519_BYTES = 32 :: Nat
crypto_core_ed25519_bytes :: CSize
type CRYPTO_CORE_ED25519_HASHBYTES = 64 :: Nat
crypto_core_ed25519_hashbytes :: CSize
type CRYPTO_CORE_ED25519_NONREDUCEDSCALARBYTES = 64 :: Nat
crypto_core_ed25519_nonreducedscalarbytes :: CSize
type CRYPTO_CORE_ED25519_SCALARBYTES = 32 :: Nat
crypto_core_ed25519_scalarbytes :: CSize
type CRYPTO_CORE_ED25519_UNIFORMBYTES = 32 :: Nat
crypto_core_ed25519_uniformbytes :: CSize
type CRYPTO_CORE_HCHACHA20_CONSTBYTES = 16 :: Nat
crypto_core_hchacha20_constbytes :: CSize
type CRYPTO_CORE_HCHACHA20_INPUTBYTES = 16 :: Nat
crypto_core_hchacha20_inputbytes :: CSize
type CRYPTO_CORE_HCHACHA20_KEYBYTES = 32 :: Nat
crypto_core_hchacha20_keybytes :: CSize
type CRYPTO_CORE_HCHACHA20_OUTPUTBYTES = 32 :: Nat
crypto_core_hchacha20_outputbytes :: CSize
type CRYPTO_CORE_HSALSA20_CONSTBYTES = 16 :: Nat
crypto_core_hsalsa20_constbytes :: CSize
type CRYPTO_CORE_HSALSA20_INPUTBYTES = 16 :: Nat
crypto_core_hsalsa20_inputbytes :: CSize
type CRYPTO_CORE_HSALSA20_KEYBYTES = 32 :: Nat
crypto_core_hsalsa20_keybytes :: CSize
type CRYPTO_CORE_HSALSA20_OUTPUTBYTES = 32 :: Nat
crypto_core_hsalsa20_outputbytes :: CSize
type CRYPTO_CORE_RISTRETTO255_BYTES = 32 :: Nat
crypto_core_ristretto255_bytes :: CSize
type CRYPTO_CORE_RISTRETTO255_HASHBYTES = 64 :: Nat
crypto_core_ristretto255_hashbytes :: CSize
type CRYPTO_CORE_RISTRETTO255_NONREDUCEDSCALARBYTES = 64 :: Nat
crypto_core_ristretto255_nonreducedscalarbytes :: CSize
type CRYPTO_CORE_RISTRETTO255_SCALARBYTES = 32 :: Nat
crypto_core_ristretto255_scalarbytes :: CSize
type CRYPTO_CORE_SALSA2012_CONSTBYTES = 16 :: Nat
crypto_core_salsa2012_constbytes :: CSize
type CRYPTO_CORE_SALSA2012_INPUTBYTES = 16 :: Nat
crypto_core_salsa2012_inputbytes :: CSize
type CRYPTO_CORE_SALSA2012_KEYBYTES = 32 :: Nat
crypto_core_salsa2012_keybytes :: CSize
type CRYPTO_CORE_SALSA2012_OUTPUTBYTES = 64 :: Nat
crypto_core_salsa2012_outputbytes :: CSize
type CRYPTO_CORE_SALSA208_CONSTBYTES = 16 :: Nat
crypto_core_salsa208_constbytes :: CSize
type CRYPTO_CORE_SALSA208_INPUTBYTES = 16 :: Nat
crypto_core_salsa208_inputbytes :: CSize
type CRYPTO_CORE_SALSA208_KEYBYTES = 32 :: Nat
crypto_core_salsa208_keybytes :: CSize
type CRYPTO_CORE_SALSA208_OUTPUTBYTES = 64 :: Nat
crypto_core_salsa208_outputbytes :: CSize
type CRYPTO_CORE_SALSA20_CONSTBYTES = 16 :: Nat
crypto_core_salsa20_constbytes :: CSize
type CRYPTO_CORE_SALSA20_INPUTBYTES = 16 :: Nat
crypto_core_salsa20_inputbytes :: CSize
type CRYPTO_CORE_SALSA20_KEYBYTES = 32 :: Nat
crypto_core_salsa20_keybytes :: CSize
type CRYPTO_CORE_SALSA20_OUTPUTBYTES = 64 :: Nat
crypto_core_salsa20_outputbytes :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_BYTES = 32 :: Nat
crypto_generichash_blake2b_bytes :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_BYTES_MAX = 64 :: Nat
crypto_generichash_blake2b_bytes_max :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_BYTES_MIN = 16 :: Nat
crypto_generichash_blake2b_bytes_min :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_KEYBYTES = 32 :: Nat
crypto_generichash_blake2b_keybytes :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_KEYBYTES_MAX = 64 :: Nat
crypto_generichash_blake2b_keybytes_max :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_KEYBYTES_MIN = 16 :: Nat
crypto_generichash_blake2b_keybytes_min :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_PERSONALBYTES = 16 :: Nat
crypto_generichash_blake2b_personalbytes :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_SALTBYTES = 16 :: Nat
crypto_generichash_blake2b_saltbytes :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_STATEBYTES = 384 :: Nat
crypto_generichash_blake2b_statebytes :: CSize
type CRYPTO_GENERICHASH_BYTES = 32 :: Nat
crypto_generichash_bytes :: CSize
type CRYPTO_GENERICHASH_BYTES_MAX = 64 :: Nat
crypto_generichash_bytes_max :: CSize
type CRYPTO_GENERICHASH_BYTES_MIN = 16 :: Nat
crypto_generichash_bytes_min :: CSize
type CRYPTO_GENERICHASH_KEYBYTES = 32 :: Nat
crypto_generichash_keybytes :: CSize
type CRYPTO_GENERICHASH_KEYBYTES_MAX = 64 :: Nat
crypto_generichash_keybytes_max :: CSize
type CRYPTO_GENERICHASH_KEYBYTES_MIN = 16 :: Nat
crypto_generichash_keybytes_min :: CSize
type CRYPTO_GENERICHASH_STATEBYTES = 384 :: Nat
crypto_generichash_statebytes :: CSize
type CRYPTO_HASH_BYTES = 64 :: Nat
crypto_hash_bytes :: CSize
type CRYPTO_HASH_SHA256_BYTES = 32 :: Nat
crypto_hash_sha256_bytes :: CSize
type CRYPTO_HASH_SHA256_STATEBYTES = 104 :: Nat
crypto_hash_sha256_statebytes :: CSize
type CRYPTO_HASH_SHA512_BYTES = 64 :: Nat
crypto_hash_sha512_bytes :: CSize
type CRYPTO_HASH_SHA512_STATEBYTES = 208 :: Nat
crypto_hash_sha512_statebytes :: CSize
type CRYPTO_KDF_BLAKE2B_BYTES_MAX = 64 :: Nat
crypto_kdf_blake2b_bytes_max :: CSize
type CRYPTO_KDF_BLAKE2B_BYTES_MIN = 16 :: Nat
crypto_kdf_blake2b_bytes_min :: CSize
type CRYPTO_KDF_BLAKE2B_CONTEXTBYTES = 8 :: Nat
crypto_kdf_blake2b_contextbytes :: CSize
type CRYPTO_KDF_BLAKE2B_KEYBYTES = 32 :: Nat
crypto_kdf_blake2b_keybytes :: CSize
type CRYPTO_KDF_BYTES_MAX = 64 :: Nat
crypto_kdf_bytes_max :: CSize
type CRYPTO_KDF_BYTES_MIN = 16 :: Nat
crypto_kdf_bytes_min :: CSize
type CRYPTO_KDF_CONTEXTBYTES = 8 :: Nat
crypto_kdf_contextbytes :: CSize
type CRYPTO_KDF_KEYBYTES = 32 :: Nat
crypto_kdf_keybytes :: CSize
type CRYPTO_KX_PUBLICKEYBYTES = 32 :: Nat
crypto_kx_publickeybytes :: CSize
type CRYPTO_KX_SECRETKEYBYTES = 32 :: Nat
crypto_kx_secretkeybytes :: CSize
type CRYPTO_KX_SEEDBYTES = 32 :: Nat
crypto_kx_seedbytes :: CSize
type CRYPTO_KX_SESSIONKEYBYTES = 32 :: Nat
crypto_kx_sessionkeybytes :: CSize
type CRYPTO_ONETIMEAUTH_BYTES = 16 :: Nat
crypto_onetimeauth_bytes :: CSize
type CRYPTO_ONETIMEAUTH_KEYBYTES = 32 :: Nat
crypto_onetimeauth_keybytes :: CSize
type CRYPTO_ONETIMEAUTH_POLY1305_BYTES = 16 :: Nat
crypto_onetimeauth_poly1305_bytes :: CSize
type CRYPTO_ONETIMEAUTH_POLY1305_KEYBYTES = 32 :: Nat
crypto_onetimeauth_poly1305_keybytes :: CSize
type CRYPTO_ONETIMEAUTH_POLY1305_STATEBYTES = 256 :: Nat
crypto_onetimeauth_poly1305_statebytes :: CSize
type CRYPTO_ONETIMEAUTH_STATEBYTES = 256 :: Nat
crypto_onetimeauth_statebytes :: CSize
type CRYPTO_PWHASH_ALG_ARGON2I13 = 1 :: Nat
crypto_pwhash_alg_argon2i13 :: CInt
type CRYPTO_PWHASH_ALG_ARGON2ID13 = 2 :: Nat
crypto_pwhash_alg_argon2id13 :: CInt
type CRYPTO_PWHASH_ALG_DEFAULT = 2 :: Nat
crypto_pwhash_alg_default :: CInt
type CRYPTO_PWHASH_ARGON2I_ALG_ARGON2I13 = 1 :: Nat
crypto_pwhash_argon2i_alg_argon2i13 :: CInt
type CRYPTO_PWHASH_ARGON2I_BYTES_MAX = 4294967295 :: Nat
crypto_pwhash_argon2i_bytes_max :: CSize
type CRYPTO_PWHASH_ARGON2I_BYTES_MIN = 16 :: Nat
crypto_pwhash_argon2i_bytes_min :: CSize
type CRYPTO_PWHASH_ARGON2ID_ALG_ARGON2ID13 = 2 :: Nat
crypto_pwhash_argon2id_alg_argon2id13 :: CInt
type CRYPTO_PWHASH_ARGON2ID_BYTES_MAX = 4294967295 :: Nat
crypto_pwhash_argon2id_bytes_max :: CSize
type CRYPTO_PWHASH_ARGON2ID_BYTES_MIN = 16 :: Nat
crypto_pwhash_argon2id_bytes_min :: CSize
type CRYPTO_PWHASH_ARGON2ID_MEMLIMIT_INTERACTIVE = 67108864 :: Nat
crypto_pwhash_argon2id_memlimit_interactive :: CSize
type CRYPTO_PWHASH_ARGON2ID_MEMLIMIT_MAX = 4398046510080 :: Nat
crypto_pwhash_argon2id_memlimit_max :: CSize
type CRYPTO_PWHASH_ARGON2ID_MEMLIMIT_MIN = 8192 :: Nat
crypto_pwhash_argon2id_memlimit_min :: CSize
type CRYPTO_PWHASH_ARGON2ID_MEMLIMIT_MODERATE = 268435456 :: Nat
crypto_pwhash_argon2id_memlimit_moderate :: CSize
type CRYPTO_PWHASH_ARGON2ID_MEMLIMIT_SENSITIVE = 1073741824 :: Nat
crypto_pwhash_argon2id_memlimit_sensitive :: CSize
type CRYPTO_PWHASH_ARGON2ID_OPSLIMIT_INTERACTIVE = 2 :: Nat
crypto_pwhash_argon2id_opslimit_interactive :: CSize
type CRYPTO_PWHASH_ARGON2ID_OPSLIMIT_MAX = 4294967295 :: Nat
crypto_pwhash_argon2id_opslimit_max :: CSize
type CRYPTO_PWHASH_ARGON2ID_OPSLIMIT_MIN = 1 :: Nat
crypto_pwhash_argon2id_opslimit_min :: CSize
type CRYPTO_PWHASH_ARGON2ID_OPSLIMIT_MODERATE = 3 :: Nat
crypto_pwhash_argon2id_opslimit_moderate :: CSize
type CRYPTO_PWHASH_ARGON2ID_OPSLIMIT_SENSITIVE = 4 :: Nat
crypto_pwhash_argon2id_opslimit_sensitive :: CSize
type CRYPTO_PWHASH_ARGON2ID_PASSWD_MAX = 4294967295 :: Nat
crypto_pwhash_argon2id_passwd_max :: CSize
type CRYPTO_PWHASH_ARGON2ID_PASSWD_MIN = 0 :: Nat
crypto_pwhash_argon2id_passwd_min :: CSize
type CRYPTO_PWHASH_ARGON2ID_SALTBYTES = 16 :: Nat
crypto_pwhash_argon2id_saltbytes :: CSize
type CRYPTO_PWHASH_ARGON2ID_STRBYTES = 128 :: Nat
crypto_pwhash_argon2id_strbytes :: CSize
type CRYPTO_PWHASH_ARGON2I_MEMLIMIT_INTERACTIVE = 33554432 :: Nat
crypto_pwhash_argon2i_memlimit_interactive :: CSize
type CRYPTO_PWHASH_ARGON2I_MEMLIMIT_MAX = 4398046510080 :: Nat
crypto_pwhash_argon2i_memlimit_max :: CSize
type CRYPTO_PWHASH_ARGON2I_MEMLIMIT_MIN = 8192 :: Nat
crypto_pwhash_argon2i_memlimit_min :: CSize
type CRYPTO_PWHASH_ARGON2I_MEMLIMIT_MODERATE = 134217728 :: Nat
crypto_pwhash_argon2i_memlimit_moderate :: CSize
type CRYPTO_PWHASH_ARGON2I_MEMLIMIT_SENSITIVE = 536870912 :: Nat
crypto_pwhash_argon2i_memlimit_sensitive :: CSize
type CRYPTO_PWHASH_ARGON2I_OPSLIMIT_INTERACTIVE = 4 :: Nat
crypto_pwhash_argon2i_opslimit_interactive :: CSize
type CRYPTO_PWHASH_ARGON2I_OPSLIMIT_MAX = 4294967295 :: Nat
crypto_pwhash_argon2i_opslimit_max :: CSize
type CRYPTO_PWHASH_ARGON2I_OPSLIMIT_MIN = 3 :: Nat
crypto_pwhash_argon2i_opslimit_min :: CSize
type CRYPTO_PWHASH_ARGON2I_OPSLIMIT_MODERATE = 6 :: Nat
crypto_pwhash_argon2i_opslimit_moderate :: CSize
type CRYPTO_PWHASH_ARGON2I_OPSLIMIT_SENSITIVE = 8 :: Nat
crypto_pwhash_argon2i_opslimit_sensitive :: CSize
type CRYPTO_PWHASH_ARGON2I_PASSWD_MAX = 4294967295 :: Nat
crypto_pwhash_argon2i_passwd_max :: CSize
type CRYPTO_PWHASH_ARGON2I_PASSWD_MIN = 0 :: Nat
crypto_pwhash_argon2i_passwd_min :: CSize
type CRYPTO_PWHASH_ARGON2I_SALTBYTES = 16 :: Nat
crypto_pwhash_argon2i_saltbytes :: CSize
type CRYPTO_PWHASH_ARGON2I_STRBYTES = 128 :: Nat
crypto_pwhash_argon2i_strbytes :: CSize
type CRYPTO_PWHASH_BYTES_MAX = 4294967295 :: Nat
crypto_pwhash_bytes_max :: CSize
type CRYPTO_PWHASH_BYTES_MIN = 16 :: Nat
crypto_pwhash_bytes_min :: CSize
type CRYPTO_PWHASH_MEMLIMIT_INTERACTIVE = 67108864 :: Nat
crypto_pwhash_memlimit_interactive :: CSize
type CRYPTO_PWHASH_MEMLIMIT_MAX = 4398046510080 :: Nat
crypto_pwhash_memlimit_max :: CSize
type CRYPTO_PWHASH_MEMLIMIT_MIN = 8192 :: Nat
crypto_pwhash_memlimit_min :: CSize
type CRYPTO_PWHASH_MEMLIMIT_MODERATE = 268435456 :: Nat
crypto_pwhash_memlimit_moderate :: CSize
type CRYPTO_PWHASH_MEMLIMIT_SENSITIVE = 1073741824 :: Nat
crypto_pwhash_memlimit_sensitive :: CSize
type CRYPTO_PWHASH_OPSLIMIT_INTERACTIVE = 2 :: Nat
crypto_pwhash_opslimit_interactive :: CSize
type CRYPTO_PWHASH_OPSLIMIT_MAX = 4294967295 :: Nat
crypto_pwhash_opslimit_max :: CSize
type CRYPTO_PWHASH_OPSLIMIT_MIN = 1 :: Nat
crypto_pwhash_opslimit_min :: CSize
type CRYPTO_PWHASH_OPSLIMIT_MODERATE = 3 :: Nat
crypto_pwhash_opslimit_moderate :: CSize
type CRYPTO_PWHASH_OPSLIMIT_SENSITIVE = 4 :: Nat
crypto_pwhash_opslimit_sensitive :: CSize
type CRYPTO_PWHASH_PASSWD_MAX = 4294967295 :: Nat
crypto_pwhash_passwd_max :: CSize
type CRYPTO_PWHASH_PASSWD_MIN = 0 :: Nat
crypto_pwhash_passwd_min :: CSize
type CRYPTO_PWHASH_SALTBYTES = 16 :: Nat
crypto_pwhash_saltbytes :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_BYTES_MAX = 137438953440 :: Nat
crypto_pwhash_scryptsalsa208sha256_bytes_max :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_BYTES_MIN = 16 :: Nat
crypto_pwhash_scryptsalsa208sha256_bytes_min :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_MEMLIMIT_INTERACTIVE = 16777216 :: Nat
crypto_pwhash_scryptsalsa208sha256_memlimit_interactive :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_MEMLIMIT_MAX = 68719476736 :: Nat
crypto_pwhash_scryptsalsa208sha256_memlimit_max :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_MEMLIMIT_MIN = 16777216 :: Nat
crypto_pwhash_scryptsalsa208sha256_memlimit_min :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_MEMLIMIT_SENSITIVE = 1073741824 :: Nat
crypto_pwhash_scryptsalsa208sha256_memlimit_sensitive :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_OPSLIMIT_INTERACTIVE = 524288 :: Nat
crypto_pwhash_scryptsalsa208sha256_opslimit_interactive :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_OPSLIMIT_MAX = 4294967295 :: Nat
crypto_pwhash_scryptsalsa208sha256_opslimit_max :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_OPSLIMIT_MIN = 32768 :: Nat
crypto_pwhash_scryptsalsa208sha256_opslimit_min :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_OPSLIMIT_SENSITIVE = 33554432 :: Nat
crypto_pwhash_scryptsalsa208sha256_opslimit_sensitive :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_PASSWD_MAX = 18446744073709551615 :: Nat
crypto_pwhash_scryptsalsa208sha256_passwd_max :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_PASSWD_MIN = 0 :: Nat
crypto_pwhash_scryptsalsa208sha256_passwd_min :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_SALTBYTES = 32 :: Nat
crypto_pwhash_scryptsalsa208sha256_saltbytes :: CSize
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_STRBYTES = 102 :: Nat
crypto_pwhash_scryptsalsa208sha256_strbytes :: CSize
type CRYPTO_PWHASH_STRBYTES = 128 :: Nat
crypto_pwhash_strbytes :: CSize
type CRYPTO_SCALARMULT_BYTES = 32 :: Nat
crypto_scalarmult_bytes :: CSize
type CRYPTO_SCALARMULT_CURVE25519_BYTES = 32 :: Nat
crypto_scalarmult_curve25519_bytes :: CSize
type CRYPTO_SCALARMULT_CURVE25519_SCALARBYTES = 32 :: Nat
crypto_scalarmult_curve25519_scalarbytes :: CSize
type CRYPTO_SCALARMULT_ED25519_BYTES = 32 :: Nat
crypto_scalarmult_ed25519_bytes :: CSize
type CRYPTO_SCALARMULT_ED25519_SCALARBYTES = 32 :: Nat
crypto_scalarmult_ed25519_scalarbytes :: CSize
type CRYPTO_SCALARMULT_RISTRETTO255_BYTES = 32 :: Nat
crypto_scalarmult_ristretto255_bytes :: CSize
type CRYPTO_SCALARMULT_RISTRETTO255_SCALARBYTES = 32 :: Nat
crypto_scalarmult_ristretto255_scalarbytes :: CSize
type CRYPTO_SCALARMULT_SCALARBYTES = 32 :: Nat
crypto_scalarmult_scalarbytes :: CSize
type CRYPTO_SECRETBOX_BOXZEROBYTES = 16 :: Nat
crypto_secretbox_boxzerobytes :: CSize
type CRYPTO_SECRETBOX_KEYBYTES = 32 :: Nat
crypto_secretbox_keybytes :: CSize
type CRYPTO_SECRETBOX_MACBYTES = 16 :: Nat
crypto_secretbox_macbytes :: CSize
type CRYPTO_SECRETBOX_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_secretbox_messagebytes_max :: CSize
type CRYPTO_SECRETBOX_NONCEBYTES = 24 :: Nat
crypto_secretbox_noncebytes :: CSize
type CRYPTO_SECRETBOX_XCHACHA20POLY1305_KEYBYTES = 32 :: Nat
crypto_secretbox_xchacha20poly1305_keybytes :: CSize
type CRYPTO_SECRETBOX_XCHACHA20POLY1305_MACBYTES = 16 :: Nat
crypto_secretbox_xchacha20poly1305_macbytes :: CSize
type CRYPTO_SECRETBOX_XCHACHA20POLY1305_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_secretbox_xchacha20poly1305_messagebytes_max :: CSize
type CRYPTO_SECRETBOX_XCHACHA20POLY1305_NONCEBYTES = 24 :: Nat
crypto_secretbox_xchacha20poly1305_noncebytes :: CSize
type CRYPTO_SECRETBOX_XSALSA20POLY1305_BOXZEROBYTES = 16 :: Nat
crypto_secretbox_xsalsa20poly1305_boxzerobytes :: CSize
type CRYPTO_SECRETBOX_XSALSA20POLY1305_KEYBYTES = 32 :: Nat
crypto_secretbox_xsalsa20poly1305_keybytes :: CSize
type CRYPTO_SECRETBOX_XSALSA20POLY1305_MACBYTES = 16 :: Nat
crypto_secretbox_xsalsa20poly1305_macbytes :: CSize
type CRYPTO_SECRETBOX_XSALSA20POLY1305_MESSAGEBYTES_MAX = 18446744073709551599 :: Nat
crypto_secretbox_xsalsa20poly1305_messagebytes_max :: CSize
type CRYPTO_SECRETBOX_XSALSA20POLY1305_NONCEBYTES = 24 :: Nat
crypto_secretbox_xsalsa20poly1305_noncebytes :: CSize
type CRYPTO_SECRETBOX_XSALSA20POLY1305_ZEROBYTES = 32 :: Nat
crypto_secretbox_xsalsa20poly1305_zerobytes :: CSize
type CRYPTO_SECRETBOX_ZEROBYTES = 32 :: Nat
crypto_secretbox_zerobytes :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_ABYTES = 17 :: Nat
crypto_secretstream_xchacha20poly1305_abytes :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_HEADERBYTES = 24 :: Nat
crypto_secretstream_xchacha20poly1305_headerbytes :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_KEYBYTES = 32 :: Nat
crypto_secretstream_xchacha20poly1305_keybytes :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_MESSAGEBYTES_MAX = 274877906816 :: Nat
crypto_secretstream_xchacha20poly1305_messagebytes_max :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_STATEBYTES = 52 :: Nat
crypto_secretstream_xchacha20poly1305_statebytes :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_TAG_FINAL = 3 :: Nat
crypto_secretstream_xchacha20poly1305_tag_final :: CUChar
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_TAG_MESSAGE = 0 :: Nat
crypto_secretstream_xchacha20poly1305_tag_message :: CUChar
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_TAG_PUSH = 1 :: Nat
crypto_secretstream_xchacha20poly1305_tag_push :: CUChar
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_TAG_REKEY = 2 :: Nat
crypto_secretstream_xchacha20poly1305_tag_rekey :: CUChar
type CRYPTO_SHORTHASH_BYTES = 8 :: Nat
crypto_shorthash_bytes :: CSize
type CRYPTO_SHORTHASH_KEYBYTES = 16 :: Nat
crypto_shorthash_keybytes :: CSize
type CRYPTO_SHORTHASH_SIPHASH24_BYTES = 8 :: Nat
crypto_shorthash_siphash24_bytes :: CSize
type CRYPTO_SHORTHASH_SIPHASH24_KEYBYTES = 16 :: Nat
crypto_shorthash_siphash24_keybytes :: CSize
type CRYPTO_SHORTHASH_SIPHASHX24_BYTES = 16 :: Nat
crypto_shorthash_siphashx24_bytes :: CSize
type CRYPTO_SHORTHASH_SIPHASHX24_KEYBYTES = 16 :: Nat
crypto_shorthash_siphashx24_keybytes :: CSize
type CRYPTO_SIGN_BYTES = 64 :: Nat
crypto_sign_bytes :: CSize
type CRYPTO_SIGN_ED25519_BYTES = 64 :: Nat
crypto_sign_ed25519_bytes :: CSize
type CRYPTO_SIGN_ED25519_MESSAGEBYTES_MAX = 18446744073709551551 :: Nat
crypto_sign_ed25519_messagebytes_max :: CSize
type CRYPTO_SIGN_ED25519PH_STATEBYTES = 208 :: Nat
crypto_sign_ed25519ph_statebytes :: CSize
type CRYPTO_SIGN_ED25519_PUBLICKEYBYTES = 32 :: Nat
crypto_sign_ed25519_publickeybytes :: CSize
type CRYPTO_SIGN_ED25519_SECRETKEYBYTES = 64 :: Nat
crypto_sign_ed25519_secretkeybytes :: CSize
type CRYPTO_SIGN_ED25519_SEEDBYTES = 32 :: Nat
crypto_sign_ed25519_seedbytes :: CSize
type CRYPTO_SIGN_MESSAGEBYTES_MAX = 18446744073709551551 :: Nat
crypto_sign_messagebytes_max :: CSize
type CRYPTO_SIGN_PUBLICKEYBYTES = 32 :: Nat
crypto_sign_publickeybytes :: CSize
type CRYPTO_SIGN_SECRETKEYBYTES = 64 :: Nat
crypto_sign_secretkeybytes :: CSize
type CRYPTO_SIGN_SEEDBYTES = 32 :: Nat
crypto_sign_seedbytes :: CSize
type CRYPTO_SIGN_STATEBYTES = 208 :: Nat
crypto_sign_statebytes :: CSize
type CRYPTO_STREAM_CHACHA20_IETF_KEYBYTES = 32 :: Nat
crypto_stream_chacha20_ietf_keybytes :: CSize
type CRYPTO_STREAM_CHACHA20_IETF_MESSAGEBYTES_MAX = 274877906944 :: Nat
crypto_stream_chacha20_ietf_messagebytes_max :: CSize
type CRYPTO_STREAM_CHACHA20_IETF_NONCEBYTES = 12 :: Nat
crypto_stream_chacha20_ietf_noncebytes :: CSize
type CRYPTO_STREAM_CHACHA20_KEYBYTES = 32 :: Nat
crypto_stream_chacha20_keybytes :: CSize
type CRYPTO_STREAM_CHACHA20_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_chacha20_messagebytes_max :: CSize
type CRYPTO_STREAM_CHACHA20_NONCEBYTES = 8 :: Nat
crypto_stream_chacha20_noncebytes :: CSize
type CRYPTO_STREAM_KEYBYTES = 32 :: Nat
crypto_stream_keybytes :: CSize
type CRYPTO_STREAM_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_messagebytes_max :: CSize
type CRYPTO_STREAM_NONCEBYTES = 24 :: Nat
crypto_stream_noncebytes :: CSize
type CRYPTO_STREAM_SALSA2012_KEYBYTES = 32 :: Nat
crypto_stream_salsa2012_keybytes :: CSize
type CRYPTO_STREAM_SALSA2012_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_salsa2012_messagebytes_max :: CSize
type CRYPTO_STREAM_SALSA2012_NONCEBYTES = 8 :: Nat
crypto_stream_salsa2012_noncebytes :: CSize
type CRYPTO_STREAM_SALSA208_KEYBYTES = 32 :: Nat
crypto_stream_salsa208_keybytes :: CSize
type CRYPTO_STREAM_SALSA208_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_salsa208_messagebytes_max :: CSize
type CRYPTO_STREAM_SALSA208_NONCEBYTES = 8 :: Nat
crypto_stream_salsa208_noncebytes :: CSize
type CRYPTO_STREAM_SALSA20_KEYBYTES = 32 :: Nat
crypto_stream_salsa20_keybytes :: CSize
type CRYPTO_STREAM_SALSA20_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_salsa20_messagebytes_max :: CSize
type CRYPTO_STREAM_SALSA20_NONCEBYTES = 8 :: Nat
crypto_stream_salsa20_noncebytes :: CSize
type CRYPTO_STREAM_XCHACHA20_KEYBYTES = 32 :: Nat
crypto_stream_xchacha20_keybytes :: CSize
type CRYPTO_STREAM_XCHACHA20_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_xchacha20_messagebytes_max :: CSize
type CRYPTO_STREAM_XCHACHA20_NONCEBYTES = 24 :: Nat
crypto_stream_xchacha20_noncebytes :: CSize
type CRYPTO_STREAM_XSALSA20_KEYBYTES = 32 :: Nat
crypto_stream_xsalsa20_keybytes :: CSize
type CRYPTO_STREAM_XSALSA20_MESSAGEBYTES_MAX = 18446744073709551615 :: Nat
crypto_stream_xsalsa20_messagebytes_max :: CSize
type CRYPTO_STREAM_XSALSA20_NONCEBYTES = 24 :: Nat
crypto_stream_xsalsa20_noncebytes :: CSize
type CRYPTO_VERIFY_16_BYTES = 16 :: Nat
crypto_verify_16_bytes :: CSize
type CRYPTO_VERIFY_32_BYTES = 32 :: Nat
crypto_verify_32_bytes :: CSize
type CRYPTO_VERIFY_64_BYTES = 64 :: Nat
crypto_verify_64_bytes :: CSize
type RANDOMBYTES_SEEDBYTES = 32 :: Nat
randombytes_seedbytes :: CSize
type SODIUM_LIBRARY_MINIMAL = 0 :: Nat
sodium_library_minimal :: CInt
type SODIUM_LIBRARY_VERSION_MAJOR = 10 :: Nat
sodium_library_version_major :: CInt
type SODIUM_LIBRARY_VERSION_MINOR = 3 :: Nat
sodium_library_version_minor :: CInt
type SODIUM_BASE64_VARIANT_ORIGINAL = 1 :: Nat
sodium_base64_variant_original :: CInt
type SODIUM_BASE64_VARIANT_ORIGINAL_NO_PADDING = 3 :: Nat
sodium_base64_variant_original_no_padding :: CInt
type SODIUM_BASE64_VARIANT_URLSAFE = 5 :: Nat
sodium_base64_variant_urlsafe :: CInt
type SODIUM_BASE64_VARIANT_URLSAFE_NO_PADDING = 7 :: Nat
sodium_base64_variant_urlsafe_no_padding :: CInt
type CRYPTO_AEAD_AES256GCM_STATEALIGNMENT = 1 :: Nat
crypto_aead_aes256gcm_statealignment :: CSize
type CRYPTO_AUTH_HMACSHA256_STATEALIGNMENT = 8 :: Nat
crypto_auth_hmacsha256_statealignment :: CSize
type CRYPTO_AUTH_HMACSHA512256_STATEALIGNMENT = 8 :: Nat
crypto_auth_hmacsha512256_statealignment :: CSize
type CRYPTO_AUTH_HMACSHA512_STATEALIGNMENT = 8 :: Nat
crypto_auth_hmacsha512_statealignment :: CSize
type CRYPTO_GENERICHASH_BLAKE2B_STATEALIGNMENT = 1 :: Nat
crypto_generichash_blake2b_statealignment :: CSize
type CRYPTO_GENERICHASH_STATEALIGNMENT = 1 :: Nat
crypto_generichash_statealignment :: CSize
type CRYPTO_HASH_SHA256_STATEALIGNMENT = 8 :: Nat
crypto_hash_sha256_statealignment :: CSize
type CRYPTO_HASH_SHA512_STATEALIGNMENT = 8 :: Nat
crypto_hash_sha512_statealignment :: CSize
type CRYPTO_ONETIMEAUTH_POLY1305_STATEALIGNMENT = 1 :: Nat
crypto_onetimeauth_poly1305_statealignment :: CSize
type CRYPTO_ONETIMEAUTH_STATEALIGNMENT = 1 :: Nat
crypto_onetimeauth_statealignment :: CSize
type CRYPTO_SECRETSTREAM_XCHACHA20POLY1305_STATEALIGNMENT = 1 :: Nat
crypto_secretstream_xchacha20poly1305_statealignment :: CSize
type CRYPTO_SIGN_ED25519PH_STATEALIGNMENT = 8 :: Nat
crypto_sign_ed25519ph_statealignment :: CSize
type CRYPTO_SIGN_STATEALIGNMENT = 1 :: Nat
crypto_sign_statealignment :: CSize
type CRYPTO_AUTH_PRIMITIVE = "hmacsha512256" :: Symbol
crypto_auth_primitive :: String
type CRYPTO_BOX_PRIMITIVE = "curve25519xsalsa20poly1305" :: Symbol
crypto_box_primitive :: String
type CRYPTO_GENERICHASH_PRIMITIVE = "blake2b" :: Symbol
crypto_generichash_primitive :: String
type CRYPTO_HASH_PRIMITIVE = "sha512" :: Symbol
crypto_hash_primitive :: String
type CRYPTO_KDF_PRIMITIVE = "blake2b" :: Symbol
crypto_kdf_primitive :: String
type CRYPTO_KX_PRIMITIVE = "x25519blake2b" :: Symbol
crypto_kx_primitive :: String
type CRYPTO_ONETIMEAUTH_PRIMITIVE = "poly1305" :: Symbol
crypto_onetimeauth_primitive :: String
type CRYPTO_PWHASH_ARGON2ID_STRPREFIX = "$argon2id$" :: Symbol
crypto_pwhash_argon2id_strprefix :: String
type CRYPTO_PWHASH_ARGON2I_STRPREFIX = "$argon2i$" :: Symbol
crypto_pwhash_argon2i_strprefix :: String
type CRYPTO_PWHASH_PRIMITIVE = "argon2i" :: Symbol
crypto_pwhash_primitive :: String
type CRYPTO_PWHASH_SCRYPTSALSA208SHA256_STRPREFIX = "$7$" :: Symbol
crypto_pwhash_scryptsalsa208sha256_strprefix :: String
type CRYPTO_PWHASH_STRPREFIX = "$argon2id$" :: Symbol
crypto_pwhash_strprefix :: String
type CRYPTO_SCALARMULT_PRIMITIVE = "curve25519" :: Symbol
crypto_scalarmult_primitive :: String
type CRYPTO_SECRETBOX_PRIMITIVE = "xsalsa20poly1305" :: Symbol
crypto_secretbox_primitive :: String
type CRYPTO_SHORTHASH_PRIMITIVE = "siphash24" :: Symbol
crypto_shorthash_primitive :: String
type CRYPTO_SIGN_PRIMITIVE = "ed25519" :: Symbol
crypto_sign_primitive :: String
type CRYPTO_STREAM_PRIMITIVE = "xsalsa20" :: Symbol
crypto_stream_primitive :: String
type SODIUM_VERSION_STRING = "1.0.18" :: Symbol
sodium_version_string :: String
sodium_memzero'finalizerEnv :: FinalizerEnvPtr CSize a
sodium_memzero'finalizerEnvFree :: FinalizerEnvPtr CSize a

Functions

In Libsodium, each function parameter shows up as “name ::: x”, where x is the actual parameter type and name is the name the parameter is given in the C library.

This is for documentation purposes only. The type checker will ignore the “name :::” part.

type (:::) name x = x Source #

“name ::: x” is a type synonym for x.

crypto_aead_aes256gcm_beforenm :: (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_aes256gcm_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_aes256gcm_decrypt_afternm :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt Source #

crypto_aead_aes256gcm_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_aes256gcm_decrypt_detached_afternm :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt Source #

crypto_aead_aes256gcm_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_aes256gcm_encrypt_afternm :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt Source #

crypto_aead_aes256gcm_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_aes256gcm_encrypt_detached_afternm :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (ctx_ ::: Ptr Crypto_aead_aes256gcm_state) -> IO CInt Source #

crypto_aead_aes256gcm_is_available :: IO CInt Source #

crypto_aead_aes256gcm_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_aead_chacha20poly1305_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_ietf_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_ietf_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_ietf_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_ietf_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_chacha20poly1305_ietf_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_aead_chacha20poly1305_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_aead_xchacha20poly1305_ietf_decrypt :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_xchacha20poly1305_ietf_decrypt_detached :: (m ::: Ptr CUChar) -> (nsec ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (mac ::: Ptr CUChar) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_xchacha20poly1305_ietf_encrypt :: (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_xchacha20poly1305_ietf_encrypt_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (maclen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (nsec ::: Ptr CUChar) -> (npub ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_aead_xchacha20poly1305_ietf_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_auth :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha256 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha256_final :: (state ::: Ptr Crypto_auth_hmacsha256_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha256_init :: (state ::: Ptr Crypto_auth_hmacsha256_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt Source #

crypto_auth_hmacsha256_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_auth_hmacsha256_update :: (state ::: Ptr Crypto_auth_hmacsha256_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_auth_hmacsha256_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha512 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha512256 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha512256_final :: (state ::: Ptr Crypto_auth_hmacsha512256_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha512256_init :: (state ::: Ptr Crypto_auth_hmacsha512256_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt Source #

crypto_auth_hmacsha512256_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_auth_hmacsha512256_update :: (state ::: Ptr Crypto_auth_hmacsha512256_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_auth_hmacsha512256_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha512_final :: (state ::: Ptr Crypto_auth_hmacsha512_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_hmacsha512_init :: (state ::: Ptr Crypto_auth_hmacsha512_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt Source #

crypto_auth_hmacsha512_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_auth_hmacsha512_update :: (state ::: Ptr Crypto_auth_hmacsha512_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_auth_hmacsha512_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_auth_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_auth_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_beforenm :: (k ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_beforenm :: (k ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_detached_afternm :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_easy_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_open_detached_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_open_easy_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_seal :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_seal_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xchacha20poly1305_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305 :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305_beforenm :: (k ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305_open_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_curve25519xsalsa20poly1305_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt Source #

crypto_box_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_detached_afternm :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_easy_afternm :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_open_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_open_detached_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_open_easy_afternm :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_box_seal :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_seal_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_box_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ed25519_add :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ed25519_from_hash :: (p ::: Ptr CUChar) -> (h ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ed25519_from_uniform :: (p ::: Ptr CUChar) -> (r ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ed25519_is_valid_point :: (p ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ed25519_random :: (p ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_add :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_complement :: (comp ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_invert :: (recip ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ed25519_scalar_mul :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_negate :: (neg ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_random :: (r ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_reduce :: (r ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_scalar_sub :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO () Source #

crypto_core_ed25519_sub :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt Source #

crypto_core_hchacha20 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt Source #

crypto_core_hsalsa20 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ristretto255_add :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ristretto255_from_hash :: (p ::: Ptr CUChar) -> (r ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ristretto255_is_valid_point :: (p ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ristretto255_random :: (p ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_add :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_complement :: (comp ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_invert :: (recip ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO CInt Source #

crypto_core_ristretto255_scalar_mul :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_negate :: (neg ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_random :: (r ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_reduce :: (r ::: Ptr CUChar) -> (s ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_scalar_sub :: (z ::: Ptr CUChar) -> (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO () Source #

crypto_core_ristretto255_sub :: (r ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> (q ::: Ptr CUChar) -> IO CInt Source #

crypto_core_salsa20 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt Source #

crypto_core_salsa2012 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt Source #

crypto_core_salsa208 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> IO CInt Source #

crypto_generichash :: (out ::: Ptr CUChar) -> (outlen ::: CSize) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt Source #

crypto_generichash_blake2b :: (out ::: Ptr CUChar) -> (outlen ::: CSize) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> IO CInt Source #

crypto_generichash_blake2b_final :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (out ::: Ptr CUChar) -> (outlen ::: CSize) -> IO CInt Source #

crypto_generichash_blake2b_init :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (outlen ::: CSize) -> IO CInt Source #

crypto_generichash_blake2b_init_salt_personal :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (outlen ::: CSize) -> (salt ::: Ptr CUChar) -> (personal ::: Ptr CUChar) -> IO CInt Source #

crypto_generichash_blake2b_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_generichash_blake2b_salt_personal :: (out ::: Ptr CUChar) -> (outlen ::: CSize) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (salt ::: Ptr CUChar) -> (personal ::: Ptr CUChar) -> IO CInt Source #

crypto_generichash_blake2b_update :: (state ::: Ptr Crypto_generichash_blake2b_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_generichash_final :: (state ::: Ptr Crypto_generichash_state) -> (out ::: Ptr CUChar) -> (outlen ::: CSize) -> IO CInt Source #

crypto_generichash_init :: (state ::: Ptr Crypto_generichash_state) -> (key ::: Ptr CUChar) -> (keylen ::: CSize) -> (outlen ::: CSize) -> IO CInt Source #

crypto_generichash_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_generichash_update :: (state ::: Ptr Crypto_generichash_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_hash :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_hash_sha256 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_hash_sha256_final :: (state ::: Ptr Crypto_hash_sha256_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_hash_sha256_init :: (state ::: Ptr Crypto_hash_sha256_state) -> IO CInt Source #

crypto_hash_sha256_update :: (state ::: Ptr Crypto_hash_sha256_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_hash_sha512 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_hash_sha512_final :: (state ::: Ptr Crypto_hash_sha512_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_hash_sha512_init :: (state ::: Ptr Crypto_hash_sha512_state) -> IO CInt Source #

crypto_hash_sha512_update :: (state ::: Ptr Crypto_hash_sha512_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_kdf_blake2b_derive_from_key :: (subkey ::: Ptr CUChar) -> (subkey_len ::: CSize) -> (subkey_id ::: Word64) -> (ctx ::: Ptr CChar) -> (key ::: Ptr CUChar) -> IO CInt Source #

crypto_kdf_derive_from_key :: (subkey ::: Ptr CUChar) -> (subkey_len ::: CSize) -> (subkey_id ::: Word64) -> (ctx ::: Ptr CChar) -> (key ::: Ptr CUChar) -> IO CInt Source #

crypto_kdf_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_kx_client_session_keys :: (rx ::: Ptr CUChar) -> (tx ::: Ptr CUChar) -> (client_pk ::: Ptr CUChar) -> (client_sk ::: Ptr CUChar) -> (server_pk ::: Ptr CUChar) -> IO CInt Source #

crypto_kx_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_kx_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt Source #

crypto_kx_server_session_keys :: (rx ::: Ptr CUChar) -> (tx ::: Ptr CUChar) -> (server_pk ::: Ptr CUChar) -> (server_sk ::: Ptr CUChar) -> (client_pk ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_final :: (state ::: Ptr Crypto_onetimeauth_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_init :: (state ::: Ptr Crypto_onetimeauth_state) -> (key ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_onetimeauth_poly1305 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_poly1305_final :: (state ::: Ptr Crypto_onetimeauth_poly1305_state) -> (out ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_poly1305_init :: (state ::: Ptr Crypto_onetimeauth_poly1305_state) -> (key ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_poly1305_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_onetimeauth_poly1305_update :: (state ::: Ptr Crypto_onetimeauth_poly1305_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_onetimeauth_poly1305_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_onetimeauth_update :: (state ::: Ptr Crypto_onetimeauth_state) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> IO CInt Source #

crypto_onetimeauth_verify :: (h ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_pwhash :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt Source #

crypto_pwhash_argon2i :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt Source #

crypto_pwhash_argon2id :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt Source #

crypto_pwhash_argon2id_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_argon2id_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_argon2id_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt Source #

crypto_pwhash_argon2i_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_argon2i_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_argon2i_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt Source #

crypto_pwhash_scryptsalsa208sha256 :: (out ::: Ptr CUChar) -> (outlen ::: CULLong) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (salt ::: Ptr CUChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_scryptsalsa208sha256_ll :: (passwd ::: Ptr Word8) -> (passwdlen ::: CSize) -> (salt ::: Ptr Word8) -> (saltlen ::: CSize) -> (n ::: Word64) -> (r ::: Word32) -> (p ::: Word32) -> (buf ::: Ptr Word8) -> (buflen ::: CSize) -> IO CInt Source #

crypto_pwhash_scryptsalsa208sha256_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_scryptsalsa208sha256_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_scryptsalsa208sha256_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt Source #

crypto_pwhash_str :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_str_alg :: (out ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> (alg ::: CInt) -> IO CInt Source #

crypto_pwhash_str_needs_rehash :: (str ::: Ptr CChar) -> (opslimit ::: CULLong) -> (memlimit ::: CSize) -> IO CInt Source #

crypto_pwhash_str_verify :: (str ::: Ptr CChar) -> (passwd ::: Ptr CChar) -> (passwdlen ::: CULLong) -> IO CInt Source #

crypto_scalarmult :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_curve25519 :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_curve25519_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_ed25519 :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_ed25519_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_ed25519_base_noclamp :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_ed25519_noclamp :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_ristretto255 :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> (p ::: Ptr CUChar) -> IO CInt Source #

crypto_scalarmult_ristretto255_base :: (q ::: Ptr CUChar) -> (n ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_secretbox_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_xchacha20poly1305_detached :: (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_xchacha20poly1305_easy :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_xchacha20poly1305_open_detached :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (mac ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_xchacha20poly1305_open_easy :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_xsalsa20poly1305 :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretbox_xsalsa20poly1305_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_secretbox_xsalsa20poly1305_open :: (m ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretstream_xchacha20poly1305_init_pull :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (header ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretstream_xchacha20poly1305_init_push :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (header ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_secretstream_xchacha20poly1305_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_secretstream_xchacha20poly1305_pull :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (tag_p ::: Ptr CUChar) -> (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> IO CInt Source #

crypto_secretstream_xchacha20poly1305_push :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> (c ::: Ptr CUChar) -> (clen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (ad ::: Ptr CUChar) -> (adlen ::: CULLong) -> (tag ::: CUChar) -> IO CInt Source #

crypto_secretstream_xchacha20poly1305_rekey :: (state ::: Ptr Crypto_secretstream_xchacha20poly1305_state) -> IO () Source #

crypto_shorthash :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_shorthash_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_shorthash_siphash24 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_shorthash_siphashx24 :: (out ::: Ptr CUChar) -> (in_ ::: Ptr CUChar) -> (inlen ::: CULLong) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_sign :: (sm ::: Ptr CUChar) -> (smlen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_detached :: (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519 :: (sm ::: Ptr CUChar) -> (smlen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_detached :: (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_open :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (sm ::: Ptr CUChar) -> (smlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519ph_final_create :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519ph_final_verify :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> (sig ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519ph_init :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> IO CInt Source #

crypto_sign_ed25519ph_update :: (state ::: Ptr Crypto_sign_ed25519ph_state) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> IO CInt Source #

crypto_sign_ed25519_pk_to_curve25519 :: (curve25519_pk ::: Ptr CUChar) -> (ed25519_pk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_sk_to_curve25519 :: (curve25519_sk ::: Ptr CUChar) -> (ed25519_sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_sk_to_pk :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_sk_to_seed :: (seed ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_ed25519_verify_detached :: (sig ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_final_create :: (state ::: Ptr Crypto_sign_state) -> (sig ::: Ptr CUChar) -> (siglen_p ::: Ptr CULLong) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_final_verify :: (state ::: Ptr Crypto_sign_state) -> (sig ::: Ptr CUChar) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_init :: (state ::: Ptr Crypto_sign_state) -> IO CInt Source #

crypto_sign_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_open :: (m ::: Ptr CUChar) -> (mlen_p ::: Ptr CULLong) -> (sm ::: Ptr CUChar) -> (smlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_seed_keypair :: (pk ::: Ptr CUChar) -> (sk ::: Ptr CUChar) -> (seed ::: Ptr CUChar) -> IO CInt Source #

crypto_sign_update :: (state ::: Ptr Crypto_sign_state) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> IO CInt Source #

crypto_sign_verify_detached :: (sig ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (pk ::: Ptr CUChar) -> IO CInt Source #

crypto_stream :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_chacha20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_chacha20_ietf :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_chacha20_ietf_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_chacha20_ietf_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_chacha20_ietf_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word32) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_chacha20_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_chacha20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_chacha20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_salsa20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_salsa2012 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_salsa2012_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_salsa2012_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_salsa208 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_salsa208_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_salsa208_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_salsa20_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_salsa20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_salsa20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xchacha20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xchacha20_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_xchacha20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xchacha20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xsalsa20 :: (c ::: Ptr CUChar) -> (clen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xsalsa20_keygen :: (k ::: Ptr CUChar) -> IO () Source #

crypto_stream_xsalsa20_xor :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_stream_xsalsa20_xor_ic :: (c ::: Ptr CUChar) -> (m ::: Ptr CUChar) -> (mlen ::: CULLong) -> (n ::: Ptr CUChar) -> (ic ::: Word64) -> (k ::: Ptr CUChar) -> IO CInt Source #

crypto_verify_16 :: (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO CInt Source #

crypto_verify_32 :: (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO CInt Source #

crypto_verify_64 :: (x ::: Ptr CUChar) -> (y ::: Ptr CUChar) -> IO CInt Source #

randombytes :: (buf ::: Ptr CUChar) -> (buf_len ::: CULLong) -> IO () Source #

randombytes_buf :: (buf ::: Ptr x) -> (size ::: CSize) -> IO () Source #

randombytes_buf_deterministic :: (buf ::: Ptr x) -> (size ::: CSize) -> (seed ::: Ptr CUChar) -> IO () Source #

randombytes_close :: IO CInt Source #

randombytes_implementation_name :: IO CString Source #

randombytes_internal_implementation :: Ptr Randombytes_implementation Source #

randombytes_random :: IO Word32 Source #

randombytes_set_implementation :: (impl ::: Ptr Randombytes_implementation) -> IO CInt Source #

randombytes_stir :: IO () Source #

randombytes_sysrandom_implementation :: Ptr Randombytes_implementation Source #

randombytes_uniform :: (upper_bound ::: Word32) -> IO Word32 Source #

sodium_add :: (a ::: Ptr CUChar) -> (b ::: Ptr CUChar) -> (len ::: CSize) -> IO () Source #

sodium_allocarray :: (count ::: CSize) -> (size ::: CSize) -> IO (Ptr a) Source #

sodium_base642bin :: (bin ::: Ptr CUChar) -> (bin_maxlen ::: CSize) -> (b64 ::: Ptr CChar) -> (b64_len ::: CSize) -> (ignore ::: Ptr CChar) -> (bin_len ::: Ptr CSize) -> (b64_end ::: Ptr (Ptr CChar)) -> (variant ::: CInt) -> IO CInt Source #

sodium_base64_encoded_len :: (bin_len ::: CSize) -> (variant ::: CInt) -> IO CInt Source #

sodium_bin2base64 :: (b64 ::: Ptr CChar) -> (b64_maxlen ::: CSize) -> (bin ::: Ptr CUChar) -> (bin_len ::: CSize) -> (variant ::: CInt) -> IO CString Source #

sodium_bin2hex :: (hex ::: Ptr CChar) -> (hex_maxlen ::: CSize) -> (bin ::: Ptr CUChar) -> (bin_len ::: CSize) -> IO CString Source #

sodium_compare :: (b1_ ::: Ptr CUChar) -> (b2_ ::: Ptr CUChar) -> (len ::: CSize) -> IO CInt Source #

sodium_free :: (addr ::: Ptr x) -> IO () Source #

sodium_hex2bin :: (bin ::: Ptr CUChar) -> (bin_maxlen ::: CSize) -> (hex ::: Ptr CChar) -> (hex_len ::: CSize) -> (ignore ::: Ptr CChar) -> (bin_len ::: Ptr CSize) -> (hex_end ::: Ptr (Ptr CChar)) -> IO CInt Source #

sodium_increment :: (n ::: Ptr CUChar) -> (nlen ::: CSize) -> IO () Source #

sodium_init :: IO CInt Source #

sodium_is_zero :: (n ::: Ptr CUChar) -> (nlen ::: CSize) -> IO CInt Source #

sodium_malloc :: (size ::: CSize) -> IO (Ptr a) Source #

sodium_memcmp :: (b1 ::: Ptr a) -> (b2 ::: Ptr a) -> (len ::: CSize) -> IO CInt Source #

sodium_memzero :: (pnt ::: Ptr x) -> (len ::: CSize) -> IO () Source #

sodium_mlock :: (addr ::: Ptr x) -> (len ::: CSize) -> IO CInt Source #

sodium_mprotect_noaccess :: (addr ::: Ptr x) -> IO CInt Source #

sodium_mprotect_readonly :: (addr ::: Ptr x) -> IO CInt Source #

sodium_mprotect_readwrite :: (addr ::: Ptr x) -> IO CInt Source #

sodium_munlock :: (addr ::: Ptr x) -> (len ::: CSize) -> IO CInt Source #

sodium_pad :: (padded_buflen_p ::: Ptr CSize) -> (buf ::: Ptr CUChar) -> (unpadded_buflen ::: CSize) -> (blocksize ::: CSize) -> (max_buflen ::: CSize) -> IO CInt Source #

sodium_runtime_has_aesni :: IO CInt Source #

sodium_runtime_has_avx :: IO CInt Source #

sodium_runtime_has_avx2 :: IO CInt Source #

sodium_runtime_has_avx512f :: IO CInt Source #

sodium_runtime_has_neon :: IO CInt Source #

sodium_runtime_has_pclmul :: IO CInt Source #

sodium_runtime_has_rdrand :: IO CInt Source #

sodium_runtime_has_sse2 :: IO CInt Source #

sodium_runtime_has_sse3 :: IO CInt Source #

sodium_runtime_has_sse41 :: IO CInt Source #

sodium_runtime_has_ssse3 :: IO CInt Source #

sodium_stackzero :: (len ::: CSize) -> IO () Source #

sodium_sub :: (a ::: Ptr CUChar) -> (b ::: Ptr CUChar) -> (len ::: CSize) -> IO () Source #

sodium_unpad :: (unpadded_buflen_p ::: Ptr CSize) -> (buf ::: Ptr CUChar) -> (padded_buflen ::: CSize) -> (blocksize ::: CSize) -> IO CInt Source #

Types

These are types used by some of the functions in Libsodium.

They are exported as opaque types having a particular size and alignment described by their Storable instance.
Use the xxx'malloc functions to allocate values of type Xxx. These will be zeroed using sodium_memzero and released once they become unreachable.
Xxxs obtained through peek (from Storable) use the xxx'malloc allocation and self-cleaning approach, too.
Use the xxx'ptr function to obtain a Ptr Xxx suitable for passing to functions in this module.
The constructors of these types are exported in case you want to obtain the underlying ForeignPtr by means other than xxx'malloc.

newtype Crypto_aead_aes256gcm_state Source #

Constructors

Crypto_aead_aes256gcm_state (ForeignPtr Crypto_aead_aes256gcm_state)

Instances

Instances details

Storable Crypto_aead_aes256gcm_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_aead_aes256gcm_state -> Int #

alignment :: Crypto_aead_aes256gcm_state -> Int #

peekElemOff :: Ptr Crypto_aead_aes256gcm_state -> Int -> IO Crypto_aead_aes256gcm_state #

pokeElemOff :: Ptr Crypto_aead_aes256gcm_state -> Int -> Crypto_aead_aes256gcm_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_aead_aes256gcm_state #

pokeByteOff :: Ptr b -> Int -> Crypto_aead_aes256gcm_state -> IO () #

peek :: Ptr Crypto_aead_aes256gcm_state -> IO Crypto_aead_aes256gcm_state #

poke :: Ptr Crypto_aead_aes256gcm_state -> Crypto_aead_aes256gcm_state -> IO () #

crypto_aead_aes256gcm_state'ptr :: Crypto_aead_aes256gcm_state -> (Ptr Crypto_aead_aes256gcm_state -> IO x) -> IO x Source #

crypto_aead_aes256gcm_state'malloc :: IO Crypto_aead_aes256gcm_state Source #

newtype Crypto_auth_hmacsha256_state Source #

Constructors

Crypto_auth_hmacsha256_state (ForeignPtr Crypto_auth_hmacsha256_state)

Instances

Instances details

Storable Crypto_auth_hmacsha256_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_auth_hmacsha256_state -> Int #

alignment :: Crypto_auth_hmacsha256_state -> Int #

peekElemOff :: Ptr Crypto_auth_hmacsha256_state -> Int -> IO Crypto_auth_hmacsha256_state #

pokeElemOff :: Ptr Crypto_auth_hmacsha256_state -> Int -> Crypto_auth_hmacsha256_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_auth_hmacsha256_state #

pokeByteOff :: Ptr b -> Int -> Crypto_auth_hmacsha256_state -> IO () #

peek :: Ptr Crypto_auth_hmacsha256_state -> IO Crypto_auth_hmacsha256_state #

poke :: Ptr Crypto_auth_hmacsha256_state -> Crypto_auth_hmacsha256_state -> IO () #

crypto_auth_hmacsha256_state'ptr :: Crypto_auth_hmacsha256_state -> (Ptr Crypto_auth_hmacsha256_state -> IO x) -> IO x Source #

crypto_auth_hmacsha256_state'malloc :: IO Crypto_auth_hmacsha256_state Source #

type Crypto_auth_hmacsha512256_state = Crypto_auth_hmacsha512_state Source #

Type synonym for Crypto_auth_hmacsha512_state.

crypto_auth_hmacsha512256_state'ptr :: Crypto_auth_hmacsha512256_state -> (Ptr Crypto_auth_hmacsha512256_state -> IO x) -> IO x Source #

Same as crypto_auth_hmacsha512_state'ptr.

crypto_auth_hmacsha512256_state'malloc :: IO Crypto_auth_hmacsha512256_state Source #

Same as crypto_auth_hmacsha512_state'malloc.

newtype Crypto_auth_hmacsha512_state Source #

Constructors

Crypto_auth_hmacsha512_state (ForeignPtr Crypto_auth_hmacsha512_state)

Instances

Instances details

Storable Crypto_auth_hmacsha512_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_auth_hmacsha512_state -> Int #

alignment :: Crypto_auth_hmacsha512_state -> Int #

peekElemOff :: Ptr Crypto_auth_hmacsha512_state -> Int -> IO Crypto_auth_hmacsha512_state #

pokeElemOff :: Ptr Crypto_auth_hmacsha512_state -> Int -> Crypto_auth_hmacsha512_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_auth_hmacsha512_state #

pokeByteOff :: Ptr b -> Int -> Crypto_auth_hmacsha512_state -> IO () #

peek :: Ptr Crypto_auth_hmacsha512_state -> IO Crypto_auth_hmacsha512_state #

poke :: Ptr Crypto_auth_hmacsha512_state -> Crypto_auth_hmacsha512_state -> IO () #

crypto_auth_hmacsha512_state'ptr :: Crypto_auth_hmacsha512_state -> (Ptr Crypto_auth_hmacsha512_state -> IO x) -> IO x Source #

crypto_auth_hmacsha512_state'malloc :: IO Crypto_auth_hmacsha512_state Source #

newtype Crypto_generichash_blake2b_state Source #

Constructors

Crypto_generichash_blake2b_state (ForeignPtr Crypto_generichash_blake2b_state)

Instances

Instances details

Storable Crypto_generichash_blake2b_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_generichash_blake2b_state -> Int #

alignment :: Crypto_generichash_blake2b_state -> Int #

peekElemOff :: Ptr Crypto_generichash_blake2b_state -> Int -> IO Crypto_generichash_blake2b_state #

pokeElemOff :: Ptr Crypto_generichash_blake2b_state -> Int -> Crypto_generichash_blake2b_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_generichash_blake2b_state #

pokeByteOff :: Ptr b -> Int -> Crypto_generichash_blake2b_state -> IO () #

peek :: Ptr Crypto_generichash_blake2b_state -> IO Crypto_generichash_blake2b_state #

poke :: Ptr Crypto_generichash_blake2b_state -> Crypto_generichash_blake2b_state -> IO () #

crypto_generichash_blake2b_state'ptr :: Crypto_generichash_blake2b_state -> (Ptr Crypto_generichash_blake2b_state -> IO x) -> IO x Source #

crypto_generichash_blake2b_state'malloc :: IO Crypto_generichash_blake2b_state Source #

type Crypto_generichash_state = Crypto_generichash_blake2b_state Source #

Type-synonym for Crypto_generichash_blake2b_state

crypto_generichash_state'ptr :: Crypto_generichash_state -> (Ptr Crypto_generichash_state -> IO x) -> IO x Source #

Same as crypto_generichash_blake2b_state'ptr.

crypto_generichash_state'malloc :: IO Crypto_generichash_state Source #

Same as crypto_generichash_blake2b_state'malloc.

newtype Crypto_hash_sha256_state Source #

Constructors

Crypto_hash_sha256_state (ForeignPtr Crypto_hash_sha256_state)

Instances

Instances details

Storable Crypto_hash_sha256_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_hash_sha256_state -> Int #

alignment :: Crypto_hash_sha256_state -> Int #

peekElemOff :: Ptr Crypto_hash_sha256_state -> Int -> IO Crypto_hash_sha256_state #

pokeElemOff :: Ptr Crypto_hash_sha256_state -> Int -> Crypto_hash_sha256_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_hash_sha256_state #

pokeByteOff :: Ptr b -> Int -> Crypto_hash_sha256_state -> IO () #

peek :: Ptr Crypto_hash_sha256_state -> IO Crypto_hash_sha256_state #

poke :: Ptr Crypto_hash_sha256_state -> Crypto_hash_sha256_state -> IO () #

crypto_hash_sha256_state'ptr :: Crypto_hash_sha256_state -> (Ptr Crypto_hash_sha256_state -> IO x) -> IO x Source #

crypto_hash_sha256_state'malloc :: IO Crypto_hash_sha256_state Source #

newtype Crypto_hash_sha512_state Source #

Constructors

Crypto_hash_sha512_state (ForeignPtr Crypto_hash_sha512_state)

Instances

Instances details

Storable Crypto_hash_sha512_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_hash_sha512_state -> Int #

alignment :: Crypto_hash_sha512_state -> Int #

peekElemOff :: Ptr Crypto_hash_sha512_state -> Int -> IO Crypto_hash_sha512_state #

pokeElemOff :: Ptr Crypto_hash_sha512_state -> Int -> Crypto_hash_sha512_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_hash_sha512_state #

pokeByteOff :: Ptr b -> Int -> Crypto_hash_sha512_state -> IO () #

peek :: Ptr Crypto_hash_sha512_state -> IO Crypto_hash_sha512_state #

poke :: Ptr Crypto_hash_sha512_state -> Crypto_hash_sha512_state -> IO () #

crypto_hash_sha512_state'ptr :: Crypto_hash_sha512_state -> (Ptr Crypto_hash_sha512_state -> IO x) -> IO x Source #

crypto_hash_sha512_state'malloc :: IO Crypto_hash_sha512_state Source #

newtype Crypto_onetimeauth_poly1305_state Source #

Constructors

Crypto_onetimeauth_poly1305_state (ForeignPtr Crypto_onetimeauth_poly1305_state)

Instances

Instances details

Storable Crypto_onetimeauth_poly1305_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_onetimeauth_poly1305_state -> Int #

alignment :: Crypto_onetimeauth_poly1305_state -> Int #

peekElemOff :: Ptr Crypto_onetimeauth_poly1305_state -> Int -> IO Crypto_onetimeauth_poly1305_state #

pokeElemOff :: Ptr Crypto_onetimeauth_poly1305_state -> Int -> Crypto_onetimeauth_poly1305_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_onetimeauth_poly1305_state #

pokeByteOff :: Ptr b -> Int -> Crypto_onetimeauth_poly1305_state -> IO () #

peek :: Ptr Crypto_onetimeauth_poly1305_state -> IO Crypto_onetimeauth_poly1305_state #

poke :: Ptr Crypto_onetimeauth_poly1305_state -> Crypto_onetimeauth_poly1305_state -> IO () #

crypto_onetimeauth_poly1305_state'ptr :: Crypto_onetimeauth_poly1305_state -> (Ptr Crypto_onetimeauth_poly1305_state -> IO x) -> IO x Source #

crypto_onetimeauth_poly1305_state'malloc :: IO Crypto_onetimeauth_poly1305_state Source #

type Crypto_onetimeauth_state = Crypto_onetimeauth_poly1305_state Source #

Type-synonym for Crypto_onetimeauth_poly1305_state

crypto_onetimeauth_state'ptr :: Crypto_onetimeauth_state -> (Ptr Crypto_onetimeauth_state -> IO x) -> IO x Source #

Same as crypto_onetimeauth_poly1305_state'ptr.

crypto_onetimeauth_state'malloc :: IO Crypto_onetimeauth_state Source #

Same as crypto_onetimeauth_poly1305_state'malloc.

newtype Crypto_secretstream_xchacha20poly1305_state Source #

Constructors

Crypto_secretstream_xchacha20poly1305_state (ForeignPtr Crypto_secretstream_xchacha20poly1305_state)

Instances

Instances details

Storable Crypto_secretstream_xchacha20poly1305_state Source #

Instance details

Defined in Libsodium

crypto_secretstream_xchacha20poly1305_state'ptr :: Crypto_secretstream_xchacha20poly1305_state -> (Ptr Crypto_secretstream_xchacha20poly1305_state -> IO x) -> IO x Source #

crypto_secretstream_xchacha20poly1305_state'malloc :: IO Crypto_secretstream_xchacha20poly1305_state Source #

newtype Crypto_sign_ed25519ph_state Source #

Constructors

Crypto_sign_ed25519ph_state (ForeignPtr Crypto_sign_ed25519ph_state)

Instances

Instances details

Storable Crypto_sign_ed25519ph_state Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Crypto_sign_ed25519ph_state -> Int #

alignment :: Crypto_sign_ed25519ph_state -> Int #

peekElemOff :: Ptr Crypto_sign_ed25519ph_state -> Int -> IO Crypto_sign_ed25519ph_state #

pokeElemOff :: Ptr Crypto_sign_ed25519ph_state -> Int -> Crypto_sign_ed25519ph_state -> IO () #

peekByteOff :: Ptr b -> Int -> IO Crypto_sign_ed25519ph_state #

pokeByteOff :: Ptr b -> Int -> Crypto_sign_ed25519ph_state -> IO () #

peek :: Ptr Crypto_sign_ed25519ph_state -> IO Crypto_sign_ed25519ph_state #

poke :: Ptr Crypto_sign_ed25519ph_state -> Crypto_sign_ed25519ph_state -> IO () #

crypto_sign_ed25519ph_state'ptr :: Crypto_sign_ed25519ph_state -> (Ptr Crypto_sign_ed25519ph_state -> IO x) -> IO x Source #

crypto_sign_ed25519ph_state'malloc :: IO Crypto_sign_ed25519ph_state Source #

type Crypto_sign_state = Crypto_sign_ed25519ph_state Source #

Type-synonym for Crypto_sign_ed25519ph_state

crypto_sign_state'ptr :: Crypto_sign_state -> (Ptr Crypto_sign_state -> IO x) -> IO x Source #

Same as crypto_sign_ed25519ph_state'ptr.

crypto_sign_state'malloc :: IO Crypto_sign_state Source #

Same as crypto_sign_ed25519ph_state'malloc.

newtype Randombytes_implementation Source #

Constructors

Randombytes_implementation (ForeignPtr Randombytes_implementation)

Instances

Instances details

Storable Randombytes_implementation Source #

Instance details

Defined in Libsodium

Methods

sizeOf :: Randombytes_implementation -> Int #

alignment :: Randombytes_implementation -> Int #

peekElemOff :: Ptr Randombytes_implementation -> Int -> IO Randombytes_implementation #

pokeElemOff :: Ptr Randombytes_implementation -> Int -> Randombytes_implementation -> IO () #

peekByteOff :: Ptr b -> Int -> IO Randombytes_implementation #

pokeByteOff :: Ptr b -> Int -> Randombytes_implementation -> IO () #

peek :: Ptr Randombytes_implementation -> IO Randombytes_implementation #

poke :: Ptr Randombytes_implementation -> Randombytes_implementation -> IO () #

randombytes_implementation'ptr :: Randombytes_implementation -> (Ptr Randombytes_implementation -> IO x) -> IO x Source #

randombytes_implementation'malloc :: IO Randombytes_implementation Source #

Constants

Constants are exported in uppercase letters as type-level Nats or Symbols, and in lowercase letters as term-level values having the appropriate C types.

type CRYPTO_AEAD_AES256GCM_ABYTES = 16 :: Nat Source #

crypto_aead_aes256gcm_abytes :: CSize Source #

type CRYPTO_AEAD_AES256GCM_KEYBYTES = 32 :: Nat Source #

crypto_aead_aes256gcm_keybytes :: CSize Source #

type CRYPTO_AEAD_AES256GCM_MESSAGEBYTES_MAX = 68719476704 :: Nat Source #

crypto_aead_aes256gcm_messagebytes_max :: CSize Source #

type CRYPTO_AEAD_AES256GCM_NPUBBYTES = 12 :: Nat Source #

crypto_aead_aes256gcm_npubbytes :: CSize Source #

type CRYPTO_AEAD_AES256GCM_NSECBYTES = 0 :: Nat Source #

crypto_aead_aes256gcm_nsecbytes :: CSize Source #

type CRYPTO_AEAD_AES256GCM_STATEBYTES = 512 :: Nat Source #

crypto_aead_aes256gcm_statebytes :: CSize Source #