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

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

 no demanded arguments

 deterministic operation

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

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 checkWithValues3

 no precedence defined

 _

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

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term