AlphaGitHub
Source/Packages

Observe.Value

packages/observability/src/Observe/Value.alpha

564 lines114 declarations29.3 KiBSHA-256 09f8c02938ee
Download exact fileView at revision426597bda5753d86c4

def · lines 422–431

aosDecodeRef

Full file
422def aosDecodeRef =
423  (lambda unrestricted value : (family JSON) .
424    (let unrestricted kind = (aosMemberBytes b"kind" value)
425      in (let unrestricted identity = (aosMemberBytes b"id" value)
426        in (aosWhen
427             (naturalAnd (aosHasExactly3 b"t" b"kind" b"id" value)
428               (naturalAnd (aosMemberIsString b"kind" value)
429                 (naturalAnd (naturalNonzero (bytes-length kind))
430                   (naturalAnd (aosMemberIsString b"id" value) (naturalNonzero (bytes-length identity))))))
431             (constructor AosValue AosRef kind identity)))))

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.