crypto-cipher-tests-0.0.11: Generic cryptography cipher tests
LicenseBSD-style
MaintainerVincent Hanquez <vincent@snarc.org>
StabilityStable
PortabilityExcellent
Safe HaskellNone
LanguageHaskell98

Crypto.Cipher.Tests

Contents

Description

 
Synopsis

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

data KATs Source #

all the KATs. use defaultKATs to prevent compilation error from future expansion of this data structure

Constructors

KATs 

Instances

Instances details
Eq KATs Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KATs -> KATs -> Bool

(/=) :: KATs -> KATs -> Bool

Show KATs Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KATs -> ShowS

show :: KATs -> String

showList :: [KATs] -> ShowS

data KAT_Stream Source #

KAT for Stream cipher

Constructors

KAT_Stream 

Fields

Instances

Instances details
Eq KAT_Stream Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_Stream -> KAT_Stream -> Bool

(/=) :: KAT_Stream -> KAT_Stream -> Bool

Show KAT_Stream Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_Stream -> ShowS

show :: KAT_Stream -> String

showList :: [KAT_Stream] -> ShowS

data KAT_ECB Source #

ECB KAT

Constructors

KAT_ECB 

Fields

Instances

Instances details
Eq KAT_ECB Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_ECB -> KAT_ECB -> Bool

(/=) :: KAT_ECB -> KAT_ECB -> Bool

Show KAT_ECB Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_ECB -> ShowS

show :: KAT_ECB -> String

showList :: [KAT_ECB] -> ShowS

data KAT_CBC Source #

CBC KAT

Constructors

KAT_CBC 

Fields

Instances

Instances details
Eq KAT_CBC Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_CBC -> KAT_CBC -> Bool

(/=) :: KAT_CBC -> KAT_CBC -> Bool

Show KAT_CBC Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_CBC -> ShowS

show :: KAT_CBC -> String

showList :: [KAT_CBC] -> ShowS

data KAT_CFB Source #

CFB KAT

Constructors

KAT_CFB 

Fields

Instances

Instances details
Eq KAT_CFB Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_CFB -> KAT_CFB -> Bool

(/=) :: KAT_CFB -> KAT_CFB -> Bool

Show KAT_CFB Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_CFB -> ShowS

show :: KAT_CFB -> String

showList :: [KAT_CFB] -> ShowS

data KAT_CTR Source #

CTR KAT

Constructors

KAT_CTR 

Fields

Instances

Instances details
Eq KAT_CTR Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_CTR -> KAT_CTR -> Bool

(/=) :: KAT_CTR -> KAT_CTR -> Bool

Show KAT_CTR Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_CTR -> ShowS

show :: KAT_CTR -> String

showList :: [KAT_CTR] -> ShowS

data KAT_XTS Source #

XTS KAT

Constructors

KAT_XTS 

Fields

Instances

Instances details
Eq KAT_XTS Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_XTS -> KAT_XTS -> Bool

(/=) :: KAT_XTS -> KAT_XTS -> Bool

Show KAT_XTS Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_XTS -> ShowS

show :: KAT_XTS -> String

showList :: [KAT_XTS] -> ShowS

data KAT_AEAD Source #

AEAD KAT

Constructors

KAT_AEAD 

Fields

Instances

Instances details
Eq KAT_AEAD Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

(==) :: KAT_AEAD -> KAT_AEAD -> Bool

(/=) :: KAT_AEAD -> KAT_AEAD -> Bool

Show KAT_AEAD Source # 
Instance details

Defined in Crypto.Cipher.Tests.KATs

Methods

showsPrec :: Int -> KAT_AEAD -> ShowS

show :: KAT_AEAD -> String

showList :: [KAT_AEAD] -> ShowS