AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 2519–2533

decodeQuantitySpelling

Full file
2519def decodeQuantitySpelling =
2520  (lambda unrestricted spelling : Bytes .
2521    (chooseQuantityDecode
2522      (bytesEqual spelling erasedSpelling)
2523      zero
2524      (chooseQuantityDecode
2525        (bytesEqual spelling linearSpelling)
2526        (succ zero)
2527        (chooseQuantityDecode
2528          (bytesEqual spelling affineSpelling)
2529          (succ (succ zero))
2530          (chooseQuantityDecode
2531            (bytesEqual spelling unrestrictedSpelling)
2532            (succ (succ (succ zero)))
2533            (constructor QuantityDecodeResult QuantityInvalid))))))

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.