Safe Haskell | None |
---|
Unittests for bit arrays
Synopsis
- genBitArray :: Int -> Gen BitArray
- prop_BitArray_serialisation :: BitArray -> Property
- prop_BitArray_foldr :: [Bool] -> Property
- prop_BitArray_fromToList :: BitArray -> Property
- prop_BitArray_and :: [Bool] -> [Bool] -> Property
- prop_BitArray_or :: [Bool] -> [Bool] -> Property
- prop_BitArray_counts :: Property
- prop_BitArray_countsSum :: BitArray -> Property
- testObjects_BitArray :: Test
Arbitrary instances
genBitArray :: Int -> Gen BitArray Source #
prop_BitArray_serialisation :: BitArray -> Property Source #
prop_BitArray_foldr :: [Bool] -> Property Source #
prop_BitArray_fromToList :: BitArray -> Property Source #
prop_BitArray_and :: [Bool] -> [Bool] -> Property Source #
prop_BitArray_or :: [Bool] -> [Bool] -> Property Source #
prop_BitArray_counts :: Property Source #
Check that the counts of 1 bits holds.
prop_BitArray_countsSum :: BitArray -> Property Source #
Check that the counts of free and occupied bits add up.
testObjects_BitArray :: Test Source #