Agda-2.6.0.1: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Monad.Statistics

Description

Collect statistics.

Synopsis

- tick :: String -> TCM ()
- tickN :: String -> Integer -> TCM ()
- tickMax :: String -> Integer -> TCM ()
- getStatistics :: TCM Statistics
- modifyStatistics :: (Statistics -> Statistics) -> TCM ()
- printStatistics :: Int -> Maybe TopLevelModuleName -> Statistics -> TCM ()

# Documentation

tick :: String -> TCM () Source #

Increase specified counter by `1`.

tickN :: String -> Integer -> TCM () Source #

Increase specified counter by `n`.

tickMax :: String -> Integer -> TCM () Source #

Set the specified counter to the maximum of its current value and `n`.

getStatistics :: TCM Statistics Source #

Get the statistics.

modifyStatistics :: (Statistics -> Statistics) -> TCM () Source #

Modify the statistics via given function.

printStatistics :: Int -> Maybe TopLevelModuleName -> Statistics -> TCM () Source #

Print the given statistics if verbosity "profile.ticks" is given.