Commit 2accfa5b authored by Michael Hanus's avatar Michael Hanus
Browse files

Test.Prop.forAll added

parent 2a9bf2ab
......@@ -26,7 +26,7 @@ module Test.Prop (
-- test specification:
PropIO, returns, sameReturns, toError, toIOError,
Prop, (==>), for,
Prop, (==>), for, forAll,
is, isAlways, isEventually, uniquely, always, eventually,
failing, successful, deterministic, (-=-), (<~>), (~>), (<~), (<~~>),
......@@ -169,6 +169,11 @@ _ #> _ = propUndefinedError "#>"
for :: Show a => a -> (a -> Prop) -> Prop
for _ _ = propUndefinedError "for"
--- The property `forAll xs p` is satisfied if all values `x` of the list `xs`
--- satisfy property `p x`.
forAll :: Show a => [a] -> (a -> Prop) -> Prop
forAll _ _ = propUndefinedError "forAll"
-------------------------------------------------------------------------
-- Test Annotations
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment