Source/Packages

Observe.CapturePolicy

packages/observability/src/Observe/CapturePolicy.alpha

457 lines55 declarations13.3 KiBSHA-256 e30e14526ddb

def · lines 91–102

captureClassName

Full file
91def captureClassName =
92  (lambda unrestricted kind : (family CaptureClass) .
93    (eliminate
94      CaptureClass
95      (lambda unrestricted current : (family CaptureClass) . Bytes)
96      kind
97      (branch CaptureLifecycleClass . b"lifecycle")
98      (branch CaptureHealthClass . b"health")
99      (branch CaptureProgressClass . b"progress")
100      (branch CapturePerformanceClass . b"performance")
101      (branch CaptureDiagnosticClass . b"diagnostic")
102      (branch CaptureContentClass . b"content")))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.