CurryInfo: easycheck-3.2.0 / Test.EasyCheck.Exec.checkWithValues2

 
checkWithValues2 :: (Show a, Show b) => Config -> String -> [a] -> [b]
                -> (a -> b -> Prop) -> IO Bool
checkWithValues2 config msg xs ys p =
  check config msg (forValues xs (\x -> forValues ys (p x)))

 no demanded arguments

 deterministic operation

 
Checks a property parameterized over two arguments
with a given configuration (first argument)
a name for the test (second argument),
and all values given in the third and fourth argument.
Returns a flag whether the test was successful.

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_,_,_,_,_,_) |-> _}

 checkWithValues2

 no precedence defined

 _

 (Prelude.Show a, Prelude.Show b) => Config -> String -> [a] -> [b] -> (a -> b
-> Test.Prop.Types.Prop) -> Prelude.IO Prelude.Bool

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term