1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# OPTIONS_GHC -fno-warn-orphans #-}
-- | Test code and properties for "Codec.Compression.BZip.Stream"
--
module Test.Codec.Compression.BZip.Stream where
import Codec.Compression.BZip.Internal
import Test.QuickCheck
instance Arbitrary BlockSize where
arbitrary = elements $ DefaultBlockSize : map BlockSize [1 .. 9]
instance Arbitrary MemoryLevel where
arbitrary = elements [DefaultMemoryLevel, MinMemoryLevel]
instance Arbitrary WorkFactor where
arbitrary = elements $ DefaultWorkFactor : map WorkFactor [1 .. 250]
|
