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

definition: Info
 
check1 :: (Data a, Show a) => Config -> String -> (a -> Prop) -> IO Bool
check1 config msg = check config msg . suc id
demand: Info
 no demanded arguments
deterministic: Info
 possibly non-deterministic operation
documentation: Info
 
Checks a property parameterized over a single argument
with a given configuration (first argument)
and a name for the test (second argument).
Returns a flag whether the test was successful.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_,_) |-> {.._#lambda508}}
name: Info
 check1
precedence: Info
 no precedence defined
result-values: Info
 {.._#lambda508}
signature: Info
 (Prelude.Data a, Prelude.Show a) => Config -> String -> (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