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

definition: Info
 
checkWithValues1 :: Show a => Config -> String -> [a] -> (a -> Prop) -> IO Bool
checkWithValues1 config msg xs p = check config msg (forValues xs p)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Checks a property parameterized over a single argument
with a given configuration (first argument),
a name for the test (second argument),
and all values given in the third argument.
Returns a flag whether the test was successful.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_,_,_) |-> _}
name: Info
 checkWithValues1
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Prelude.Show a => Config -> String -> [a] -> (a -> Test.Prop.Types.Prop)
-> Prelude.IO Prelude.Bool
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term