Commits

Bryan O'Sullivan committed 35d0208

Test scanl

Comments (0)

Files changed (1)

tests/Properties.hs

 prop_concatMap f     = L.concatMap f `eqP`  (unpack . T.concatMap (pack . f))
 prop_any p           = L.any p       `eqP`  T.any p
 prop_all p           = L.all p       `eqP`  T.all p
+prop_maximum         = L.maximum     `eqEP` T.maximum
 prop_minimum         = L.minimum     `eqEP` T.minimum
-prop_maximum         = L.maximum     `eqEP` T.maximum
+
+prop_scanl f z       = L.scanl f z   `eqP`  (unpack . T.scanl f z)
 
 prop_take n          = L.take n      `eqP` (unpack . T.take n)
 prop_drop n          = L.drop n      `eqP` (unpack . T.drop n)
   ("prop_concatMap", mytest prop_concatMap),
   ("prop_any", mytest prop_any),
   ("prop_all", mytest prop_all),
+  ("prop_maximum", mytest prop_maximum),
   ("prop_minimum", mytest prop_minimum),
-  ("prop_maximum", mytest prop_maximum),
+
+  ("prop_scanl", mytest prop_scanl),
 
   ("prop_take", mytest prop_take),
   ("prop_drop", mytest prop_drop),