AlphaGitHub
Source/Packages

Observe.Interchange

packages/observability/src/Observe/Interchange.alpha

684 lines44 declarations25.0 KiBSHA-256 3719d431a37a
Download exact fileView at revision426597bda5753d86c4

def · lines 525–541

aosCoverageModeCode

Full file
A cumulative snapshot is exact and must announce its critical semantics on the record itself, so an older line reader cannot silently add totals.
525def aosCoverageModeCode =
526  (lambda unrestricted record : (family JSON) .
527    (naturalSelect
528      (aosHas b"coverage_mode" record)
529      (naturalSelect
530        (naturalAnd
531          (aosMemberIsString b"coverage_mode" record)
532          (naturalAnd
533            (bytes-equal (aosMemberBytes b"coverage_mode" record) b"cumulative")
534            (naturalAnd
535              (aosBooleanFlag (aosMemberValue b"dropped_exact" record))
536              (naturalAnd
537                (aosIsArray (aosMemberValue b"required_extensions" record))
538                (aosContainsCumulativeRequirement (aosMemberValue b"required_extensions" record))))))
539        0
540        12)
541      0))

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.