QuickTest
Safe HaskellSafe-Inferred
LanguageHaskell98

Main

Documentation

prop_decryptEncrypt :: Word8 -> Word64 -> Bool #

prop_AESIdempotent :: LargeKey Word64 Word64 -> LargeKey Word64 Word64 -> Bool #

prop_unCbcCbc :: Word64 -> Word8 -> [Octet] -> Bool #

main :: IO () #

Orphan instances

Arbitrary Word128 # 
Instance details