Arbor.Monad.Metric

Documentation

class (Monad m, MonadIO m) => MonadMetrics m

Minimal complete definition

getMetrics

Instances

MonadMetrics m => MonadMetrics (MaybeT m)

Defined in Arbor.Monad.Metric.Type

Methods

getMetrics :: MaybeT m Metrics

MonadMetrics m => MonadMetrics (ResourceT m)

Defined in Arbor.Monad.Metric.Type

Methods

getMetrics :: ResourceT m Metrics

MonadMetrics m => MonadMetrics (IdentityT m)

Defined in Arbor.Monad.Metric.Type

Methods

getMetrics :: IdentityT m Metrics

MonadMetrics m => MonadMetrics (ExceptT e m)

Defined in Arbor.Monad.Metric.Type

Methods

getMetrics :: ExceptT e m Metrics

MonadMetrics m => MonadMetrics (StateT s m)

Defined in Arbor.Monad.Metric.Type

Methods

getMetrics :: StateT s m Metrics

MonadMetrics m => MonadMetrics (ReaderT e m)

Defined in Arbor.Monad.Metric.Type

Methods

getMetrics :: ReaderT e m Metrics

getMetrics :: MonadMetrics m => m Metrics

newMetricsIO :: IO Metrics

extractValues :: forall k. MetricFamily k => Proxy k -> MetricMap k (MetricState k) -> STM ([(k, MetricValue k)], [TVar (MetricState k)])

metric :: Ord k => Semigroup (MetricState k) => MetricFamily k => MonadMetrics m => k -> MetricValue k -> m ()

data Counter

Instances

Eq Counter

Defined in Arbor.Monad.Metric.Type

Methods

(==) :: Counter -> Counter -> Bool

(/=) :: Counter -> Counter -> Bool

Ord Counter

Defined in Arbor.Monad.Metric.Type

Methods

compare :: Counter -> Counter -> Ordering

(<) :: Counter -> Counter -> Bool

(<=) :: Counter -> Counter -> Bool

(>) :: Counter -> Counter -> Bool

(>=) :: Counter -> Counter -> Bool

max :: Counter -> Counter -> Counter

min :: Counter -> Counter -> Counter

Show Counter

Defined in Arbor.Monad.Metric.Type

Methods

showsPrec :: Int -> Counter -> ShowS

show :: Counter -> String

showList :: [Counter] -> ShowS

Generic Counter

Defined in Arbor.Monad.Metric.Type

Associated Types

type Rep Counter :: Type -> Type

Methods

from :: Counter -> Rep Counter x

to :: Rep Counter x -> Counter

MetricFamily Counter

Defined in Arbor.Monad.Metric.Type

Associated Types

type MetricValue Counter :: Type

type MetricState Counter :: Type

Methods

metricMapTVarOf :: Metrics -> TVar (MetricMap Counter (MetricState Counter))

metricValueToState :: Proxy Counter -> MetricValue Counter -> MetricState Counter

metricStateToValue :: Proxy Counter -> MetricState Counter -> MetricValue Counter

type Rep Counter

Defined in Arbor.Monad.Metric.Type

