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

definition:
easyCheck5 :: (Data a, Data b, Data c, Data d, Data e,
               Show a, Show b, Show c, Show d, Show e) =>
              String -> (a -> b -> c -> d -> e -> Prop) -> IO Bool
easyCheck5 = check5 easyConfig
demand:
no demanded arguments
deterministic:
possibly non-deterministic operation
documentation:
--- Checks a property parameterized over five arguments
--- according to the default configuration
--- and a name for the test (first argument).
--- Returns a flag whether the test was successful.
failfree:
<FAILING>
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_,_,_,_,_,_,_,_,_) |-> {check5}}
name:
easyCheck5
precedence:
no precedence defined
result-values:
{check5}
signature:
(Prelude.Data a, Prelude.Data b, Prelude.Data c, Prelude.Data d, Prelude.Data e, Prelude.Show a, Prelude.Show b, Prelude.Show c, Prelude.Show d, Prelude.Show e) => String
-> (a -> b -> c -> d -> e -> Test.Prop.Types.Prop) -> Prelude.IO Prelude.Bool
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
possibly non-reducible on same data term