ecluse:ecluse-core
Safe HaskellNone
LanguageGHC2021

Ecluse.Core.Telemetry.Metrics

Description

The bounded-label discipline for the ecluse.* metrics. An inline proxy sees thousands of distinct packages, so one high-cardinality label turns a handful of series into millions. Label is a closed sum over bounded-domain keys and values: package, version, scope, and a denial message have no constructor, so the type keeps them off a metric, and they ride the spans and the log line instead. rule is the exception, bounded by a deployment's own rule set rather than by an enum. The instruments these label are in Ecluse.Core.Telemetry.Catalogue.

Synopsis

Label keys (the closed set)

data LabelKey Source #

The closed set of metric label keys. The high-cardinality identifiers (package, version, scope, a denial message) have no key, so they can never become a label.

Instances

Instances details
Generic LabelKey Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep LabelKey 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep LabelKey = D1 ('MetaData "LabelKey" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (((C1 ('MetaCons "KeyDecision" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KeyReasonClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyRule" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KeyEcosystem" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyMount" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KeyUpstream" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyStatusClass" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "KeyResult" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KeyTarget" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyProvider" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KeyCause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyBreakerSource" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KeyTier" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyStore" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: LabelKey -> Rep LabelKey x #

to :: Rep LabelKey x -> LabelKey #

Show LabelKey Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq LabelKey Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Ord LabelKey Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe LabelKey Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [LabelKey] #

type Rep LabelKey Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep LabelKey = D1 ('MetaData "LabelKey" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (((C1 ('MetaCons "KeyDecision" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KeyReasonClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyRule" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KeyEcosystem" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyMount" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KeyUpstream" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyStatusClass" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "KeyResult" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "KeyTarget" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyProvider" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "KeyCause" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyBreakerSource" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KeyTier" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "KeyStore" 'PrefixI 'False) (U1 :: Type -> Type)))))

labelKeyName :: LabelKey -> Text Source #

The wire name of a LabelKey.

Bounded label values

data Decision Source #

The serve decision (ecluse.serve.decision).

Constructors

Admit 
Deny 
Unavailable 

Instances

