Agda.Utils.Benchmark
type Account a
type CurrentAccount a
type Timings a
data Benchmark a
mapBenchmarkOn
mapCurrentAccount
mapTimings
addCPUTime
class MonadBench a m
setBenchmarking
switchBenchmarking
reset
billTo
billPureTo