Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Main
Contents
Documentation
prop_decryptEncrypt :: Word8 -> Word64 -> Bool #
prop_AESIdempotent :: LargeKey Word64 Word64 -> LargeKey Word64 Word64 -> Bool #
prop_unCbcCbc :: Word64 -> Word8 -> [Octet] -> Bool #
prop_unPkcs5Pkcs5 :: [Octet] -> Bool #
prop_unNullsNulls :: [Octet] -> Property #
prop_fromOctetsToOctets :: Int -> Word8 -> Property #
prop_unTwosCompTwosComp :: Int -> Property #