| License | BSD-style |
|---|---|
| Maintainer | Vincent Hanquez <vincent@snarc.org> |
| Stability | Stable |
| Portability | Excellent |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Crypto.Cipher.Tests
Contents
Description
Synopsis
- testBlockCipher :: BlockCipher a => KATs -> a -> Test
- testBlockCipherIO :: BlockCipherIO a => KATs -> a -> Test
- testStreamCipher :: StreamCipher a => [KAT_Stream] -> a -> Test
- defaultKATs :: KATs
- defaultStreamKATs :: [KAT_Stream]
- data KATs = KATs {}
- data KAT_Stream = KAT_Stream {}
- data KAT_ECB = KAT_ECB {}
- data KAT_CBC = KAT_CBC {}
- data KAT_CFB = KAT_CFB {}
- data KAT_CTR = KAT_CTR {}
- data KAT_XTS = KAT_XTS {}
- data KAT_AEAD = KAT_AEAD {}
Documentation
testBlockCipher :: BlockCipher a => KATs -> a -> Test Source #
Return tests for a specific blockcipher and a list of KATs
testBlockCipherIO :: BlockCipherIO a => KATs -> a -> Test Source #
Return test for a specific blockcipher and a list of KATs
testStreamCipher :: StreamCipher a => [KAT_Stream] -> a -> Test Source #
Return tests for a specific streamcipher and a list of KATs
KATs
defaultKATs :: KATs Source #
the empty KATs
defaultStreamKATs :: [KAT_Stream] Source #
the empty KATs for stream
all the KATs. use defaultKATs to prevent compilation error from future expansion of this data structure
Constructors
| KATs | |
data KAT_Stream Source #
KAT for Stream cipher
Constructors
| KAT_Stream | |
Fields | |
Instances
| Show KAT_Stream Source # | |
Defined in Crypto.Cipher.Tests.KATs | |
| Eq KAT_Stream Source # | |
Defined in Crypto.Cipher.Tests.KATs Methods (==) :: KAT_Stream -> KAT_Stream -> Bool Source # (/=) :: KAT_Stream -> KAT_Stream -> Bool Source # | |
ECB KAT
Constructors
| KAT_ECB | |
Fields
| |
CBC KAT
Constructors
| KAT_CBC | |
Fields
| |
CFB KAT
Constructors
| KAT_CFB | |
Fields
| |
CTR KAT
Constructors
| KAT_CTR | |
Fields
| |
XTS KAT
Constructors
| KAT_XTS | |
Fields
| |
AEAD KAT
Constructors
| KAT_AEAD | |
Fields
| |