Crypto.Classical.Test

Cipher Tests

cycleT :: (Monad c, Cipher k c) => (c ByteString -> ByteString) -> IO ()

An encrypted message should decrypt to the original plaintext.

notSelfT :: (Monad c, Cipher k c) => (c ByteString -> ByteString) -> IO ()

A message should never encrypt to itself.

diffKeyT :: (Eq k, Monad c, Cipher k c) => (c ByteString -> ByteString) -> IO ()

Different keys should yield different encryptions.

noSelfMappingT :: IO ()

A letter can never encrypt to itself.

Misc. Tests

stretchT :: IO ()

A stretch should always double the length.

plugFromT :: IO ()

Any list of pairs should always result in a Plugboard of 26 mappings.

Batch Tests

testAll :: IO ()

Run every test on every Cipher.