System.Metrics.Extensible

Documentation

data Counter

A mutable, integer-valued counter.

Instances

TrackerLike Counter

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Counter m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Counter name)) => metric Counter name -> TrackAction Counter m

createTracker :: Text -> Store -> IO Counter

type TrackAction Counter m

Defined in System.Metrics.TrackerInstances

type TrackAction Counter m = m ()

data Gauge

A mutable, integer-valued gauge.

Instances

TrackerLike Gauge

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Gauge m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Gauge name)) => metric Gauge name -> TrackAction Gauge m

createTracker :: Text -> Store -> IO Gauge

type TrackAction Gauge m

Defined in System.Metrics.TrackerInstances

type TrackAction Gauge m = Int64 -> m ()

data Label

A mutable, text-valued label.

Instances

TrackerLike Label

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Label m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Label name)) => metric Label name -> TrackAction Label m

createTracker :: Text -> Store -> IO Label

type TrackAction Label m

Defined in System.Metrics.TrackerInstances

type TrackAction Label m = Text -> m ()

data Distribution

An metric for tracking events.

Instances

TrackerLike Distribution

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Distribution m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Distribution name)) => metric Distribution name -> TrackAction Distribution m

createTracker :: Text -> Store -> IO Distribution

type TrackAction Distribution m

Defined in System.Metrics.TrackerInstances

type TrackAction Distribution m = Double -> m ()

class MonadIO m => MonadMetrics m where

Methods

getTracker :: (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> m tracker

Instances

MonadIO m => MonadMetrics (MetricsT m)

Defined in System.Metrics.Monad

Methods

getTracker :: forall tracker (name :: Symbol) metric. (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> MetricsT m tracker

class Typeable tracker => TrackerLike tracker where

Associated Types

type TrackAction tracker (m :: * -> *) = r | r -> m

Methods

track :: (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> TrackAction tracker m

createTracker :: Text -> Store -> IO tracker

Instances

TrackerLike Counter

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Counter m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Counter name)) => metric Counter name -> TrackAction Counter m

createTracker :: Text -> Store -> IO Counter

TrackerLike Gauge

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Gauge m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Gauge name)) => metric Gauge name -> TrackAction Gauge m

createTracker :: Text -> Store -> IO Gauge

TrackerLike Label

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Label m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Label name)) => metric Label name -> TrackAction Label m

createTracker :: Text -> Store -> IO Label

TrackerLike Distribution

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction Distribution m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Distribution name)) => metric Distribution name -> TrackAction Distribution m

createTracker :: Text -> Store -> IO Distribution

TrackerLike DistrGauge

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction DistrGauge m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric DistrGauge name)) => metric DistrGauge name -> TrackAction DistrGauge m

createTracker :: Text -> Store -> IO DistrGauge

TrackerLike Timestamp

Defined in System.Metrics.ExtraTrackers

Associated Types

type TrackAction Timestamp m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric Timestamp name)) => metric Timestamp name -> TrackAction Timestamp m

createTracker :: Text -> Store -> IO Timestamp

(Typeable magn, MagnitudeOps magn) => TrackerLike (Timer magn)

Defined in System.Metrics.ExtraTrackers

Associated Types

type TrackAction (Timer magn) m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric (Timer magn) name)) => metric (Timer magn) name -> TrackAction (Timer magn) m

createTracker :: Text -> Store -> IO (Timer magn)

data MetricsStore

newMetricsStore :: MonadIO m => Server -> m (MetricsStore, m ())

withMetricsStore :: (MonadIO m, MonadMask m) => Server -> (MetricsStore -> m a) -> m a

getMetricFromStore :: (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => MetricsStore -> metric tracker name -> IO tracker

type Metrics = MetricsT IO

data MetricsT (m :: k -> *) (a :: k)

Instances

MonadReader r m => MonadReader r (MetricsT m)

Defined in System.Metrics.Monad

Methods

ask :: MetricsT m r

local :: (r -> r) -> MetricsT m a -> MetricsT m a

reader :: (r -> a) -> MetricsT m a

MonadTrans (MetricsT :: (Type -> Type) -> Type -> Type)

Defined in System.Metrics.Monad

Methods

lift :: Monad m => m a -> MetricsT m a

Monad m => Monad (MetricsT m)

Defined in System.Metrics.Monad

Methods

(>>=) :: MetricsT m a -> (a -> MetricsT m b) -> MetricsT m b

(>>) :: MetricsT m a -> MetricsT m b -> MetricsT m b

return :: a -> MetricsT m a

Functor m => Functor (MetricsT m)

Defined in System.Metrics.Monad

Methods

fmap :: (a -> b) -> MetricsT m a -> MetricsT m b

(<$) :: a -> MetricsT m b -> MetricsT m a

Applicative m => Applicative (MetricsT m)

Defined in System.Metrics.Monad

Methods

pure :: a -> MetricsT m a

(<*>) :: MetricsT m (a -> b) -> MetricsT m a -> MetricsT m b

liftA2 :: (a -> b -> c) -> MetricsT m a -> MetricsT m b -> MetricsT m c

(*>) :: MetricsT m a -> MetricsT m b -> MetricsT m b

(<*) :: MetricsT m a -> MetricsT m b -> MetricsT m a

MonadIO m => MonadIO (MetricsT m)

Defined in System.Metrics.Monad

Methods

liftIO :: IO a -> MetricsT m a

MonadThrow m => MonadThrow (MetricsT m)

Defined in System.Metrics.Monad

Methods

throwM :: Exception e => e -> MetricsT m a

MonadCatch m => MonadCatch (MetricsT m)

Defined in System.Metrics.Monad

Methods

catch :: Exception e => MetricsT m a -> (e -> MetricsT m a) -> MetricsT m a

MonadIO m => MonadMetrics (MetricsT m)

Defined in System.Metrics.Monad

Methods

getTracker :: forall tracker (name :: Symbol) metric. (TrackerLike tracker, KnownSymbol name, Typeable metric, Ord (metric tracker name)) => metric tracker name -> MetricsT m tracker

newtype DistrGauge

Constructors

DistrGauge (Distribution, Gauge)

Instances

TrackerLike DistrGauge

Defined in System.Metrics.TrackerInstances

Associated Types

type TrackAction DistrGauge m = (r :: Type)

Methods

track :: forall (m :: Type -> Type) (name :: Symbol) metric. (MonadMetrics m, KnownSymbol name, Typeable metric, Ord (metric DistrGauge name)) => metric DistrGauge name -> TrackAction DistrGauge m

createTracker :: Text -> Store -> IO DistrGauge

type TrackAction DistrGauge m

Defined in System.Metrics.TrackerInstances

type TrackAction DistrGauge m = Int64 -> m ()