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 392–403

aosDecodeDecimal

Full file
392def aosDecodeDecimal =
393  (lambda unrestricted value : (family JSON) .
394    (let unrestricted coefficient = (aosMemberBytes b"coefficient" value)
395      in (let unrestricted scale = (aosMemberBytes b"scale" value)
396        in (aosWhen
397             (naturalAnd (aosHasExactly3 b"t" b"coefficient" b"scale" value)
398               (naturalAnd (aosMemberIsString b"coefficient" value)
399                 (naturalAnd (aosCanonicalSigned coefficient)
400                   (naturalAnd (aosMemberIsString b"scale" value) (aosIsI64Text scale)))))
401             (constructor AosValue AosDecimal
402               (aosHasMinus coefficient) (aosDigitsValue (aosSignedDigits coefficient))
403               (aosHasMinus scale) (aosDigitsValue (aosSignedDigits scale)))))))

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.