CurryInfo: easycheck-3.2.0 / Test.EasyCheck.==>

definition: Info
 
(==>) :: Bool -> Prop -> Prop
cond ==> p =
  if True `elem` valuesOf cond
  then p
  else Prop [notest]
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
A conditional property is tested if the condition evaluates to `True`.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 infixr
iotype: Info
 {(_,_) |-> _}
name: Info
 ==>
precedence: Info
 0
result-values: Info
 _
signature: Info
 Prelude.Bool -> Test.Prop.Types.Prop -> 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