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 7ffc123 commit 61eeeecCopy full SHA for 61eeeec
tests/seq-properties.hs
@@ -36,6 +36,7 @@ main = defaultMain
36
, testProperty "(|>)" prop_snoc
37
, testProperty "(><)" prop_append
38
, testProperty "fromList" prop_fromList
39
+ , testProperty "fromFunction" prop_fromFunction
40
, testProperty "replicate" prop_replicate
41
, testProperty "replicateA" prop_replicateA
42
, testProperty "replicateM" prop_replicateM
@@ -270,6 +271,10 @@ prop_fromList :: [A] -> Bool
270
271
prop_fromList xs =
272
toList' (fromList xs) ~= xs
273
274
+prop_fromFunction :: [A] -> Bool
275
+prop_fromFunction xs =
276
+ toList' (fromFunction (Prelude.length xs) (xs!!)) ~= xs
277
+
278
-- ** Repetition
279
280
prop_replicate :: NonNegative Int -> A -> Bool
0 commit comments