Development.IDE.Types.Monitoring

Documentation

data Monitoring

An abstraction for runtime monitoring inspired by the ekg package

Constructors

Monitoring

Fields

• registerGauge :: Text -> IO Int64 -> IO ()

  Register an integer-valued metric.

• registerCounter :: Text -> IO Int64 -> IO ()

  Register a non-negative, monotonically increasing, integer-valued metric.

• start :: IO (IO ())

  Start the monitoring system, returning an action which will stop the system.

Instances

Monoid Monitoring

Defined in Development.IDE.Types.Monitoring

Methods

mempty :: Monitoring

mappend :: Monitoring -> Monitoring -> Monitoring

mconcat :: [Monitoring] -> Monitoring

Semigroup Monitoring

Defined in Development.IDE.Types.Monitoring

Methods

(<>) :: Monitoring -> Monitoring -> Monitoring

sconcat :: NonEmpty Monitoring -> Monitoring

stimes :: Integral b => b -> Monitoring -> Monitoring