NLP.GenI.Statistics

Documentation

data Statistics

Instances

NFData Statistics

Methods

rnf :: Statistics -> ()

JSON Statistics

Methods

readJSON :: JSValue -> Result Statistics

showJSON :: Statistics -> JSValue

readJSONs :: JSValue -> Result [Statistics]

showJSONs :: [Statistics] -> JSValue

type StatisticsState a = forall m. MonadState Statistics m => m a

emptyStats :: Statistics

showFinalStats :: Statistics -> String

initialStatisticsStateFor :: (m a -> Statistics -> b) -> m a -> b

addMetric :: Metric -> StatisticsState ()

Adds a metric at the beginning of the list (note we reverse the order whene we want to print the metrics)

data Metric

Constructors

IntMetric String Int

Instances

Show Metric

Methods

showsPrec :: Int -> Metric -> ShowS

show :: Metric -> String

showList :: [Metric] -> ShowS

NFData Metric

Methods

rnf :: Metric -> ()

queryMetrics :: (Metric -> Maybe a) -> Statistics -> [a]

updateMetrics :: (Metric -> Metric) -> Statistics -> Statistics

incrIntMetric :: String -> Int -> Metric -> Metric

queryIntMetric :: String -> Metric -> Maybe Int