Safe Haskell	None
Language	Haskell2010

Libsodium

Contents

Functions
Types
Constants

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_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
data Crypto_aead_aes256gcm_state
data Crypto_auth_hmacsha256_state
data Crypto_auth_hmacsha512_state
data Crypto_generichash_blake2b_state
data Crypto_hash_sha256_state
data Crypto_hash_sha512_state
data Crypto_onetimeauth_poly1305_state
data Crypto_secretstream_xchacha20poly1305_state
data Crypto_sign_ed25519ph_state
type Crypto_auth_hmacsha512256_state = Crypto_auth_hmacsha512_state
type Crypto_generichash_state = Crypto_generichash_blake2b_state
type Crypto_onetimeauth_state = Crypto_onetimeauth_poly1305_state
type Crypto_sign_state = Crypto_sign_ed25519ph_state
data 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_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

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_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.

Use Storable if you need to allocate values of these types.

data Crypto_aead_aes256gcm_state Source #

Instances

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 () #

data Crypto_auth_hmacsha256_state Source #

Instances

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 () #

data Crypto_auth_hmacsha512_state Source #

Instances

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 () #

data Crypto_generichash_blake2b_state Source #

Instances

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 () #

data Crypto_hash_sha256_state Source #

Instances

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 () #

data Crypto_hash_sha512_state Source #

Instances

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 () #

data Crypto_onetimeauth_poly1305_state Source #

Instances

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 () #

data Crypto_secretstream_xchacha20poly1305_state Source #

Instances

Storable Crypto_secretstream_xchacha20poly1305_state Source #

Instance details

Defined in Libsodium

data Crypto_sign_ed25519ph_state Source #

Instances

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 () #

type Crypto_auth_hmacsha512256_state = Crypto_auth_hmacsha512_state Source #

type Crypto_generichash_state = Crypto_generichash_blake2b_state Source #

type Crypto_onetimeauth_state = Crypto_onetimeauth_poly1305_state Source #

type Crypto_sign_state = Crypto_sign_ed25519ph_state Source #

data Randombytes_implementation Source #

Instances

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 () #

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 #