CurryInfo: easycheck-3.2.0 / Test.EasyCheck.test

 
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)

 no demanded arguments

 deterministic operation

 
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.

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 test

 no precedence defined

 {Prop}

 Prelude.Show a => a -> ([a] -> Prelude.Bool) -> Test.Prop.Types.Prop

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term