Agda-2.4.0.2: 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.