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

Safe HaskellNone
LanguageHaskell98

Agda.TypeChecking.Monad.Statistics

Description

Collect statistics.

Synopsis

Documentation

tick :: String -> TCM () Source

Increase specified counter by 1.

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

Increase specified counter by n.

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" is given.