aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorAlexander Biehl <alexbiehl@gmail.com>2018-03-23 15:57:36 +0100
committerGitHub <noreply@github.com>2018-03-23 15:57:36 +0100
commitd270aeee23427c8cfe582549ead8f495704603f6 (patch)
tree2f9ced9fda4d1f9853aa849c49c36bde08e08054 /doc
parentee6e32147371f4d2430bb8b080596f7c62227912 (diff)
Useful cost centres, timers and allocation counters (#785)
* Add some useful cost-centres for profiling * Add withTiming for each haddock phase Invoking haddock with `--optghc=-ddump-timings` now shows the amount of time spent and the number of allocated bytes for each phase.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions