{-# LANGUAGE CApiFFI #-}
module Botan.Bindings.KDF where
import Botan.Bindings.Prelude
pattern BOTAN_KDF_HKDF
, BOTAN_KDF_HKDF_EXTRACT
, BOTAN_KDF_HKDF_EXPAND
, BOTAN_KDF_KDF2
, BOTAN_KDF_KDF1_18033
, BOTAN_KDF_KDF1
, BOTAN_KDF_TLS_12_PRF
, BOTAN_KDF_X9_42_PRF
, BOTAN_KDF_SP800_108_COUNTER
, BOTAN_KDF_SP800_108_FEEDBACK
, BOTAN_KDF_SP800_108_PIPELINE
, BOTAN_KDF_SP800_56A
, BOTAN_KDF_SP800_56C
:: (Eq a, IsString a) => a
pattern $mBOTAN_KDF_HKDF :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_HKDF :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_HKDF = "HKDF"
pattern = "HKDF-Extract"
pattern $mBOTAN_KDF_HKDF_EXPAND :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_HKDF_EXPAND :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_HKDF_EXPAND = "HKDF-Expand"
pattern $mBOTAN_KDF_KDF2 :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_KDF2 :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_KDF2 = "KDF2"
pattern $mBOTAN_KDF_KDF1_18033 :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_KDF1_18033 :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_KDF1_18033 = "KDF1-18033"
pattern $mBOTAN_KDF_KDF1 :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_KDF1 :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_KDF1 = "KDF1"
pattern $mBOTAN_KDF_TLS_12_PRF :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_TLS_12_PRF :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_TLS_12_PRF = "TLS-12-PRF"
pattern $mBOTAN_KDF_X9_42_PRF :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_X9_42_PRF :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_X9_42_PRF = "X9.42-PRF"
pattern $mBOTAN_KDF_SP800_108_COUNTER :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_SP800_108_COUNTER :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_SP800_108_COUNTER = "SP800-108-Counter"
pattern $mBOTAN_KDF_SP800_108_FEEDBACK :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_SP800_108_FEEDBACK :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_SP800_108_FEEDBACK = "SP800-108-Feedback"
pattern $mBOTAN_KDF_SP800_108_PIPELINE :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_SP800_108_PIPELINE :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_SP800_108_PIPELINE = "SP800-108-Pipeline"
pattern $mBOTAN_KDF_SP800_56A :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_SP800_56A :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_SP800_56A = "SP800-56A"
pattern $mBOTAN_KDF_SP800_56C :: forall {r} {a}.
(Eq a, IsString a) =>
a -> ((# #) -> r) -> ((# #) -> r) -> r
$bBOTAN_KDF_SP800_56C :: forall a. (Eq a, IsString a) => a
BOTAN_KDF_SP800_56C = "SP800-56C"
foreign import capi safe "botan/ffi.h botan_kdf"
botan_kdf
:: ConstPtr CChar
-> Ptr Word8
-> CSize
-> ConstPtr Word8
-> CSize
-> ConstPtr Word8
-> CSize
-> ConstPtr Word8
-> CSize
-> IO CInt