| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Monad.Statistics
Description
Collect statistics.
- 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
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.