git.iko.soy/typeable/attoparsec
on master help sign in
Implement shrink on Arbitrary instances for ByteString types
5409914Bryan O'Sullivan
tests/QC/Common.hs+2
compare with master
unifiedsplit
@@ -42,9 +42,11 @@ toLazyBS = BL.fromChunks . (:[])
42
42
43instance Arbitrary B.ByteString where
43instance Arbitrary B.ByteString where
44 arbitrary = B.pack <$> arbitrary
44 arbitrary = B.pack <$> arbitrary
45+ shrink = map B.pack . shrink . B.unpack
45
46
46instance Arbitrary BL.ByteString where
47instance Arbitrary BL.ByteString where
47 arbitrary = repackBS <$> arbitrary <*> arbitrary
48 arbitrary = repackBS <$> arbitrary <*> arbitrary
49+ shrink = map BL.pack . shrink . BL.unpack
48
50
49type Repack = NonEmptyList (Positive (Small Int))
51type Repack = NonEmptyList (Positive (Small Int))
50
52