ModuleAgda-2.8.0.2Haskell2010

Agda.TypeChecking.Monad.Statistics

Collect statistics.

classclass ReadTCState m => MonadStatistics (m :: Type -> Type) where

Instances8MonadStatistics, …

MonadStatistics TerMDefined in Agda-2.8.0.2 · Agda.Termination.Monad
MonadStatistics TCMDefined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Statistics
ReadTCState m => MonadStatistics (PureConversionT m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Conversion.Pure
MonadStatistics m => MonadStatistics (MaybeT m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Statistics
MonadStatistics m => MonadStatistics (ExceptT e m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Statistics
MonadStatistics m => MonadStatistics (ReaderT r m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Statistics
MonadStatistics m => MonadStatistics (StateT s m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Statistics
(MonadStatistics m, Monoid w) => MonadStatistics (WriterT w m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Statistics

valuetick :: MonadStatistics m => String -> m ()

Increase specified counter by 1.

valuetickN :: MonadStatistics m => String -> Integer -> m ()

Increase specified counter by n.

valuetickMax :: MonadStatistics m => String -> Integer -> m ()

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

valuegetStatistics :: ReadTCState m => m Statistics

Get the statistics.

valuemodifyStatistics :: (Statistics -> Statistics) -> TCM ()

Modify the statistics via given function.

valueprintStatistics

Print the given statistics.