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