AlphaGitHub
Source/Packages

Runtime.NativeTelemetry

packages/execution/src/Runtime/NativeTelemetry.alpha

1,162 lines130 declarations44.5 KiBSHA-256 14316c5e4ddf
Download exact fileView at revisionf5034773ad4bb52133

def · lines 310–342

nativeTelemetryEncodeCounters

Full file
310def nativeTelemetryEncodeCounters =
311  (lambda unrestricted counters : (family NativeTelemetryCounters) .
312    (eliminate
313      NativeTelemetryCounters
314      (lambda unrestricted current : (family NativeTelemetryCounters) . Bytes)
315      counters
316      (branch
317        NativeTelemetryCountersValue
318        counter0
319        counter1
320        counter2
321        counter3
322        counter4
323        counter5
324        counter6
325        counter7
326        .
327        (bytes-builder-build
328          (bytes-builder-append
329            (bytes-builder-chunk (nativeTelemetryWord64Bytes counter0))
330            (bytes-builder-append
331              (bytes-builder-chunk (nativeTelemetryWord64Bytes counter1))
332              (bytes-builder-append
333                (bytes-builder-chunk (nativeTelemetryWord64Bytes counter2))
334                (bytes-builder-append
335                  (bytes-builder-chunk (nativeTelemetryWord64Bytes counter3))
336                  (bytes-builder-append
337                    (bytes-builder-chunk (nativeTelemetryWord64Bytes counter4))
338                    (bytes-builder-append
339                      (bytes-builder-chunk (nativeTelemetryWord64Bytes counter5))
340                      (bytes-builder-append
341                        (bytes-builder-chunk (nativeTelemetryWord64Bytes counter6))
342                        (bytes-builder-chunk (nativeTelemetryWord64Bytes counter7)))))))))))))

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.