CurryInfo: easycheck-3.2.0 / Test.EasyCheck.test

definition: Info
 
test :: Show a => a -> ([a] -> Bool) -> Prop
test x f = Prop [setResult res notest]
 where
  xs  = valuesOf x
  res = case valuesOf (f xs) of
          [True]  -> Ok
          [False] -> Falsified (map show xs)
          bs      -> Ambigious bs (map show xs)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Constructs a property to be tested from an arbitrary expression
(first argument) and a predicate that is applied to the list of
non-deterministic values. The given predicate determines whether
the constructed property is satisfied or falsified for the given
expression.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_) |-> {Prop}}
name: Info
 test
precedence: Info
 no precedence defined
result-values: Info
 {Prop}
signature: Info
 Prelude.Show a => a -> ([a] -> Prelude.Bool) -> Test.Prop.Types.Prop
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term