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