We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cae5e7a commit df7ffb4Copy full SHA for df7ffb4
tests/Tests/Vector.hs
@@ -172,6 +172,7 @@ testPolymorphicFunctions _ = $(testProperties [
172
173
-- Filtering
174
'prop_filter, 'prop_ifilter, {- prop_filterM, -}
175
+ 'prop_uniq,
176
'prop_mapMaybe, 'prop_imapMaybe,
177
'prop_takeWhile, 'prop_dropWhile,
178
@@ -410,6 +411,8 @@ testPolymorphicFunctions _ = $(testProperties [
410
411
where
412
prop :: P ((a -> v a) -> v a -> v a) = V.concatMap `eq` concatMap
413
414
+ prop_uniq :: P (v a -> v a)
415
+ = V.uniq `eq` (map head . group)
416
--prop_span = (V.span :: (a -> Bool) -> v a -> (v a, v a)) `eq2` span
417
--prop_break = (V.break :: (a -> Bool) -> v a -> (v a, v a)) `eq2` break
418
--prop_splitAt = (V.splitAt :: Int -> v a -> (v a, v a)) `eq2` splitAt
0 commit comments