Crypto.Argon2.FFI

Contents

• libargon2 functions
• libargon2 API typedefs
  • argon2_type
  • argon2_version
  • argon2_error_codes
• libargon2 limits & constants

Description

Synopsis

• argon2_hash :: Word32 -> Word32 -> Word32 -> Ptr a -> CSize -> Ptr b -> CSize -> Ptr c -> CSize -> CString -> CSize -> Argon2_type -> Argon2_version -> IO CInt
• argon2_verify :: CString -> Ptr a -> CSize -> Argon2_type -> IO CInt
• argon2_encodedlen :: Word32 -> Word32 -> Word32 -> Word32 -> Word32 -> Argon2_type -> CSize
• type Argon2_type = Word32
• pattern Argon2_d :: forall a. (Num a, Eq a) => a
• pattern Argon2_i :: forall a. (Num a, Eq a) => a
• pattern Argon2_id :: forall a. (Num a, Eq a) => a
• type Argon2_version = Word32
• pattern ARGON2_VERSION_10 :: forall a. (Num a, Eq a) => a
• pattern ARGON2_VERSION_13 :: forall a. (Num a, Eq a) => a
• pattern ARGON2_VERSION_NUMBER :: forall a. (Num a, Eq a) => a
• pattern ARGON2_OK :: forall a. (Num a, Eq a) => a
• pattern ARGON2_OUTPUT_PTR_NULL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_OUTPUT_TOO_SHORT :: forall a. (Num a, Eq a) => a
• pattern ARGON2_OUTPUT_TOO_LONG :: forall a. (Num a, Eq a) => a
• pattern ARGON2_PWD_TOO_SHORT :: forall a. (Num a, Eq a) => a
• pattern ARGON2_PWD_TOO_LONG :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SALT_TOO_SHORT :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SALT_TOO_LONG :: forall a. (Num a, Eq a) => a
• pattern ARGON2_AD_TOO_SHORT :: forall a. (Num a, Eq a) => a
• pattern ARGON2_AD_TOO_LONG :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SECRET_TOO_SHORT :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SECRET_TOO_LONG :: forall a. (Num a, Eq a) => a
• pattern ARGON2_TIME_TOO_SMALL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_TIME_TOO_LARGE :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MEMORY_TOO_LITTLE :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MEMORY_TOO_MUCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_LANES_TOO_FEW :: forall a. (Num a, Eq a) => a
• pattern ARGON2_LANES_TOO_MANY :: forall a. (Num a, Eq a) => a
• pattern ARGON2_PWD_PTR_MISMATCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SALT_PTR_MISMATCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SECRET_PTR_MISMATCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_AD_PTR_MISMATCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MEMORY_ALLOCATION_ERROR :: forall a. (Num a, Eq a) => a
• pattern ARGON2_FREE_MEMORY_CBK_NULL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_ALLOCATE_MEMORY_CBK_NULL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_INCORRECT_PARAMETER :: forall a. (Num a, Eq a) => a
• pattern ARGON2_INCORRECT_TYPE :: forall a. (Num a, Eq a) => a
• pattern ARGON2_OUT_PTR_MISMATCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_THREADS_TOO_FEW :: forall a. (Num a, Eq a) => a
• pattern ARGON2_THREADS_TOO_MANY :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MISSING_ARGS :: forall a. (Num a, Eq a) => a
• pattern ARGON2_ENCODING_FAIL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_DECODING_FAIL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_THREAD_FAIL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_DECODING_LENGTH_FAIL :: forall a. (Num a, Eq a) => a
• pattern ARGON2_VERIFY_MISMATCH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_LANES :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_LANES :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_THREADS :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_THREADS :: forall a. (Num a, Eq a) => a
• pattern ARGON2_SYNC_POINTS :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_OUTLEN :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_OUTLEN :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_MEMORY :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_MEMORY_BITS :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_MEMORY :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_TIME :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_TIME :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_PWD_LENGTH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_PWD_LENGTH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_AD_LENGTH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_AD_LENGTH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_SALT_LENGTH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_SALT_LENGTH :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MIN_SECRET :: forall a. (Num a, Eq a) => a
• pattern ARGON2_MAX_SECRET :: forall a. (Num a, Eq a) => a

libargon2 functions

int argon2_hash(const uint32_t t_cost, const uint32_t m_cost,
                const uint32_t parallelism, const void *pwd,
                const size_t pwdlen, const void *salt,
                const size_t saltlen, void *hash,
                const size_t hashlen, char *encoded,
                const size_t encodedlen, argon2_type type,
                const uint32_t version);

int argon2_verify(const char *encoded, const void *pwd,
                  const size_t pwdlen, argon2_type type);

size_t argon2_encodedlen(uint32_t t_cost, uint32_t m_cost, uint32_t parallelism,
                         uint32_t saltlen, uint32_t hashlen, argon2_type type);

libargon2 API typedefs

argon2_type

argon2_version

argon2_error_codes

libargon2 limits & constants