raaz-0.3.2: Fast and type safe cryptography.

Safe Haskell	None
Language	Haskell2010

Tests.Core.Utils

Synopsis

with :: key -> (key -> Spec) -> Spec
storeAndThenLoad :: EndianStore a => a -> IO a
allocCast :: BYTES Int -> (Ptr a -> IO c) -> IO c
storeAdjustAndPeek :: EndianStore a => a -> IO a
pokeAdjustAndLoad :: EndianStore a => a -> IO a
basicEndianSpecs :: (EndianStore a, Show a, Eq a, Arbitrary a) => a -> Spec
shortened :: String -> String
genEncodable :: (Encodable a, Storable a) => Gen a
blocks :: Primitive prim => Proxy prim -> Gen ByteString
feed :: (Testable pr, Show a) => Gen a -> (a -> IO pr) -> Property
repeated :: Monoid m => m -> Int -> m

Documentation

with :: key -> (key -> Spec) -> Spec Source #

Run a spec with a give key.

storeAndThenLoad :: EndianStore a => a -> IO a Source #

Store and the load the given value.

allocCast :: BYTES Int -> (Ptr a -> IO c) -> IO c Source #

storeAdjustAndPeek :: EndianStore a => a -> IO a Source #

pokeAdjustAndLoad :: EndianStore a => a -> IO a Source #

basicEndianSpecs :: (EndianStore a, Show a, Eq a, Arbitrary a) => a -> Spec Source #

shortened :: String -> String Source #

Shorten a string to make it readable in tests.

genEncodable :: (Encodable a, Storable a) => Gen a Source #

blocks :: Primitive prim => Proxy prim -> Gen ByteString Source #

Generate bytestrings that are multiples of block size of a primitive.

feed :: (Testable pr, Show a) => Gen a -> (a -> IO pr) -> Property Source #

Run a property with a given generator.

repeated :: Monoid m => m -> Int -> m Source #