System.Metrics.Prometheus.Http.Push

Documentation

pushMetrics

Arguments

:: URI

PushGateway URI name, including port number (ex: parseUri https://myGateway.com:8080)

-> Text

Job name

-> Labels

Label set to use as a grouping key for metrics

-> Int

Microsecond push frequency

-> IO RegistrySample

Action to get latest metrics

-> IO ()

parseURI :: String -> Maybe URI

Parses a uri such that parseURI "https://example.com" === Just (URI "https:" "//example.com"