@@ -27,10 +27,9 @@ import qualified Data.Vector.Unboxed as VU
2727import qualified Data.Vector.Unboxed.Base as VU
2828import Data.Word
2929import Database.LSMTree.Extras
30- import Database.LSMTree.Extras.Generators (BiasedKeyForIndexCompact ,
31- ChunkSize (.. ), LogicalPageSummaries ,
32- LogicalPageSummary (.. ), Pages (.. ), genRawBytes ,
33- isKeyForIndexCompact , labelPages , toAppends )
30+ import Database.LSMTree.Extras.Generators (ChunkSize (.. ),
31+ LogicalPageSummaries , LogicalPageSummary (.. ), Pages (.. ),
32+ genRawBytes , isKeyForIndexCompact , labelPages , toAppends )
3433import Database.LSMTree.Extras.Index (Append (.. ), appendToCompact )
3534import Database.LSMTree.Internal.BitMath
3635import Database.LSMTree.Internal.Chunk as Chunk (toByteString )
@@ -58,14 +57,14 @@ tests :: TestTree
5857tests = testGroup " Test.Database.LSMTree.Internal.Index.Compact" [
5958 testGroup " TestKey" $
6059 prop_arbitraryAndShrinkPreserveInvariant @ TestKey noTags isTestKey
61- , testProperty " prop_distribution @BiasedKeyForIndexCompact " $
62- prop_distribution @ BiasedKeyForIndexCompact
60+ , testProperty " prop_distribution @TestKey " $
61+ prop_distribution @ TestKey
6362 , testProperty " prop_searchMinMaxKeysAfterConstruction" $
64- prop_searchMinMaxKeysAfterConstruction @ BiasedKeyForIndexCompact 100
63+ prop_searchMinMaxKeysAfterConstruction @ TestKey 100
6564 , testProperty " prop_differentChunkSizesSameResults" $
66- prop_differentChunkSizesSameResults @ BiasedKeyForIndexCompact
65+ prop_differentChunkSizesSameResults @ TestKey
6766 , testProperty " prop_singlesEquivMulti" $
68- prop_singlesEquivMulti @ BiasedKeyForIndexCompact
67+ prop_singlesEquivMulti @ TestKey
6968 , testGroup " (De)serialisation" [
7069 testGroup " Chunks generator" $
7170 prop_arbitraryAndShrinkPreserveInvariant noTags chunksInvariant
@@ -126,7 +125,7 @@ tests = testGroup "Test.Database.LSMTree.Internal.Index.Compact" [
126125 , testProperty " prop_roundtrip_chunks" $
127126 prop_roundtrip_chunks
128127 , testProperty " prop_roundtrip" $
129- prop_roundtrip @ BiasedKeyForIndexCompact
128+ prop_roundtrip @ TestKey
130129 , testProperty " prop_total_deserialisation" $ withMaxSuccess 10000
131130 prop_total_deserialisation
132131 , testProperty " prop_total_deserialisation_whitebox" $ withMaxSuccess 10000
0 commit comments