ecluse
Safe HaskellNone
LanguageGHC2021

Ecluse.Telemetry.Metrics

Description

The ecluse.* metric catalogue and its bounded-label discipline.

An inline proxy sees thousands of distinct packages, so the failure mode for metrics is a series explosion: a single high-cardinality label (a package name, a version, a denial message) multiplied across every package turns a handful of series into millions. This module is the structural defence. It defines the catalogue of metric names and, crucially, the closed set of label types a metric may carry — every one a small, fixed-domain enum.

Bounded labels

The label vocabulary is a closed sum, Label, whose every constructor pairs a bounded-domain key with a bounded value. High-cardinality identifiers — package, version, scope, and a denial message — have no constructor here at all, so they cannot be made into a metric label: the type system forbids it. They live on spans and the structured log line (Ecluse.Log) instead, which is where a specific decision is debugged. The one operator-bounded label is rule (a rule's configured name): a deployment defines a small, fixed set of rules, so it is bounded by configuration rather than by an enum, and is the sole label carrying free text.

renderLabel projects a Label to its (key, value) wire pair, and metricAttributes materialises a label list into the OpenTelemetry Attributes an instrument is recorded with. The catalogue and the cardinality rule are described in docs/architecture/observability.md.

Synopsis

The metric-name catalogue

data MetricName Source #

The catalogue of metric instruments Écluse emits: the ecluse.* domain signals plus the OpenTelemetry HTTP server semantic convention. Each maps to its wire name through metricName; a typed enum so the catalogue is enumerable (and asserted whole in the tests) rather than a scatter of string literals.

Queue backlog and DLQ depth are deliberately absent — those are cloud-native metrics (CloudWatch, Cloud Monitoring), not signals Écluse re-emits. Advisory-sync metrics are deferred until the advisory subsystem exists.

Constructors

HttpServerRequestDuration

http.server.request.duration — server request latency (histogram).

ServeDecision

ecluse.serve.decision — admit/deny/unavailable (counter).

RuleDenials

ecluse.rule.denials — rule denials by rule and reason class (counter).

RuleEvalDuration

ecluse.rule.eval.duration — rule-evaluation latency by tier (histogram).

RuleEffectfulFailures

ecluse.rule.effectful.failures — effectful-rule failures (counter).

RuleBreakerState

ecluse.rule.breaker.state — effectful/mint breaker state by source (gauge).

UpstreamFetchDuration

ecluse.upstream.fetch.duration — upstream fetch latency (histogram).

UpstreamFetchErrors

ecluse.upstream.fetch.errors — upstream fetch errors (counter).

MetadataCacheRequests

ecluse.metadata_cache.requests — metadata-cache hit/miss (counter).

MetadataCacheEntries

ecluse.metadata_cache.entries — metadata-cache occupancy (gauge).

MirrorEnqueued

ecluse.mirror.enqueued — mirror jobs enqueued (counter).

MirrorEnqueueFailures

ecluse.mirror.enqueue.failures — mirror enqueue failures (counter).

MirrorJobsProcessed

ecluse.mirror.jobs.processed — mirror jobs processed by result (counter).

MirrorPublishDuration

ecluse.mirror.publish.duration — mirror publish latency (histogram).

CredentialRefresh

ecluse.credential.refresh — credential refreshes by result and provider (counter).

CredentialTokenTtlSeconds

ecluse.credential.token.ttl.seconds — remaining token lifetime by provider (gauge).

Instances

Instances details
Bounded MetricName Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: MetricName #

maxBound :: MetricName #

Enum MetricName Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: MetricName -> MetricName #

pred :: MetricName -> MetricName #

toEnum :: Int -> MetricName #

fromEnum :: MetricName -> Int #

enumFrom :: MetricName -> [MetricName] #

enumFromThen :: MetricName -> MetricName -> [MetricName] #

enumFromTo :: MetricName -> MetricName -> [MetricName] #

enumFromThenTo :: MetricName -> MetricName -> MetricName -> [MetricName] #

Show MetricName Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> MetricName -> ShowS #

show :: MetricName -> String #

showList :: [MetricName] -> ShowS #

Eq MetricName Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: MetricName -> MetricName -> Bool #

(/=) :: MetricName -> MetricName -> Bool #

Ord MetricName Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

compare :: MetricName -> MetricName -> Ordering #

(<) :: MetricName -> MetricName -> Bool #

(<=) :: MetricName -> MetricName -> Bool #

(>) :: MetricName -> MetricName -> Bool #

(>=) :: MetricName -> MetricName -> Bool #

max :: MetricName -> MetricName -> MetricName #

min :: MetricName -> MetricName -> MetricName #

metricName :: MetricName -> Text Source #

The wire name of a MetricName.

allMetricNames :: [MetricName] Source #

Every metric in the catalogue (the Bounded/Enum enumeration).

Label keys (the closed set)

data LabelKey Source #

The closed set of metric label keys. Every label Écluse attaches is one of these bounded-domain keys. High-cardinality identifiers (package, version, scope, a denial message) are deliberately absent — see highCardinalityKeys — so they can never become a metric label.

Constructors

KeyDecision 
KeyReasonClass 
KeyRule 
KeyEcosystem 
KeyMount 
KeyUpstream 
KeyStatusClass 
KeyResult 
KeyProvider 
KeyCause 
KeyBreakerSource 
KeyTier 

Instances

Instances details
Bounded LabelKey Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: LabelKey #

maxBound :: LabelKey #

Enum LabelKey Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: LabelKey -> LabelKey #

pred :: LabelKey -> LabelKey #

toEnum :: Int -> LabelKey #

fromEnum :: LabelKey -> Int #

enumFrom :: LabelKey -> [LabelKey] #

enumFromThen :: LabelKey -> LabelKey -> [LabelKey] #

enumFromTo :: LabelKey -> LabelKey -> [LabelKey] #

enumFromThenTo :: LabelKey -> LabelKey -> LabelKey -> [LabelKey] #

Show LabelKey Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> LabelKey -> ShowS #

show :: LabelKey -> String #

showList :: [LabelKey] -> ShowS #

Eq LabelKey Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: LabelKey -> LabelKey -> Bool #

(/=) :: LabelKey -> LabelKey -> Bool #

Ord LabelKey Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

compare :: LabelKey -> LabelKey -> Ordering #

(<) :: LabelKey -> LabelKey -> Bool #

(<=) :: LabelKey -> LabelKey -> Bool #

(>) :: LabelKey -> LabelKey -> Bool #

(>=) :: LabelKey -> LabelKey -> Bool #

max :: LabelKey -> LabelKey -> LabelKey #

min :: LabelKey -> LabelKey -> LabelKey #

labelKeyName :: LabelKey -> Text Source #

The wire name of a LabelKey.

allLabelKeys :: [LabelKey] Source #

Every label key in the closed set.

highCardinalityKeys :: [Text] Source #

The high-cardinality identifiers that must never be metric labels: they live on spans and the structured log line instead. The label-domain guard asserts none of these is a LabelKey wire name; there is, by construction, no Label that produces one.

Bounded label values

data Decision Source #

The serve decision (ecluse.serve.decision).

Constructors

Admit 
Deny 
Unavailable 

Instances

Instances details
Bounded Decision Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: Decision #

maxBound :: Decision #

Enum Decision Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: Decision -> Decision #

pred :: Decision -> Decision #

toEnum :: Int -> Decision #

fromEnum :: Decision -> Int #

enumFrom :: Decision -> [Decision] #

enumFromThen :: Decision -> Decision -> [Decision] #

enumFromTo :: Decision -> Decision -> [Decision] #

enumFromThenTo :: Decision -> Decision -> Decision -> [Decision] #

Show Decision Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> Decision -> ShowS #

show :: Decision -> String #

showList :: [Decision] -> ShowS #

Eq Decision Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: Decision -> Decision -> Bool #

(/=) :: Decision -> Decision -> Bool #

data ReasonClass Source #

The bucketed class of a denial reason — a bounded summary of Ecluse.Server.Response.RejectReason, not the rule name or the message (those are high-cardinality and stay on the log line).

Constructors

ReasonPolicy 
ReasonMissingIntegrity 
ReasonUnavailable 
ReasonLimit 

Instances

Instances details
Bounded ReasonClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: ReasonClass #

maxBound :: ReasonClass #

Enum ReasonClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: ReasonClass -> ReasonClass #

pred :: ReasonClass -> ReasonClass #

toEnum :: Int -> ReasonClass #

fromEnum :: ReasonClass -> Int #

enumFrom :: ReasonClass -> [ReasonClass] #

enumFromThen :: ReasonClass -> ReasonClass -> [ReasonClass] #

enumFromTo :: ReasonClass -> ReasonClass -> [ReasonClass] #

enumFromThenTo :: ReasonClass -> ReasonClass -> ReasonClass -> [ReasonClass] #

Show ReasonClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> ReasonClass -> ShowS #

show :: ReasonClass -> String #

showList :: [ReasonClass] -> ShowS #

Eq ReasonClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: ReasonClass -> ReasonClass -> Bool #

(/=) :: ReasonClass -> ReasonClass -> Bool #

data Upstream Source #

Which upstream a data-plane fetch targeted.

Constructors

Private 
Public 

Instances

Instances details
Bounded Upstream Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: Upstream #

maxBound :: Upstream #

Enum Upstream Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: Upstream -> Upstream #

pred :: Upstream -> Upstream #

toEnum :: Int -> Upstream #

fromEnum :: Upstream -> Int #

enumFrom :: Upstream -> [Upstream] #

enumFromThen :: Upstream -> Upstream -> [Upstream] #

enumFromTo :: Upstream -> Upstream -> [Upstream] #

enumFromThenTo :: Upstream -> Upstream -> Upstream -> [Upstream] #

Show Upstream Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> Upstream -> ShowS #

show :: Upstream -> String #

showList :: [Upstream] -> ShowS #

Eq Upstream Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: Upstream -> Upstream -> Bool #

(/=) :: Upstream -> Upstream -> Bool #

data StatusClass Source #

The HTTP status class of an upstream response (the bounded summary of the code).

Constructors

Status2xx 
Status3xx 
Status4xx 
Status5xx 
StatusOther 

Instances

Instances details
Bounded StatusClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: StatusClass #

maxBound :: StatusClass #

Enum StatusClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: StatusClass -> StatusClass #

pred :: StatusClass -> StatusClass #

toEnum :: Int -> StatusClass #

fromEnum :: StatusClass -> Int #

enumFrom :: StatusClass -> [StatusClass] #

enumFromThen :: StatusClass -> StatusClass -> [StatusClass] #

enumFromTo :: StatusClass -> StatusClass -> [StatusClass] #

enumFromThenTo :: StatusClass -> StatusClass -> StatusClass -> [StatusClass] #

Show StatusClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> StatusClass -> ShowS #

show :: StatusClass -> String #

showList :: [StatusClass] -> ShowS #

Eq StatusClass Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: StatusClass -> StatusClass -> Bool #

(/=) :: StatusClass -> StatusClass -> Bool #

statusClassOf :: Int -> StatusClass Source #

Classify an HTTP status code into its bounded StatusClass, so a status never becomes a per-code label.

data Provider Source #

The outbound-credential provider a refresh/ttl signal concerns.

Constructors

CodeArtifact 
Static 
Adc 

Instances

Instances details
Bounded Provider Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: Provider #

maxBound :: Provider #

Enum Provider Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: Provider -> Provider #

pred :: Provider -> Provider #

toEnum :: Int -> Provider #

fromEnum :: Provider -> Int #

enumFrom :: Provider -> [Provider] #

enumFromThen :: Provider -> Provider -> [Provider] #

enumFromTo :: Provider -> Provider -> [Provider] #

enumFromThenTo :: Provider -> Provider -> Provider -> [Provider] #

Show Provider Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> Provider -> ShowS #

show :: Provider -> String #

showList :: [Provider] -> ShowS #

Eq Provider Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: Provider -> Provider -> Bool #

(/=) :: Provider -> Provider -> Bool #

data Cause Source #

A bounded error class for a failure signal (never the exception text).

Constructors

Timeout 
Connection 
Decode 
UpstreamStatus 
OtherCause 

Instances

Instances details
Bounded Cause Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: Cause #

maxBound :: Cause #

Enum Cause Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: Cause -> Cause #

pred :: Cause -> Cause #

toEnum :: Int -> Cause #

fromEnum :: Cause -> Int #

enumFrom :: Cause -> [Cause] #

enumFromThen :: Cause -> Cause -> [Cause] #

enumFromTo :: Cause -> Cause -> [Cause] #

enumFromThenTo :: Cause -> Cause -> Cause -> [Cause] #

Show Cause Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> Cause -> ShowS #

show :: Cause -> String #

showList :: [Cause] -> ShowS #

Eq Cause Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: Cause -> Cause -> Bool #

(/=) :: Cause -> Cause -> Bool #

data Tier Source #

The rule-evaluation tier a duration is measured at.

Constructors

Structural 
Effectful 

Instances

Instances details
Bounded Tier Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: Tier #

maxBound :: Tier #

Enum Tier Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: Tier -> Tier #

pred :: Tier -> Tier #

toEnum :: Int -> Tier #

fromEnum :: Tier -> Int #

enumFrom :: Tier -> [Tier] #

enumFromThen :: Tier -> Tier -> [Tier] #

enumFromTo :: Tier -> Tier -> [Tier] #

enumFromThenTo :: Tier -> Tier -> Tier -> [Tier] #

Show Tier Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> Tier -> ShowS #

show :: Tier -> String #

showList :: [Tier] -> ShowS #

Eq Tier Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: Tier -> Tier -> Bool #

(/=) :: Tier -> Tier -> Bool #

data CacheResult Source #

A metadata-cache lookup result.

Constructors

Hit 
Miss 

Instances

Instances details
Bounded CacheResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: CacheResult #

maxBound :: CacheResult #

Enum CacheResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: CacheResult -> CacheResult #

pred :: CacheResult -> CacheResult #

toEnum :: Int -> CacheResult #

fromEnum :: CacheResult -> Int #

enumFrom :: CacheResult -> [CacheResult] #

enumFromThen :: CacheResult -> CacheResult -> [CacheResult] #

enumFromTo :: CacheResult -> CacheResult -> [CacheResult] #

enumFromThenTo :: CacheResult -> CacheResult -> CacheResult -> [CacheResult] #

Show CacheResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> CacheResult -> ShowS #

show :: CacheResult -> String #

showList :: [CacheResult] -> ShowS #

Eq CacheResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: CacheResult -> CacheResult -> Bool #

(/=) :: CacheResult -> CacheResult -> Bool #

data MirrorResult Source #

A processed mirror job's result. The idempotent "already present" outcome (a registry 409) is not a distinct value: the worker treats it as a success, so it is counted as Published — a series that could never emit is not published.

Constructors

Published 
Failed 

Instances

Instances details
Bounded MirrorResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: MirrorResult #

maxBound :: MirrorResult #

Enum MirrorResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: MirrorResult -> MirrorResult #

pred :: MirrorResult -> MirrorResult #

toEnum :: Int -> MirrorResult #

fromEnum :: MirrorResult -> Int #

enumFrom :: MirrorResult -> [MirrorResult] #

enumFromThen :: MirrorResult -> MirrorResult -> [MirrorResult] #

enumFromTo :: MirrorResult -> MirrorResult -> [MirrorResult] #

enumFromThenTo :: MirrorResult -> MirrorResult -> MirrorResult -> [MirrorResult] #

Show MirrorResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> MirrorResult -> ShowS #

show :: MirrorResult -> String #

showList :: [MirrorResult] -> ShowS #

Eq MirrorResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: MirrorResult -> MirrorResult -> Bool #

(/=) :: MirrorResult -> MirrorResult -> Bool #

data CredentialResult Source #

A credential-refresh result.

Constructors

Refreshed 
RefreshFailed 

Instances

Instances details
Bounded CredentialResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: CredentialResult #

maxBound :: CredentialResult #

Enum CredentialResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: CredentialResult -> CredentialResult #

pred :: CredentialResult -> CredentialResult #

toEnum :: Int -> CredentialResult #

fromEnum :: CredentialResult -> Int #

enumFrom :: CredentialResult -> [CredentialResult] #

enumFromThen :: CredentialResult -> CredentialResult -> [CredentialResult] #

enumFromTo :: CredentialResult -> CredentialResult -> [CredentialResult] #

enumFromThenTo :: CredentialResult -> CredentialResult -> CredentialResult -> [CredentialResult] #

Show CredentialResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> CredentialResult -> ShowS #

show :: CredentialResult -> String #

showList :: [CredentialResult] -> ShowS #

Eq CredentialResult Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: CredentialResult -> CredentialResult -> Bool #

(/=) :: CredentialResult -> CredentialResult -> Bool #

data BreakerSource Source #

Which circuit breaker a state gauge concerns.

Constructors

EffectfulRule 
CredentialMint 

Instances

Instances details
Bounded BreakerSource Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: BreakerSource #

maxBound :: BreakerSource #

Enum BreakerSource Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: BreakerSource -> BreakerSource #

pred :: BreakerSource -> BreakerSource #

toEnum :: Int -> BreakerSource #

fromEnum :: BreakerSource -> Int #

enumFrom :: BreakerSource -> [BreakerSource] #

enumFromThen :: BreakerSource -> BreakerSource -> [BreakerSource] #

enumFromTo :: BreakerSource -> BreakerSource -> [BreakerSource] #

enumFromThenTo :: BreakerSource -> BreakerSource -> BreakerSource -> [BreakerSource] #

Show BreakerSource Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> BreakerSource -> ShowS #

show :: BreakerSource -> String #

showList :: [BreakerSource] -> ShowS #

Eq BreakerSource Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: BreakerSource -> BreakerSource -> Bool #

(/=) :: BreakerSource -> BreakerSource -> Bool #

Breaker state (a bounded gauge value, not a label)

data BreakerState Source #

The circuit-breaker state, recorded as the value of the ecluse.rule.breaker.state gauge (labelled by BreakerSource). It is a bounded measurement, not a label.

Constructors

Closed 
HalfOpen 
Open 

Instances

Instances details
Bounded BreakerState Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

minBound :: BreakerState #

maxBound :: BreakerState #

Enum BreakerState Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

succ :: BreakerState -> BreakerState #

pred :: BreakerState -> BreakerState #

toEnum :: Int -> BreakerState #

fromEnum :: BreakerState -> Int #

enumFrom :: BreakerState -> [BreakerState] #

enumFromThen :: BreakerState -> BreakerState -> [BreakerState] #

enumFromTo :: BreakerState -> BreakerState -> [BreakerState] #

enumFromThenTo :: BreakerState -> BreakerState -> BreakerState -> [BreakerState] #

Show BreakerState Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> BreakerState -> ShowS #

show :: BreakerState -> String #

showList :: [BreakerState] -> ShowS #

Eq BreakerState Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: BreakerState -> BreakerState -> Bool #

(/=) :: BreakerState -> BreakerState -> Bool #

breakerStateCode :: BreakerState -> Int64 Source #

The gauge code for a breaker state: 0 closed, 1 half-open, 2 open — a small ordinal so a dashboard can alarm on "not closed" without a high-cardinality label.

Labels

data Label Source #

A single metric label: a bounded key paired with its bounded value. There is no constructor for a package, version, scope, or message, so a high-cardinality identifier cannot be turned into a label. LRule carries a rule's configured name — the one operator-bounded label (a deployment defines a small, fixed rule set).

Constructors

LDecision Decision 
LReasonClass ReasonClass 
LRule Text 
LEcosystem Ecosystem 
LMount Ecosystem 
LUpstream Upstream 
LStatusClass StatusClass 
LCacheResult CacheResult 
LMirrorResult MirrorResult 
LCredentialResult CredentialResult 
LProvider Provider 
LCause Cause 
LBreakerSource BreakerSource 
LTier Tier 

Instances

Instances details
Show Label Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

showsPrec :: Int -> Label -> ShowS #

show :: Label -> String #

showList :: [Label] -> ShowS #

Eq Label Source # 
Instance details

Defined in Ecluse.Telemetry.Metrics

Methods

(==) :: Label -> Label -> Bool #

(/=) :: Label -> Label -> Bool #

labelKey :: Label -> LabelKey Source #

The LabelKey a Label is filed under.

renderLabel :: Label -> (Text, Text) Source #

Project a Label to its (key, value) wire pair.

Attribute construction

metricAttributes :: [Label] -> Attributes Source #

Materialise a label list into the OpenTelemetry Attributes an instrument is recorded with. Every value is bounded, so the attribute set an instrument ever sees is drawn from a small fixed product of the label domains — never the unbounded space of package identifiers.