CurryInfo: benchmark-papers-3.0.0 / Test.Benchmark.iterateBench

definition: Info
 
iterateBench :: ([a] -> b) -> Int -> Benchmark a -> Benchmark b
iterateBench averagef n (BM pre post action) = BM pre post $
  mapM (\_ -> action) [1..n] >>= \rs -> return (averagef rs)
demand: Info
 argument 3
deterministic: Info
 deterministic operation
documentation: Info
 
Iterates a benchmark multiple times and computes the average according
to a given average function (first argument).
The preparation and cleanup actions of the benchmark are
only executed once, i.e., they are not iterated.
failfree: Info
 (_, _, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,{BM}) |-> _}
name: Info
 iterateBench
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 ([a] -> b) -> Prelude.Int -> Benchmark a -> Benchmark b
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term