Profile.Runner

Definitions

runBenchmark : AttoSeconds -> Benchmarkable err -> IO (Either err (List Measured))

  Run a benchmark with an increasing number of
  iterations until at least the given time limit
  has passed.

Totality: total
Visibility: export

runDefault : (String -> Bool) -> Format -> (err -> String) -> Benchmark err -> IO ()

Totality: total
Visibility: export