type Rep Counter = D1 (MetaData "Counter" "Arbor.Monad.Metric.Type" "arbor-monad-metric-1.1.0-J7GpovoJq64CnFbA56PYkJ" False) (C1 (MetaCons "Counter" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "tags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set Tag))))

type MetricValue Counter

Defined in Arbor.Monad.Metric.Type

type MetricValue Counter = Int

type MetricState Counter

Defined in Arbor.Monad.Metric.Type

type MetricState Counter = Sum Int

data Gauge

Instances

Eq Gauge

Defined in Arbor.Monad.Metric.Type

Methods

(==) :: Gauge -> Gauge -> Bool

(/=) :: Gauge -> Gauge -> Bool

Ord Gauge

Defined in Arbor.Monad.Metric.Type

Methods

compare :: Gauge -> Gauge -> Ordering

(<) :: Gauge -> Gauge -> Bool

(<=) :: Gauge -> Gauge -> Bool

(>) :: Gauge -> Gauge -> Bool

(>=) :: Gauge -> Gauge -> Bool

max :: Gauge -> Gauge -> Gauge

min :: Gauge -> Gauge -> Gauge

Show Gauge

Defined in Arbor.Monad.Metric.Type

Methods

showsPrec :: Int -> Gauge -> ShowS

show :: Gauge -> String

showList :: [Gauge] -> ShowS

Generic Gauge

Defined in Arbor.Monad.Metric.Type

Associated Types

type Rep Gauge :: Type -> Type

Methods

from :: Gauge -> Rep Gauge x

to :: Rep Gauge x -> Gauge

MetricFamily Gauge

Defined in Arbor.Monad.Metric.Type

Associated Types

type MetricValue Gauge :: Type

type MetricState Gauge :: Type

Methods

metricMapTVarOf :: Metrics -> TVar (MetricMap Gauge (MetricState Gauge))

metricValueToState :: Proxy Gauge -> MetricValue Gauge -> MetricState Gauge

metricStateToValue :: Proxy Gauge -> MetricState Gauge -> MetricValue Gauge

type Rep Gauge

Defined in Arbor.Monad.Metric.Type

type Rep Gauge = D1 (MetaData "Gauge" "Arbor.Monad.Metric.Type" "arbor-monad-metric-1.1.0-J7GpovoJq64CnFbA56PYkJ" False) (C1 (MetaCons "Gauge" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "tags") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set Tag))))

type MetricValue Gauge

Defined in Arbor.Monad.Metric.Type

type MetricValue Gauge = Double

type MetricState Gauge

Defined in Arbor.Monad.Metric.Type

type MetricState Gauge = Last Double

data Metrics

Instances

Generic Metrics

Defined in Arbor.Monad.Metric.Type

Associated Types

type Rep Metrics :: Type -> Type

Methods

from :: Metrics -> Rep Metrics x

to :: Rep Metrics x -> Metrics

type Rep Metrics

Defined in Arbor.Monad.Metric.Type

type Rep Metrics = D1 (MetaData "Metrics" "Arbor.Monad.Metric.Type" "arbor-monad-metric-1.1.0-J7GpovoJq64CnFbA56PYkJ" False) (C1 (MetaCons "Metrics" PrefixI True) (S1 (MetaSel (Just "counters") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar (MetricMap Counter (MetricState Counter)))) :*: S1 (MetaSel (Just "gauges") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (TVar (MetricMap Gauge (MetricState Gauge))))))

data Tag

Instances

Eq Tag

Defined in Arbor.Monad.Metric.Type

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

Ord Tag

Defined in Arbor.Monad.Metric.Type

Methods

compare :: Tag -> Tag -> Ordering

(<) :: Tag -> Tag -> Bool

(<=) :: Tag -> Tag -> Bool

(>) :: Tag -> Tag -> Bool

(>=) :: Tag -> Tag -> Bool

max :: Tag -> Tag -> Tag

min :: Tag -> Tag -> Tag

Show Tag

Defined in Arbor.Monad.Metric.Type

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

Generic Tag

Defined in Arbor.Monad.Metric.Type

Associated Types

type Rep Tag :: Type -> Type

Methods

from :: Tag -> Rep Tag x

to :: Rep Tag x -> Tag

type Rep Tag

Defined in Arbor.Monad.Metric.Type

type Rep Tag = D1 (MetaData "Tag" "Arbor.Monad.Metric.Type" "arbor-monad-metric-1.1.0-J7GpovoJq64CnFbA56PYkJ" False) (C1 (MetaCons "Tag" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

counter :: Text -> Counter

gauge :: Text -> Gauge

tag :: Text -> Text -> Tag

tags :: [(Text, Text)] -> Set Tag