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

definition: Info
 
verboseCheck2 :: (Data a, Data b, Show a, Show b) =>
                 String -> (a -> b -> Prop) -> IO Bool
verboseCheck2 = check2 verboseConfig
demand: Info
 no demanded arguments
deterministic: Info
 possibly non-deterministic operation
documentation: Info
 
Checks a property parameterized over two arguments
according to the verbose configuration
and a name for the test (first argument).
Returns a flag whether the test was successful.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_,_) |-> {check2}}
name: Info
 verboseCheck2
precedence: Info
 no precedence defined
result-values: Info
 {check2}
signature: Info
 (Prelude.Data a, Prelude.Data b, Prelude.Show a, Prelude.Show b) => String -> (a
-> b -> 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