Methods
modifyCounter :: String -> (Integer -> Integer) -> m ()
Instances8MonadStatistics, …
MonadStatistics TerMDefined in Agda-2.8.0.2 · Agda.Termination.MonadMonadStatistics TCMDefined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.StatisticsReadTCState m => MonadStatistics (PureConversionT m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Conversion.PureMonadStatistics m => MonadStatistics (MaybeT m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.StatisticsMonadStatistics m => MonadStatistics (ExceptT e m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.StatisticsMonadStatistics m => MonadStatistics (ReaderT r m)Defined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.StatisticsMonadStatistics 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