| |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| Synopsis | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| Documentation | |||||||||||||||||||||||||||||||||||||
| data Statistics | |||||||||||||||||||||||||||||||||||||
| type StatisticsState a = forall m. MonadState Statistics m => m a | |||||||||||||||||||||||||||||||||||||
| type StatisticsStateIO a = forall m. (MonadState Statistics m, MonadIO m) => m a | |||||||||||||||||||||||||||||||||||||
| emptyStats :: Statistics | |||||||||||||||||||||||||||||||||||||
| printOutAllMetrics :: StatisticsStateIO () | |||||||||||||||||||||||||||||||||||||
| printOutAllMetrics' :: Statistics -> IO () | |||||||||||||||||||||||||||||||||||||
| printOutInspectionMetrics :: StatisticsStateIO () | |||||||||||||||||||||||||||||||||||||
| showFinalStats :: Statistics -> String | |||||||||||||||||||||||||||||||||||||
| initialStatisticsStateFor :: MonadState Statistics m => (m a -> Statistics -> b) -> m a -> b | |||||||||||||||||||||||||||||||||||||
| addMetric :: Metric -> StatisticsState () | |||||||||||||||||||||||||||||||||||||
| Adds a metric at the end of the list (thus, metrics are printed out in the order in which they were added | |||||||||||||||||||||||||||||||||||||
| addInspectionMetric :: Metric -> StatisticsState () | |||||||||||||||||||||||||||||||||||||
| Adds a metric that will be printed out at regular intervals | |||||||||||||||||||||||||||||||||||||
| setPrintOutInterval :: Int -> StatisticsState () | |||||||||||||||||||||||||||||||||||||
| mergeMetrics :: (Metric -> Metric -> Metric) -> Statistics -> Statistics -> Statistics | |||||||||||||||||||||||||||||||||||||
| data Metric | |||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||
| queryMetrics :: (Metric -> Maybe a) -> Statistics -> [a] | |||||||||||||||||||||||||||||||||||||
| updateMetrics :: (Metric -> Metric) -> Statistics -> Statistics | |||||||||||||||||||||||||||||||||||||
| incrIntMetric :: String -> Int -> Metric -> Metric | |||||||||||||||||||||||||||||||||||||
| queryIntMetric :: String -> Metric -> Maybe Int | |||||||||||||||||||||||||||||||||||||
| addIntMetrics :: Metric -> Metric -> Metric | |||||||||||||||||||||||||||||||||||||
| Produced by Haddock version 2.1.0 |