@@ -109,15 +109,17 @@ prop_unfoldrN n m = (L.take n . L.unfoldr f) `eq` (unpack . T.unfoldrN n f)
109 where f c | fromEnum c * 100 > m = Nothing
109 where f c | fromEnum c * 100 > m = Nothing
110 | otherwise = Just (c, succ c)
110 | otherwise = Just (c, succ c)
112+unpack2 = unpack *** unpack
112prop_take n = L.take n `eqP` (unpack . T.take n)
114prop_take n = L.take n `eqP` (unpack . T.take n)
113prop_drop n = L.drop n `eqP` (unpack . T.drop n)
115prop_drop n = L.drop n `eqP` (unpack . T.drop n)
114prop_takeWhile p = L.takeWhile p `eqP` (unpack . T.takeWhile p)
116prop_takeWhile p = L.takeWhile p `eqP` (unpack . T.takeWhile p)
115prop_takeWhileS p = L.takeWhile p `eqP` (unpack . unstream . S.takeWhile p . stream)
117prop_takeWhileS p = L.takeWhile p `eqP` (unpack . unstream . S.takeWhile p . stream)
116prop_dropWhile p = L.dropWhile p `eqP` (unpack . T.dropWhile p)
118prop_dropWhile p = L.dropWhile p `eqP` (unpack . T.dropWhile p)
117prop_dropWhileS p = L.dropWhile p `eqP` (unpack . unstream . S.dropWhile p . stream)
119prop_dropWhileS p = L.dropWhile p `eqP` (unpack . unstream . S.dropWhile p . stream)
118−prop_splitAt n = L.splitAt n `eqP` ((unpack *** unpack) . T.splitAt n)
120+prop_splitAt n = L.splitAt n `eqP` (unpack2 . T.splitAt n)
119−prop_span p = L.span p `eqP` ((unpack *** unpack) . T.span p)
121+prop_span p = L.span p `eqP` (unpack2 . T.span p)
120−prop_break p = L.break p `eqP` ((unpack *** unpack) . T.break p)
122+prop_break p = L.break p `eqP` (unpack2 . T.break p)
121prop_group = L.group `eqP` (map unpack . T.group)
123prop_group = L.group `eqP` (map unpack . T.group)
122prop_groupBy p = L.groupBy p `eqP` (map unpack . T.groupBy p)
124prop_groupBy p = L.groupBy p `eqP` (map unpack . T.groupBy p)
123prop_inits = L.inits `eqP` (map unpack . T.inits)
125prop_inits = L.inits `eqP` (map unpack . T.inits)