Safe Haskell | None |
---|
Collect statistics.
- tick :: String -> TCM ()
- tickN :: String -> Integer -> TCM ()
- tickMax :: String -> Integer -> TCM ()
- getStatistics :: TCM Statistics
Documentation
tickMax :: String -> Integer -> TCM ()Source
Set the specified counter to the maximum of its current value and n
.
getStatistics :: TCM StatisticsSource
Get the statistics.