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 507–521

aosArtifactCode

Full file
507def aosArtifactCode =
508  (lambda unrestricted record : (family JSON) .
509    (aosThen
510      (aosTextCode b"artifact_id" record)
511      (aosThen
512        (naturalSelect (aosIsArtifactIdentity (aosMemberBytes b"artifact_id" record)) 0 9)
513        (aosThen
514          (aosNonEmptyTextCode b"media" record)
515          (aosThen
516            (aosU64Code b"logical_size" record)
517            (aosThen
518              (aosTextCode b"state" record)
519              (aosThen
520                (aosEnumCode (aosIsPublicationState (aosMemberBytes b"state" record)))
521                (aosIdentityCode b"attempt_id" record))))))))

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.