AlphaGitHub
Source/Packages

Compiler.NaturalMagnitude

packages/compiler/src/Compiler/NaturalMagnitude.alpha

453 lines33 declarations18.7 KiBSHA-256 8508c0c0b7d6
Download exact fileView at revisionf5034773ad4bb52133

def · lines 172–182

magnitudeConvertValidatedDigits

Full file
172def magnitudeConvertValidatedDigits =
173  (lambda unrestricted radix : (family IntegerLiteralRadix) .
174    (lambda unrestricted digits : Bytes .
175      (eliminate
176        IntegerLiteralRadix
177        (lambda unrestricted current : (family IntegerLiteralRadix) .
178          (family NaturalMagnitudeResult))
179        radix
180        (branch IntegerLiteralDecimal . (magnitudeDecimalDigits digits))
181        (branch IntegerLiteralBinary . (magnitudeRadixDigits radix digits))
182        (branch IntegerLiteralHexadecimal . (magnitudeRadixDigits radix digits)))))

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.