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

Safe HaskellNone

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 StatisticsSource

Get the statistics.