Agda.Utils.Benchmark

Benchmark trie

type Account a

type CurrentAccount a

type Timings a

data Benchmark a

mapBenchmarkOn

mapCurrentAccount

mapTimings

addCPUTime

Benchmarking monad.

class MonadBench a m

setBenchmarking

switchBenchmarking

reset

billTo

billPureTo