Safe Haskell | None |
---|---|
Language | Haskell98 |
Collect statistics.
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.
Safe Haskell | None |
---|---|
Language | Haskell98 |
Collect statistics.
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.