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

Safe HaskellNone
LanguageHaskell98

Agda.TypeChecking.Monad.Statistics

Description

Collect statistics.

Synopsis

Documentation

tick :: String -> TCM ()

Increase specified counter by 1.

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

Increase specified counter by n.

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

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

getStatistics :: TCM Statistics

Get the statistics.

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

Modify the statistics via given function.

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

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