AlphaGitHub
Source/Packages

Observe.CapturePolicy

packages/observability/src/Observe/CapturePolicy.alpha

457 lines55 declarations13.3 KiBSHA-256 e30e14526ddb
Download exact fileView at revision426597bda5753d86c4

def · lines 67–76

captureProfileName

Full file
67def captureProfileName =
68  (lambda unrestricted profile : (family CaptureProfile) .
69    (eliminate
70      CaptureProfile
71      (lambda unrestricted current : (family CaptureProfile) . Bytes)
72      profile
73      (branch CaptureLifecycleProfile . b"lifecycle")
74      (branch CaptureProgressProfile . b"progress")
75      (branch CapturePerformanceProfile . b"performance")
76      (branch CaptureDiagnosticProfile . b"diagnostic")))

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.