CurryInfo: easycheck-3.2.0 / Test.EasyCheck.trivial

definition: Info
 
trivial :: Bool -> Prop -> Prop
trivial = (`classify` "trivial")
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Assign the label "trivial" to a property if the first argument is `True`.
All labeled tests are counted and shown at the end.
failfree: Info
 ()
indeterministic: Info
 referentially transparent operation
infix: Info
 infix
iotype: Info
 {() |-> {flip}}
name: Info
 trivial
precedence: Info
 1
result-values: Info
 {flip}
signature: Info
 Prelude.Bool -> Test.Prop.Types.Prop -> Test.Prop.Types.Prop
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms