Libsodium

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.

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

“name ::: x” is a type synonym for 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

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

Instances

Storable Crypto_aead_aes256gcm_state

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

Instances

Storable Crypto_auth_hmacsha256_state

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

Instances

Storable Crypto_auth_hmacsha512_state

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

Instances

Storable Crypto_generichash_blake2b_state

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

Instances

Storable Crypto_hash_sha256_state

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

Instances

Storable Crypto_hash_sha512_state

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

Instances

Storable Crypto_onetimeauth_poly1305_state

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

Instances

Storable Crypto_secretstream_xchacha20poly1305_state

Defined in Libsodium

Methods

sizeOf :: Crypto_secretstream_xchacha20poly1305_state -> Int

alignment :: Crypto_secretstream_xchacha20poly1305_state -> Int

peekElemOff :: Ptr Crypto_secretstream_xchacha20poly1305_state -> Int -> IO Crypto_secretstream_xchacha20poly1305_state

pokeElemOff :: Ptr Crypto_secretstream_xchacha20poly1305_state -> Int -> Crypto_secretstream_xchacha20poly1305_state -> IO ()

peekByteOff :: Ptr b -> Int -> IO Crypto_secretstream_xchacha20poly1305_state

pokeByteOff :: Ptr b -> Int -> Crypto_secretstream_xchacha20poly1305_state -> IO ()

peek :: Ptr Crypto_secretstream_xchacha20poly1305_state -> IO Crypto_secretstream_xchacha20poly1305_state

poke :: Ptr Crypto_secretstream_xchacha20poly1305_state -> Crypto_secretstream_xchacha20poly1305_state -> IO ()

data Crypto_sign_ed25519ph_state

Instances

Storable Crypto_sign_ed25519ph_state

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

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

Instances

Storable Randombytes_implementation

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)

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