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 |