Instances details
Generic Decision Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep Decision 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Decision = D1 ('MetaData "Decision" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Admit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Deny" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unavailable" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Decision -> Rep Decision x #

to :: Rep Decision x -> Decision #

Show Decision Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq Decision Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe Decision Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [Decision] #

type Rep Decision Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Decision = D1 ('MetaData "Decision" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Admit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Deny" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unavailable" 'PrefixI 'False) (U1 :: Type -> Type)))

data ReasonClass Source #

The bucketed class of a denial reason. Not the rule name or the message, which are high-cardinality and stay on the log line.

Instances

Instances details
Generic ReasonClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep ReasonClass 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep ReasonClass = D1 ('MetaData "ReasonClass" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "ReasonPolicy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReasonMissingIntegrity" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ReasonUnavailable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReasonLimit" 'PrefixI 'False) (U1 :: Type -> Type)))
Show ReasonClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq ReasonClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe ReasonClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [ReasonClass] #

type Rep ReasonClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep ReasonClass = D1 ('MetaData "ReasonClass" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "ReasonPolicy" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReasonMissingIntegrity" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ReasonUnavailable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReasonLimit" 'PrefixI 'False) (U1 :: Type -> Type)))

data Upstream Source #

Which upstream a data-plane fetch targeted.

Constructors

Private 
Public 

Instances

Instances details
Generic Upstream Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep Upstream 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Upstream = D1 ('MetaData "Upstream" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Private" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Public" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Upstream -> Rep Upstream x #

to :: Rep Upstream x -> Upstream #

Show Upstream Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq Upstream Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe Upstream Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [Upstream] #

type Rep Upstream Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Upstream = D1 ('MetaData "Upstream" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Private" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Public" 'PrefixI 'False) (U1 :: Type -> Type))

data StatusClass Source #

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

Instances

Instances details
Generic StatusClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep StatusClass 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep StatusClass = D1 ('MetaData "StatusClass" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "Status2xx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Status3xx" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Status4xx" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Status5xx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StatusOther" 'PrefixI 'False) (U1 :: Type -> Type))))
Show StatusClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq StatusClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe StatusClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [StatusClass] #

type Rep StatusClass Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep StatusClass = D1 ('MetaData "StatusClass" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "Status2xx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Status3xx" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Status4xx" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Status5xx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StatusOther" 'PrefixI 'False) (U1 :: Type -> Type))))

data Provider Source #

The store a mirror-write credential's refresh/ttl signal concerns: one value per store tag the configuration admits, so a dashboard and a mount's declaration spell the same word.

Instances

Instances details
Generic Provider Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep Provider 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Provider = D1 ('MetaData "Provider" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "ProviderRegistry" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ProviderCodeArtifact" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProviderVerdaccio" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Provider -> Rep Provider x #

to :: Rep Provider x -> Provider #

Show Provider Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq Provider Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe Provider Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [Provider] #

type Rep Provider Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Provider = D1 ('MetaData "Provider" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "ProviderRegistry" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ProviderCodeArtifact" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProviderVerdaccio" 'PrefixI 'False) (U1 :: Type -> Type)))

data Cause Source #

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

Instances

Instances details
Generic Cause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep Cause 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Cause = D1 ('MetaData "Cause" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "Timeout" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Connection" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Decode" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UpstreamStatus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherCause" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: Cause -> Rep Cause x #

to :: Rep Cause x -> Cause #

Show Cause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

showsPrec :: Int -> Cause -> ShowS #

show :: Cause -> String #

showList :: [Cause] -> ShowS #

Eq Cause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

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

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

Universe Cause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [Cause] #

type Rep Cause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Cause = D1 ('MetaData "Cause" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "Timeout" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Connection" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Decode" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UpstreamStatus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OtherCause" 'PrefixI 'False) (U1 :: Type -> Type))))

data Tier Source #

The rule-evaluation tier a duration is measured at.

Constructors

Structural 
Effectful 

Instances

Instances details
Generic Tier Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep Tier 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Tier = D1 ('MetaData "Tier" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Structural" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Effectful" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Tier -> Rep Tier x #

to :: Rep Tier x -> Tier #

Show Tier Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

showsPrec :: Int -> Tier -> ShowS #

show :: Tier -> String #

showList :: [Tier] -> ShowS #

Eq Tier Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

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

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

Universe Tier Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [Tier] #

type Rep Tier Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep Tier = D1 ('MetaData "Tier" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Structural" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Effectful" 'PrefixI 'False) (U1 :: Type -> Type))

data CacheResult Source #

A metadata-cache lookup result.

Constructors

Hit 
Miss 
Collapsed 

Instances

Instances details
Generic CacheResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep CacheResult 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CacheResult = D1 ('MetaData "CacheResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Hit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Miss" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Collapsed" 'PrefixI 'False) (U1 :: Type -> Type)))
Show CacheResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq CacheResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe CacheResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [CacheResult] #

type Rep CacheResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CacheResult = D1 ('MetaData "CacheResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Hit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Miss" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Collapsed" 'PrefixI 'False) (U1 :: Type -> Type)))

data CacheStore Source #

The independently budgeted metadata stores.

Instances

Instances details
Generic CacheStore Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep CacheStore 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CacheStore = D1 ('MetaData "CacheStore" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "FullStore" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VersionStore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AssembledStore" 'PrefixI 'False) (U1 :: Type -> Type)))
Show CacheStore Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq CacheStore Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe CacheStore Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [CacheStore] #

type Rep CacheStore Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CacheStore = D1 ('MetaData "CacheStore" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "FullStore" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VersionStore" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AssembledStore" 'PrefixI 'False) (U1 :: Type -> Type)))

data MirrorResult Source #

A processed mirror job's result. The idempotent "already present" outcome (a registry 409) counts as Published, not as a distinct value.

Constructors

Published

The artifact reached the mirror target (an already-present version included).

Failed

The job did not publish, and its message stays in the queue's own hands.

Discarded

The worker retired the message itself, once it spent the queue's redelivery budget. The terminus when no dead-letter queue exists, so an operator alerts on it.

Instances

Instances details
Generic MirrorResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep MirrorResult 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep MirrorResult = D1 ('MetaData "MirrorResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Published" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Failed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Discarded" 'PrefixI 'False) (U1 :: Type -> Type)))
Show MirrorResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq MirrorResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe MirrorResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [MirrorResult] #

type Rep MirrorResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep MirrorResult = D1 ('MetaData "MirrorResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Published" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Failed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Discarded" 'PrefixI 'False) (U1 :: Type -> Type)))

data SweepResult Source #

The disposition of one observed version or logical preview selection.

Constructors

SweepExamined

The sweep evaluated the version.

SweepDeleted

A named decisive deny removed it.

SweepWouldDelete

A named decisive deny would have removed it, under a dry run.

SweepKept

Nothing decisively denied it, so it stays.

SweepGuardSkipped

A safety control held it back: the first-party belt, or the cycle's deletion cap.

Instances

Instances details
Generic SweepResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep SweepResult 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep SweepResult = D1 ('MetaData "SweepResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "SweepExamined" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SweepDeleted" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SweepWouldDelete" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SweepKept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SweepGuardSkipped" 'PrefixI 'False) (U1 :: Type -> Type))))
Show SweepResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq SweepResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe SweepResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [SweepResult] #

type Rep SweepResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep SweepResult = D1 ('MetaData "SweepResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "SweepExamined" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SweepDeleted" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SweepWouldDelete" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SweepKept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SweepGuardSkipped" 'PrefixI 'False) (U1 :: Type -> Type))))

data SweepTarget Source #

The bounded registry role of a sweep observation or operation.

Constructors

SweepMirror

The source that receives mirrored packages.

SweepPrivate

The associated cache used for private reads.

Instances

Instances details
Generic SweepTarget Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep SweepTarget 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep SweepTarget = D1 ('MetaData "SweepTarget" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "SweepMirror" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SweepPrivate" 'PrefixI 'False) (U1 :: Type -> Type))
Show SweepTarget Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq SweepTarget Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Ord SweepTarget Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe SweepTarget Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [SweepTarget] #

type Rep SweepTarget Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep SweepTarget = D1 ('MetaData "SweepTarget" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "SweepMirror" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SweepPrivate" 'PrefixI 'False) (U1 :: Type -> Type))

data CredentialResult Source #

A credential-refresh result.

Constructors

Refreshed 
RefreshFailed 

Instances

Instances details
Generic CredentialResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep CredentialResult 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CredentialResult = D1 ('MetaData "CredentialResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Refreshed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RefreshFailed" 'PrefixI 'False) (U1 :: Type -> Type))
Show CredentialResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq CredentialResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe CredentialResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CredentialResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep CredentialResult = D1 ('MetaData "CredentialResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Refreshed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RefreshFailed" 'PrefixI 'False) (U1 :: Type -> Type))

data AdvisorySyncResult Source #

What one advisory sync attempt concluded. It labels the ecluse.advisory.sync.* signals and the sync span alike.

Constructors

AdvisorySwapped

The sync verified a new artifact and swapped it into the read path.

AdvisoryUnchanged

The remote artifact matches the last seen one.

AdvisoryNonePublished

No artifact exists in the bucket yet.

AdvisoryFetchFailed

The fetch itself did not deliver the object.

AdvisoryRefused

Verification refused the downloaded artifact.

Instances

Instances details
Generic AdvisorySyncResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep AdvisorySyncResult 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisorySyncResult = D1 ('MetaData "AdvisorySyncResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "AdvisorySwapped" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AdvisoryUnchanged" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AdvisoryNonePublished" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AdvisoryFetchFailed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AdvisoryRefused" 'PrefixI 'False) (U1 :: Type -> Type))))
Show AdvisorySyncResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq AdvisorySyncResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe AdvisorySyncResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisorySyncResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisorySyncResult = D1 ('MetaData "AdvisorySyncResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) ((C1 ('MetaCons "AdvisorySwapped" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AdvisoryUnchanged" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AdvisoryNonePublished" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AdvisoryFetchFailed" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AdvisoryRefused" 'PrefixI 'False) (U1 :: Type -> Type))))

advisorySyncResultName :: AdvisorySyncResult -> Text Source #

The wire value of an advisory sync result. The metric label and the span attribute must read identically, so the two signals join on it.

data AdvisoryDropCause Source #

Why a compile pass dropped one advisory entry. The entry's own name and bytes stay on the drop log line, never a label.

Constructors

DropOversize

The entry breached the per-advisory byte cap.

DropMalformed

The entry's JSON did not decode.

Instances

Instances details
Generic AdvisoryDropCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep AdvisoryDropCause 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisoryDropCause = D1 ('MetaData "AdvisoryDropCause" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "DropOversize" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DropMalformed" 'PrefixI 'False) (U1 :: Type -> Type))
Show AdvisoryDropCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq AdvisoryDropCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe AdvisoryDropCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisoryDropCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisoryDropCause = D1 ('MetaData "AdvisoryDropCause" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "DropOversize" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DropMalformed" 'PrefixI 'False) (U1 :: Type -> Type))

data AdvisoryCompileResult Source #

What one compile pass concluded. A pass that never concluded, because a fetch or a filesystem fault escaped it, records neither value.

Constructors

CompileCompleted

The pass finalised an artifact.

CompileAborted

The pass abandoned the artifact over a systemic drop rate.

Instances

Instances details
Generic AdvisoryCompileResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep AdvisoryCompileResult 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisoryCompileResult = D1 ('MetaData "AdvisoryCompileResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "CompileCompleted" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CompileAborted" 'PrefixI 'False) (U1 :: Type -> Type))
Show AdvisoryCompileResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq AdvisoryCompileResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe AdvisoryCompileResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisoryCompileResult Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep AdvisoryCompileResult = D1 ('MetaData "AdvisoryCompileResult" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "CompileCompleted" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CompileAborted" 'PrefixI 'False) (U1 :: Type -> Type))

data BreakerSource Source #

Which circuit breaker a state gauge concerns.

Instances

Instances details
Generic BreakerSource Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep BreakerSource 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep BreakerSource = D1 ('MetaData "BreakerSource" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "EffectfulRule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CredentialMint" 'PrefixI 'False) (U1 :: Type -> Type))
Show BreakerSource Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq BreakerSource Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe BreakerSource Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep BreakerSource Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep BreakerSource = D1 ('MetaData "BreakerSource" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "EffectfulRule" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CredentialMint" 'PrefixI 'False) (U1 :: Type -> Type))

data RequestFaultCause Source #

Why the request perimeter had to answer for an escaped fault. The unbounded detail rides the perimeter's log line, never a label.

Instances

Instances details
Generic RequestFaultCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep RequestFaultCause 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep RequestFaultCause = D1 ('MetaData "RequestFaultCause" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "RenderFault" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnclassifiedFault" 'PrefixI 'False) (U1 :: Type -> Type))
Show RequestFaultCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq RequestFaultCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe RequestFaultCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep RequestFaultCause Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep RequestFaultCause = D1 ('MetaData "RequestFaultCause" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "RenderFault" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnclassifiedFault" 'PrefixI 'False) (U1 :: Type -> Type))

data RelayAnomaly Source #

What a public artifact relay passed through when it did not carry the admitted artifact: a 2xx that does not look like one, or a non-success relayed verbatim.

Instances

Instances details
Generic RelayAnomaly Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep RelayAnomaly 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep RelayAnomaly = D1 ('MetaData "RelayAnomaly" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "RelayOddShape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelayNonSuccess" 'PrefixI 'False) (U1 :: Type -> Type))
Show RelayAnomaly Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq RelayAnomaly Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe RelayAnomaly Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [RelayAnomaly] #

type Rep RelayAnomaly Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep RelayAnomaly = D1 ('MetaData "RelayAnomaly" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "RelayOddShape" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelayNonSuccess" 'PrefixI 'False) (U1 :: Type -> Type))

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

data BreakerState Source #

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

Constructors

Closed 
HalfOpen 
Open 

Instances

Instances details
Generic BreakerState Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Associated Types

type Rep BreakerState 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep BreakerState = D1 ('MetaData "BreakerState" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Closed" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HalfOpen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Open" 'PrefixI 'False) (U1 :: Type -> Type)))
Show BreakerState Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Eq BreakerState Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Universe BreakerState Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

Methods

universe :: [BreakerState] #

type Rep BreakerState Source # 
Instance details

Defined in Ecluse.Core.Telemetry.Metrics

type Rep BreakerState = D1 ('MetaData "BreakerState" "Ecluse.Core.Telemetry.Metrics" "ecluse-0.4.0-inplace-ecluse-core" 'False) (C1 ('MetaCons "Closed" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HalfOpen" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Open" 'PrefixI 'False) (U1 :: Type -> Type)))

breakerStateCode :: BreakerState -> Int64 Source #

The gauge code for a breaker state. Closed is 0, so a dashboard alarms on "not closed" without a high-cardinality label.

Labels

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 bounded labels into the attributes recorded by an OpenTelemetry instrument.